People

Michael Garland

Publications

2023

Rohan Yadav, Wonchan Lee, Melih Elibol, Taylor Patti, Manolis Papadakis, Michael Garland, Alex Aiken, Fredrik Kjolstad, Michael Bauer

2021

Michael Bauer, Wonchan Lee, Elliott Slaughter, Zhihao Jia, Mario Di Renzo, Manolis Papadakis, Galen Shipman, Patrick McCormick, Michael Garland, Alex Aiken

2020

2019

2018

2017

Maxim Naumov, Alysson Vrielink, Michael Garland
Technical Report NVR-2017-001

2016

2014

2012

2011

2010

2009

Christian Lauterbach, Michael Garland, Shubhabrata Sengupta, David Luebke, Dinesh Manocha

2008

Michael Garland, Scott Le Grand, John Nickolls, Joshua Anderson, Jim Hardwick, Scott Morton, Everett Phillips, Yao Zhang, Vasily Volkov
John Nickolls, Ian Buck, Michael Garland, Kevin Skadron

2007