Con McGarvey

According to our database, Con McGarvey authored at least 3 papers between 2006 and 2011.

Collaborative distances:

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

2011

Formalizing hardware/software interface specifications.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

An Automata-Theoretic Approach to Hardware/Software Co-verification.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2006

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

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006