Con McGarvey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2006–2010
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | FASE | An Automata-Theoretic Approach to Hardware/Software Co-verification. | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
| 2006 | EuroSys | Thorough static analysis of device drivers. | Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner |