- Flatten and conquer: a framework for efficient analysis of string constraints
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukas Holik, Ahmed Rezine, Philipp Rummer
PLDI 2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
- An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
Parosh Aziz Abdulla, Frédéric Haziza, Lukas Holik, Bengt Jonsson, Ahmed Rezine
The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 16-24, 2013.
|
|
