Martin C. Rinard
发表
Micah Z. Brodsky,
Regina Barzilay,
Dina Katabi,
2009,
HotNets.
Patrick Lam,
Martin C. Rinard,
2007,
2007 IEEE International Parallel and Distributed Processing Symposium.
Martin C. Rinard,
Pedro C. Diniz,
M. Rinard,
1997,
TOPL.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2001,
LCPC.
Martin C. Rinard,
M. Rinard,
2003,
OOPSLA '03.
Martin C. Rinard,
2008,
CACM.
Dawn Xiaodong Song,
Martin C. Rinard,
Kevin Zhijie Chen,
2013,
NDSS.
Jianjun Zhao,
Martin C. Rinard,
M. Rinard,
2003,
FASE.
Fan Long,
Stelios Sidiroglou,
Martin C. Rinard,
2015,
CCS.
Martin C. Rinard,
Michael Carbin,
M. Rinard,
2010,
ISSTA '10.
Martin C. Rinard,
M. Rinard,
2012,
CACM.
Viktor Kuncak,
Andreas Podelski,
Thomas Wies,
2006,
ArXiv.
Martin C. Rinard,
Percy Liang,
Fereshte Khani,
2016,
ACL.
Martin C. Rinard,
Phillip Stanley-Marbell,
2015,
HotOS.
Eric Lahtinen,
Fan Long,
Stelios Sidiroglou,
2015,
PLDI.
Stelios Sidiroglou,
Martin C. Rinard,
Hamed Okhravi,
2015,
2015 IEEE Symposium on Security and Privacy.
Martin C. Rinard,
Radu Rugina,
M. Rinard,
2000,
PLDI '00.
Martin C. Rinard,
Michael Carbin,
Sasa Misailovic,
2013,
OOPSLA.
Wei-Ngan Chin,
Martin C. Rinard,
Åtefan Andrei,
2005
.
Martin C. Rinard,
Alexandru Salcianu,
M. Rinard,
2001,
PPoPP '01.
Fan Long,
Stelios Sidiroglou,
Martin C. Rinard,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Martin C. Rinard,
C. Scott Ananian,
2003,
LCTES.
Martin C. Rinard,
Huu Hai Nguyen,
Cristian Cadar,
2005,
OOPSLA '05.
Fan Long,
Stelios Sidiroglou,
Martin C. Rinard,
2014,
PLDI.
Martin C. Rinard,
Pedro C. Diniz,
1998,
J. Parallel Distributed Comput..
Martin C. Rinard,
Radu Rugina,
2000,
LCPC.
Patrick Lam,
Martin C. Rinard,
Patrick Lam,
2003,
ECOOP.
Prakash Panangaden,
Vijay A. Saraswat,
Martin C. Rinard,
1991,
POPL '91.
Martin C. Rinard,
M. Rinard,
2001,
SAS.
Martin C. Rinard,
2007,
OOPSLA.
Martin C. Rinard,
M. Rinard,
1998,
Concurr. Pract. Exp..
Martin C. Rinard,
2018,
SLE.
Daniel M. Roy,
Martin C. Rinard,
Cristian Cadar,
2004,
OSDI.
Martin C. Rinard,
Brian Demsky,
2005,
ICSE.
Daniel M. Roy,
Martin C. Rinard,
Cristian Cadar,
2004,
20th Annual Computer Security Applications Conference.
Martin C. Rinard,
Brian Demsky,
M. Rinard,
2003,
OOPSLA '03.
Andrew P. Black,
Theo D'Hondt,
Doug Kimelman,
2012,
RACES@SPLASH.
Martin C. Rinard,
Alexandru Salcianu,
M. Rinard,
2005,
VMCAI.
Fan Long,
Stelios Sidiroglou,
Brendan Juba,
2015,
NDSS.
Martin C. Rinard,
Jiasi Shen,
M. Rinard,
2017,
SLE.
Harald C. Gall,
Philipp Leitner,
Martin C. Rinard,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2007,
CADE.
Alexander Aiken,
Martin C. Rinard,
Shmuel Sagiv,
2010,
APLAS.
Martin C. Rinard,
Steve J. Chapin,
Karthick Jayaraman,
2011,
ArXiv.
Armando Solar-Lezama,
Mia Minnes,
Martin C. Rinard,
2012,
Haifa Verification Conference.
Binoy Ravindran,
Martin C. Rinard,
Peng Li,
2003,
OTM Workshops.
Martin C. Rinard,
Sasa Misailovic,
Deokhwan Kim,
2013,
TECS.
Henry Hoffmann,
Stelios Sidiroglou,
Martin C. Rinard,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Martin C. Rinard,
Steve J. Chapin,
Karthick Jayaraman,
2013,
TSEC.
Martin C. Rinard,
Karen Zee,
2002,
OOPSLA.
Jeff H. Perkins,
Stelios Sidiroglou,
Martin C. Rinard,
2016,
DIMVA.
Viktor Kuncak,
Martin C. Rinard,
Huu Hai Nguyen,
2006,
Journal of Automated Reasoning.
Beng Chin Ooi,
Kian-Lee Tan,
Martin C. Rinard,
2009,
IEEE Transactions on Knowledge and Data Engineering.
Martin C. Rinard,
Pedro C. Diniz,
M. Rinard,
1999,
POPL '97.
Martin C. Rinard,
Vikash K. Mansinghka,
Ulrich Schaechtle,
2019,
Proc. ACM Program. Lang..
Martin C. Rinard,
Vikash K. Mansinghka,
Feras A. Saad,
2020,
ArXiv.
Martin C. Rinard,
Brian Demsky,
2003,
14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..
Martin C. Rinard,
M. Rinard,
2011,
PEPM '11.
Martin C. Rinard,
Julia Rubin,
M. Rinard,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Martin C. Rinard,
Maria-Cristina V. Marinescu,
M. Rinard,
2001,
Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455).
Alexander Aiken,
Martin C. Rinard,
Shmuel Sagiv,
2012,
CACM.
Martin C. Rinard,
Pedro C. Diniz,
M. Rinard,
2003,
TOPL.
Douglas C. Schmidt,
Peter G. Neumann,
Ricardo Lopez,
2006,
OOPSLA '06.
Martin C. Rinard,
Chandrasekhar Boyapati,
Robert Lee,
2022
.
James R. Larus,
Stephen N. Freund,
Eric Allen,
2008,
SIGP.
Martin C. Rinard,
Steve J. Chapin,
Karthick Jayaraman,
2011,
CCS '11.
Viktor Kuncak,
Thomas Wies,
Martin C. Rinard,
2007,
VMCAI.
Stephen McCamant,
Michael D. Ernst,
Jeff H. Perkins,
2006,
ISSTA '06.
Martin C. Rinard,
Radu Rugina,
M. Rinard,
1999,
PLDI '99.
Eric Lahtinen,
Fan Long,
Stelios Sidiroglou,
2017,
ESEC/SIGSOFT FSE.
Martin C. Rinard,
Pedro C. Diniz,
1996,
LCPC.
Martin C. Rinard,
William S. Beebee,
2001,
EMSOFT.
Viktor Kuncak,
Martin C. Rinard,
Huu Hai Nguyen,
2005,
CADE.
Viktor Kuncak,
Martin C. Rinard,
2005,
Electron. Notes Theor. Comput. Sci..
Martin C. Rinard,
Radu Rugina,
M. Rinard,
2005,
TOPL.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2003,
ArXiv.
Stelios Sidiroglou,
Martin C. Rinard,
Youry Khmelevsky,
2013,
CASCON.
Martin C. Rinard,
2012,
AOSD Companion '12.
Michael I. Gordon,
Martin C. Rinard,
Julia Rubin,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Regina Barzilay,
Fan Long,
Martin C. Rinard,
2013,
ACL.
Martin C. Rinard,
Alexandru Salcianu,
Suhabe Bugrara,
2004,
SIGSOFT '04/FSE-12.
Martin C. Rinard,
Haoran Xu,
Saman P. Amarasinghe,
2018,
PACT.
Fan Long,
Martin C. Rinard,
M. Rinard,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Sarfraz Khurshid,
Darko Marinov,
Konstantine Arkoudas,
2003,
RelMiCS.
Shengchao Qin,
Florin Craciun,
Wei-Ngan Chin,
2004,
PLDI '04.
Martin C. Rinard,
M. Rinard,
1999,
TOCS.
Martin C. Rinard,
Phillip Stanley-Marbell,
M. Rinard,
2017,
Found. Trends Electron. Des. Autom..
Martin C. Rinard,
Jürgen Cito,
José P. Cambronero,
2020,
ESEC/SIGSOFT FSE.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2004,
ArXiv.
Martin C. Rinard,
2006,
ICS '06.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2002,
POPL '02.
Wei-Ngan Chin,
Stefan Andrei,
Martin C. Rinard,
2006,
2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Martin C. Rinard,
Karen Zee,
2002,
SIGP.
Armando Solar-Lezama,
Mia Minnes,
Martin C. Rinard,
2013,
ArXiv.
Martin C. Rinard,
Maria-Cristina V. Marinescu,
M. Rinard,
1999,
VLSI.
Alexander Aiken,
Martin C. Rinard,
Shmuel Sagiv,
2011,
PLDI '11.
Martin C. Rinard,
2007,
Electron. Notes Theor. Comput. Sci..
Viktor Kuncak,
Konstantine Arkoudas,
Martin C. Rinard,
2004,
ICFEM.
Martin C. Rinard,
Michael Carbin,
Sasa Misailovic,
2012,
OOPSLA '12.
Viktor Kuncak,
Martin C. Rinard,
2004,
VMCAI.
Martin C. Rinard,
Michael Carbin,
Sasa Misailovic,
2013,
PEPM '13.
Martin C. Rinard,
Phillip Stanley-Marbell,
2018,
ArXiv.
Stelios Sidiroglou,
Martin C. Rinard,
Sasa Misailovic,
2012,
RACES '12.
Viktor Kuncak,
Andreas Podelski,
Thomas Wies,
2005,
VMCAI.
Martin C. Rinard,
Phillip Stanley-Marbell,
2016,
2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Eric Lahtinen,
Fan Long,
Paolo Piselli,
2015,
ASPLOS.
Monica S. Lam,
Martin C. Rinard,
Daniel J. Scales,
1991,
LCPC.
Andrew P. Black,
Theo D'Hondt,
Doug Kimelman,
2012,
SPLASH '12.
Monica S. Lam,
Martin C. Rinard,
Daniel J. Scales,
1993,
Computer.
Martin C. Rinard,
Phillip Stanley-Marbell,
Pier Andrea Francese,
2016,
2016 IEEE Hot Chips 28 Symposium (HCS).
Martin C. Rinard,
Huu Hai Nguyen,
2007,
ISMM '07.
Henry Hoffmann,
Stelios Sidiroglou,
Martin C. Rinard,
2011,
ESEC/FSE '11.
Martin C. Rinard,
Phillip Stanley-Marbell,
Virginia Estellers,
2016,
EuroSys.
Martin C. Rinard,
M. Rinard,
1998,
J. Program. Lang..
Martin C. Rinard,
Jiasi Shen,
Varun Mangalick,
2018,
Onward!.
Oscar H. Ibarra,
Martin C. Rinard,
Pedro C. Diniz,
1996,
COCOON.
Martin C. Rinard,
Pedro C. Diniz,
M. Rinard,
1999,
ICS '99.
Frédéric Vivien,
Martin C. Rinard,
M. Rinard,
2001,
PLDI '01.
Stelios Sidiroglou,
Martin C. Rinard,
Peter Amidon,
2015,
2015 IEEE High Performance Extreme Computing Conference (HPEC).
Viktor Kuncak,
Martin C. Rinard,
Karen Zee,
2009,
PLDI '09.
Monica S. Lam,
Martin C. Rinard,
M. Lam,
1991,
PPOPP '91.
Martin C. Rinard,
Pedro C. Diniz,
M. Rinard,
1996,
PLDI '96.
Martin C. Rinard,
Yutian Chen,
Vikash K. Mansinghka,
2018
.
Martin C. Rinard,
2013,
HotPar.
Martin C. Rinard,
2008,
SIGP.
Martin C. Rinard,
1997,
Int. J. High Speed Comput..
Martin C. Rinard,
Pedro C. Diniz,
M. Rinard,
1997,
PLDI '97.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2006,
IEEE Transactions on Software Engineering.
Martin C. Rinard,
M. Rinard,
1996,
Proceedings of International Conference on Parallel Processing.
Martin C. Rinard,
Michael Carbin,
Sasa Misailovic,
2014,
OOPSLA.
Konstantine Arkoudas,
Martin C. Rinard,
M. Rinard,
2005,
RV@ETAPS.
Martin C. Rinard,
Sara Achour,
M. Rinard,
2015,
OOPSLA.
Martin C. Rinard,
Deokhwan Kim,
M. Rinard,
2011,
PLDI '11.
Martin C. Rinard,
1995,
SC.
Martin C. Rinard,
Phillip Stanley-Marbell,
2018,
IEEE Micro.
Martin C. Rinard,
Phillip Stanley-Marbell,
Julia Rubin,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Viktor Kuncak,
Martin C. Rinard,
Karen Zee,
2008,
2008 IEEE International Symposium on Parallel and Distributed Processing.
Martin C. Rinard,
Brian Demsky,
2002,
ICSE '02.
Martin C. Rinard,
John Whaley,
M. Rinard,
1999,
OOPSLA '99.
Viktor Kuncak,
Martin C. Rinard,
2004,
ArXiv.
Csaba Andras Moritz,
Rajeev Barua,
Martin C. Rinard,
1999,
Seventh Annual IEEE Symposium on Field-Programmable Custom Computing Machines (Cat. No.PR00375).
Monica S. Lam,
Martin C. Rinard,
M. Lam,
1998,
TOPL.
Martin C. Rinard,
Pedro C. Diniz,
M. Rinard,
1999,
TOCS.
Martin C. Rinard,
M. Rinard,
2007,
OOPSLA.
Martin C. Rinard,
Pedro C. Diniz,
M. Rinard,
1996,
Euro-Par, Vol. I.
Martin C. Rinard,
Radu Rugina,
M. Rinard,
1999,
PPoPP '99.
Armando Solar-Lezama,
Regina Barzilay,
Joshua B. Tenenbaum,
2018,
ArXiv.
Viktor Kuncak,
Martin C. Rinard,
Karen Zee,
2008,
PLDI '08.
Martin C. Rinard,
Phillip Stanley-Marbell,
2015,
IEEE Embedded Systems Letters.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2005,
AOSD '05.
Fan Long,
Martin C. Rinard,
Peter Amidon,
2017,
ESEC/SIGSOFT FSE.
Martin C. Rinard,
Brian Demsky,
M. Rinard,
2009,
IEEE Transactions on Software Engineering.
Alexander Aiken,
Martin C. Rinard,
Shmuel Sagiv,
2012,
PLDI.
Martin C. Rinard,
2011,
Moving Target Defense.
Fan Long,
Stelios Sidiroglou,
Martin C. Rinard,
2014,
POPL.
Fan Long,
Martin C. Rinard,
M. Rinard,
2015,
ESEC/SIGSOFT FSE.
Jeff H. Perkins,
Michael I. Gordon,
Martin C. Rinard,
2015,
NDSS.
Martin C. Rinard,
Phillip Stanley-Marbell,
José Pablo Cambronero,
2018,
ArXiv.
Alexander Aiken,
Martin C. Rinard,
Shmuel Sagiv,
2012,
ESOP.
Martin C. Rinard,
Radu Rugina,
M. Rinard,
2003,
TOPL.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2004,
SAS.
Vijay Kumar,
Armando Solar-Lezama,
Martin C. Rinard,
2021,
NeurIPS.
Viktor Kuncak,
Martin C. Rinard,
Michael Taylor,
2007,
RV.
Martin C. Rinard,
Maria-Cristina V. Marinescu,
2001,
International Symposium on System Synthesis (IEEE Cat. No.01EX526).
Daniel M. Roy,
Martin C. Rinard,
Sasa Misailovic,
2011,
SAS.
Martin C. Rinard,
2012,
RV.
Andreas Zeller,
Mauro Pezzè,
Westley Weimer,
2011,
Dagstuhl Reports.
Martin C. Rinard,
Pedro C. Diniz,
1996,
Proceedings of International Conference on Parallel Processing.
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions
pdf
Martin C. Rinard,
Vikash K. Mansinghka,
Feras A. Saad,
2020,
AISTATS.
Roland H. C. Yap,
Stefan Andrei,
Gheorghe Grigoras,
2009,
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2005,
VSTTE.
Martin C. Rinard,
Vijay Ganesh,
Tim Leek,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Viktor Kuncak,
Martin C. Rinard,
Bruno Marnette,
2007,
FoSSaCS.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2003,
SAS.
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
Fan Long,
Martin C. Rinard,
Sara Achour,
2015,
ISSTA.
Martin C. Rinard,
Michael Carbin,
Vijay Ganesh,
2012,
ArXiv.
Monica S. Lam,
Martin C. Rinard,
M. Lam,
1992,
POPL '92.
Martin C. Rinard,
Maria-Cristina V. Marinescu,
M. Rinard,
2003,
FME.
Henry Hoffmann,
Anant Agarwal,
Stelios Sidiroglou,
2011,
ASPLOS XVI.
Martin C. Rinard,
Alexandru Salcianu,
Ovidiu Gheorghioiu,
2003,
POPL.
Martin C. Rinard,
Chandrasekhar Boyapati,
M. Rinard,
2001,
OOPSLA '01.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2004,
SIGP.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Armando Solar-Lezama,
Regina Barzilay,
Joshua B. Tenenbaum,
2018,
MAPL@PLDI.
Martin C. Rinard,
Pedro C. Diniz,
1999,
Concurr. Pract. Exp..
Martin C. Rinard,
Michael Carbin,
Sasa Misailovic,
2012,
PLDI.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Martin C. Rinard,
Sara Achour,
M. Rinard,
2018,
ASPLOS.
Martin C. Rinard,
Radu Rugina,
M. Rinard,
2001,
CC.
Daniel Jackson,
Martin C. Rinard,
M. Rinard,
2000,
ICSE '00.
Martin C. Rinard,
Michael Carbin,
Sasa Misailovic,
2011,
ECOOP.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2004,
ArXiv.
Martin C. Rinard,
2012,
DAC Design Automation Conference 2012.
Rahul Sarpeshkar,
Martin C. Rinard,
Sara Achour,
2016,
PLDI.
Zeyuan Allen Zhu,
Martin C. Rinard,
Jonathan A. Kelner,
2012,
POPL '12.
Henry Hoffmann,
Stelios Sidiroglou,
Martin C. Rinard,
2010,
OOPSLA.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2005,
VMCAI.
Martin C. Rinard,
Chandrasekhar Boyapati,
Alexandru Salcianu,
2003,
PLDI '03.
Martin C. Rinard,
Michael Carbin,
Sasa Misailovic,
2013,
OOPSLA.
Monica S. Lam,
Martin C. Rinard,
Daniel J. Scales,
1992,
Proceedings Supercomputing '92.
Srinivas Devadas,
Armando Solar-Lezama,
Mate Soos,
2012,
SAT.
Sarfraz Khurshid,
Darko Marinov,
Martin C. Rinard,
2005,
SAT.
Martin C. Rinard,
2019,
Commun. ACM.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2004,
ArXiv.
Michael D. Ernst,
Jeff H. Perkins,
Weng-Fai Wong,
2009,
SOSP '09.
Martin C. Rinard,
Thomas W. Doeppner,
Alessandro Giacalone,
1984,
Software Development Environments.
Martin C. Rinard,
Brian Demsky,
M. Rinard,
2006,
IEEE Transactions on Software Engineering.
Albert Mo Kim Cheng,
Stefan Andrei,
Lawrence J. Osborne,
2010,
2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.
Martin C. Rinard,
2009,
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2005,
CC.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2004,
ArXiv.
Martin C. Rinard,
2009,
CADE.
Martin C. Rinard,
Haoran Xu,
Saman P. Amarasinghe,
2018,
ArXiv.
Oscar H. Ibarra,
Martin C. Rinard,
Pedro C. Diniz,
1996,
Int. J. Found. Comput. Sci..
Fan Long,
Martin C. Rinard,
M. Rinard,
2016,
POPL.
Shengchao Qin,
Wei-Ngan Chin,
Martin C. Rinard,
2005,
SAS.
Martin C. Rinard,
Jiasi Shen,
2021,
ACM Trans. Program. Lang. Syst..
Martin C. Rinard,
Vikash K. Mansinghka,
Feras A. Saad,
2021,
PLDI.
Martin C. Rinard,
Jürgen Cito,
José Pablo Cambronero,
2021,
Proc. VLDB Endow..
Martin C. Rinard,
Nikos Vasilakis,
Shivam Handa,
2021,
CCS.
Martin C. Rinard,
Nikos Vasilakis,
Konstantinos Kallas,
2021,
Proc. ACM Program. Lang..
Martin C. Rinard,
Vikash K. Mansinghka,
Feras A. Saad,
2021,
Artifact Digital Object Group.
Martin C. Rinard,
Nikos Vasilakis,
Grigoris Ntousakis,
2021,
ESEC/SIGSOFT FSE.
Martin C. Rinard,
Malavika Samak,
Jose Pablo Cambronero,
2021,
ArXiv.
Thurston H. Y. Dang,
Martin C. Rinard,
Jose P. Cambronero,
2021,
ArXiv.
Martin C. Rinard,
M. Rinard,
2012
.
Martin C. Rinard,
Michael Carbin,
Sasa Misailovic,
2013
.