| 2022 |
Misc |
conf |
NSDI
Dan Gibson, Hema Hariharan, Eric Lance, Moray McLaren, Behnam Montazeri, Arjun Singh, Stephen Wang, Hassan M. G. Wassel, Zhehua Wu, Sunghwan Yoo, Raghuraman Balasubramanian, Prashant Chandra, Michael Cutforth, Peter Cuy, David Decotigny, Rakesh Gautam, Alex Iriza, Milo M. K. Martin, Rick Roy, Zuowei Shen, Ming Tan, Ye Tang, Monica Wong-Chan, Joe Zbiciak, Amin Vahdat
|
| 2021 |
A* |
conf |
SIGCOMM
Arjun Singhvi, Aditya Akella, Maggie Anderson, Rob Cauble, Harshad Deshmukh, Dan Gibson, Milo M. K. Martin, Amanda Strominger, Thomas F. Wenisch, Amin Vahdat
|
| 2020 |
A* |
conf |
SIGCOMM
Arjun Singhvi, Aditya Akella, Dan Gibson, Thomas F. Wenisch, Monica Wong-Chan, Sean Clark, Milo M. K. Martin, Moray McLaren, Prashant Chandra, Rob Cauble, Hassan M. G. Wassel, Behnam Montazeri, Simon L. Sabato, Joel Scherpelz, Amin Vahdat
|
| 2016 |
J |
jnl |
IEEE Micro
Milo M. K. Martin, Daniel J. Sorin
|
| 2015 |
— |
conf |
SNAPL
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
|
| 2015 |
— |
ch. |
Dependable Software Systems Engineering
Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
|
| 2014 |
— |
conf |
Haifa Verification Conference
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
|
| 2014 |
J |
jnl |
CoRR
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
|
| 2014 |
A |
conf |
CGO
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
|
| 2013 |
A* |
conf |
ASPLOS
Arun Raghavan, Laurel Emurian, Lei Shao, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
|
| 2013 |
J |
jnl |
IEEE Micro
Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
|
| 2013 |
A* |
conf |
PLDI
Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
|
| 2013 |
J |
jnl |
IEEE Micro
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
|
| 2013 |
A |
conf |
OOPSLA
Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic
|
| 2013 |
B |
conf |
FMCAD
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
|
| 2013 |
A* |
conf |
PLDI
Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur
|
| 2013 |
J |
jnl |
IEEE Micro
Arun Raghavan, Laurel Emurian, Lei Shao, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
|
| 2012 |
A* |
conf |
CAV
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
|
| 2012 |
A* |
conf |
HPCA
Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
|
| 2012 |
A* |
conf |
POPL
Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
|
| 2012 |
A* |
conf |
PLDI
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi
|
| 2012 |
A* |
conf |
ISCA
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
|
| 2012 |
J |
jnl |
Commun. ACM
Milo M. K. Martin, Mark D. Hill, Daniel J. Sorin
|
| 2011 |
A* |
conf |
DAC
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
|
| 2010 |
C |
conf |
ISMM
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
|
| 2010 |
A* |
conf |
CAV
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
|
| 2010 |
A* |
conf |
IEEE Symposium on Security and Privacy
Matthew Hicks, Murph Finnicum, Samuel T. King, Milo M. K. Martin, Jonathan M. Smith
|
| 2010 |
J |
jnl |
login Usenix Mag.
Matthew Hicks, Murph Finnicum, Samuel T. King, Milo M. K. Martin, Jonathan M. Smith
|
| 2010 |
A* |
conf |
ISCA
Colin Blundell, Arun Raghavan, Milo M. K. Martin
|
| 2010 |
J |
jnl |
ACM Trans. Archit. Code Optim.
Arun Raghavan, Colin Blundell, Milo M. K. Martin
|
| 2009 |
A* |
conf |
ISCA
Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch
|
| 2009 |
A* |
conf |
PLDI
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
|
| 2008 |
A* |
conf |
ASPLOS
Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic
|
| 2008 |
A* |
conf |
MICRO
Arun Raghavan, Colin Blundell, Milo M. K. Martin
|
| 2007 |
A* |
conf |
PLDI
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
|
| 2007 |
A* |
conf |
ISCA
Colin Blundell, Joe Devietti, E. Christopher Lewis, Milo M. K. Martin
|
| 2007 |
J |
jnl |
IEEE Micro
Tingting Sha, Milo M. K. Martin, Amir Roth
|
| 2006 |
A* |
conf |
CAV
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
|
| 2006 |
A* |
conf |
MICRO
Tingting Sha, Milo M. K. Martin, Amir Roth
|
| 2006 |
J |
jnl |
IEEE Comput. Archit. Lett.
Milo M. K. Martin, Colin Blundell, E Christopher Lewis
|
| 2005 |
C |
conf |
ICCD
Milo M. K. Martin
|
| 2005 |
A* |
conf |
HPCA
Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M. K. Martin, David A. Wood
|
| 2005 |
J |
jnl |
SIGARCH Comput. Archit. News
Milo M. K. Martin, Daniel J. Sorin, Bradford M. Beckmann, Michael R. Marty, Min Xu, Alaa R. Alameldeen, Kevin E. Moore, Mark D. Hill, David A. Wood
|
| 2005 |
A* |
conf |
MICRO
Tingting Sha, Milo M. K. Martin, Amir Roth
|
| 2005 |
B |
conf |
VMCAI
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
|
| 2004 |
A |
conf |
IPDPS
Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood
|
| 2003 |
J |
jnl |
Computer
Alaa R. Alameldeen, Milo M. K. Martin, Carl J. Mauer, Kevin E. Moore, Min Xu, Mark D. Hill, David A. Wood, Daniel J. Sorin
|
| 2003 |
J |
jnl |
IEEE Micro
Milo M. K. Martin, Mark D. Hill, David A. Wood
|
| 2003 |
A* |
conf |
ISCA
Milo M. K. Martin, Mark D. Hill, David A. Wood
|
| 2003 |
A* |
conf |
ISCA
Milo M. K. Martin, Pacia J. Harper, Daniel J. Sorin, Mark D. Hill, David A. Wood
|
| 2002 |
A* |
conf |
HPCA
Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, David A. Wood
|
| 2002 |
A* |
conf |
ISCA
Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood
|
| 2002 |
J |
jnl |
IEEE Trans. Parallel Distributed Syst.
Daniel J. Sorin, Manoj Plakal, Anne Condon, Mark D. Hill, Milo M. K. Martin, David A. Wood
|
| 2001 |
A* |
conf |
MICRO
Milo M. K. Martin, Daniel J. Sorin, Harold W. Cain, Mark D. Hill, Mikko H. Lipasti
|
| 2000 |
A* |
conf |
ASPLOS
Milo M. K. Martin, Daniel J. Sorin, Anastassia Ailamaki, Alaa R. Alameldeen, Ross M. Dickson, Carl J. Mauer, Kevin E. Moore, Manoj Plakal, Mark D. Hill, David A. Wood
|
| 1997 |
A* |
conf |
MICRO
Milo M. K. Martin, Amir Roth, Charles N. Fischer
|