Cong Quy Trinh
According to our database1,
Cong Quy Trinh
authored at least 3 papers
between 2013 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2018
Fragment Abstraction for Concurrent Shape Analysis.
Proceedings of the Programming Languages and Systems, 2018
2016
Automated Verification of Linearization Policies.
Proceedings of the Static Analysis - 23rd International Symposium, 2016
2013
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2013