Cong Quy Trinh

According to our database, Cong Quy Trinh authored at least 4 papers between 2013 and 2024.

Collaborative distances:

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

2024

Automated Verification of Data Properties and Linearizability for Heap-Manipulating Programs.

Cong Quy Trinh

PhD thesis, 2024

2018

Fragment Abstraction for Concurrent Shape Analysis.

Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh

Proceedings of the Programming Languages and Systems, 2018

2016

Automated Verification of Linearization Policies.

Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh

Proceedings of the Static Analysis - 23rd International Symposium, 2016

2013

Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.

Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2013