Cong Quy Trinh

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

Collaborative distances :

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

2018

Fragment Abstraction for Concurrent Shape Analysis.

Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh

Proceedings of the Programming Languages and Systems, 2018

2016

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

Acta Inf., 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