Mitchell J. Gerrard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2016–2019
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICSE | ALPACA: a large portfolio-based alternating conditional analysis. | Mitchell J. Gerrard, Matthew B. Dwyer |
| 2016 | TACAS | CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). | Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel |