Cong Quy Trinh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2013–2018
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ESOP | Fragment Abstraction for Concurrent Shape Analysis. | Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh |
| 2016 | SAS | Automated Verification of Linearization Policies. | Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh |
| 2013 | ATVA | Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. | Parosh Aziz Abdulla, Luks Holk, Bengt Jonsson, Ondrej Lengl, Cong Quy Trinh, Toms Vojnar |