- 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
- Verification of Cache Coherence Protocols wrt. Trace Filters
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine and Yunyun Zhu
Formal Methods in Computer-Aided Design (FMCAD) 2015
- Automatic Fence Insertion in Integer Programs via Predicate Abstraction
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012.
- String Constraints for Verification
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luká Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
26th International Conference on Computer Aided Verification (CAV 2014), Vienna, Austria, Jul. 9-12, 2014.
- 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.
- Memorax: Fence Inference under the TSO Memory Model
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, 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.
- Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory
Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriramanx, Yunyun Zhu
Design, Automation & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013.
- Counter-Example Guided Fence Insertion under TSO
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
18th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Tallinn, Estonia, March 24 - April 1, 2012.
|
|