Clément Hurlin

According to our database, Clément Hurlin authored at least 10 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Permission-Based Separation Logic for Multithreaded Java Programs.

Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin

Log. Methods Comput. Sci., 2015

2010

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction.

Clément Hurlin, Hélène Kirchner

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009

Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic. (Spécification et vérification de programmes orientés objets en logique de séparation).

Clément Hurlin

PhD thesis, 2009

Resource Usage Protocols for Iterators.

Christian Haack, Clément Hurlin

J. Object Technol., 2009

Automatic Parallelization and Optimization of Programs by Proof Rewriting.

Clément Hurlin

Proceedings of the Static Analysis, 16th International Symposium, 2009

Specifying and checking protocols of multithreaded classes.

Clément Hurlin

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

Specifying Correct Protocols of Multithreaded Java-like Programs.

Clément Hurlin

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Reasoning about Java's Reentrant Locks.

Christian Haack, Marieke Huisman, Clément Hurlin

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

Separation Logic Contracts for a Java-Like Language with Fork/Join.

Christian Haack, Clément Hurlin

Proceedings of the Algebraic Methodology and Software Technology, 2008

2005

Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification.

Joseph R. Kiniry, Patrice Chalin, Clément Hurlin

Proceedings of the Verified Software: Theories, 2005