Dawson R. Engler

发表

Dawson R. Engler, Andy Chou, 2003 .
Dawson R. Engler, Anthony Romano, 2013, SPIN.
Dawson R. Engler, M. Frans Kaashoek, 1995, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V).
Dawson R. Engler, Ken Ashcraft, D. Engler, 2003, SOSP '03.
Dawson R. Engler, M. Frans Kaashoek, James O'Toole, 1994, OSDI.
Dawson R. Engler, Seth Hallem, David Y. W. Park, 2003, ACM Queue.
Dawson R. Engler, Andy Chou, Mark Heinrich, 2000, SIGP.
Junfeng Yang, Dawson R. Engler, Madan Musuvathi, 2004, TOCS.
Dawson R. Engler, M. Frans Kaashoek, James O'Toole, 1994, ACM SIGOPS European Workshop.
Robert Grimm, Dawson R. Engler, David Mazières, 1997, SOSP.
Dawson R. Engler, Yichen Xie, 2003, IEEE Trans. Software Eng..
Philip J. Guo, Dawson R. Engler, D. Engler, 2011, USENIX Annual Technical Conference.
Dawson R. Engler, David A. Ramos, D. Engler, 2015, USENIX Annual Technical Conference.
Dawson R. Engler, M. Frans Kaashoek, Gregory R. Ganger, 2002, TOCS.
Dawson R. Engler, Madanlal Musuvathi, 2004 .
Dawson R. Engler, Andrew Y. Ng, Ted Kremenek, 2006, OSDI '06.
Dawson R. Engler, M. Frans Kaashoek, 1996, SIGCOMM.
Dawson R. Engler, M. Frans Kaashoek, Massimiliano Poletto, 1997, PLDI '97.
Dawson R. Engler, Seth Hallem, Benjamin Chelf, 2002, PASTE '02.
Shravan Narayan, Dawson R. Engler, Deian Stefan, 2017, 2017 IEEE Symposium on Security and Privacy (SP).
Dawson R. Engler, Madan Musuvathi, D. Engler, 2003, SoftMC@CAV.
Dawson R. Engler, David A. Ramos, 2011, CAV.
Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek, 1995, POPL '96.
Trent Jaeger, David A. Wagner, Dawson R. Engler, 2002, SACMAT '02.
Dawson R. Engler, Andrew Y. Ng, Ted Kremenek, 2007, IJCAI.
Dawson R. Engler, David L. Dill, Vijay Ganesh, 2006, CCS 2006.
Dawson R. Engler, M. Frans Kaashoek, Deborah A. Wallach, 1996, SIGCOMM 1996.
Dawson R. Engler, Cristian Cadar, 2009 .
Dawson R. Engler, Andres Nötzli, Fraser Brown, 2016, ASPLOS.
Dawson R. Engler, M. Frans Kaashoek, Deborah A. Wallach, 1997, TNET.
Dawson R. Engler, Suhabe Bugrara, D. Engler, 2013, USENIX Annual Technical Conference.
Dawson R. Engler, David L. Dill, 2009 .
Dawson R. Engler, Andy Chou, Seth Hallem, 2008 .
Junfeng Yang, Dawson R. Engler, Andy Chou, 2001, SOSP.
Dawson R. Engler, M. Frans Kaashoek, Deborah A. Wallach, 1996, SIGCOMM.
Dawson R. Engler, Daniel Dunbar, D. Engler, 2007, ISSTA '07.
Dawson R. Engler, Andy Chou, Yichen Xie, 2003, ESEC/FSE-11.
Dawson R. Engler, Yichen Xie, 2002, SIGSOFT FSE.
Dawson R. Engler, M. Frans Kaashoek, 1996, SIGCOMM 1996.
Dawson R. Engler, Ken Ashcraft, D. Engler, 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.
Dawson R. Engler, D. Engler, 1999, IEEE Trans. Software Eng..
Junfeng Yang, Dawson R. Engler, Can Sar, 2006, OSDI '06.
Dawson R. Engler, David L. Dill, Vijay Ganesh, 2008, TSEC.
Dawson R. Engler, Cristian Cadar, D. Engler, 2005, SPIN.
Dawson R. Engler, Andy Chou, David Yu Chen, 2001, SOSP.
Junfeng Yang, Dawson R. Engler, Cristian Cadar, 2006, 2006 IEEE Symposium on Security and Privacy (S&P'06).
Dawson R. Engler, Madan Musuvathi, D. Engler, 2004, VMCAI.
Deian Stefan, Dawson R. Engler, Fraser Brown, 2020, USENIX Security Symposium.
Dawson R. Engler, Yichen Xie, Seth Hallem, 2002, PLDI '02.
Dawson R. Engler, David L. Dill, Vijay Ganesh, 2006, CCS '06.
Philip J. Guo, Dawson R. Engler, D. Engler, 2009, USENIX Annual Technical Conference.
Dawson R. Engler, D. Engler, 1998 .
Dawson R. Engler, M. Frans Kaashoek, James O'Toole, 1994, OPSR.
Dawson R. Engler, Cristian Cadar, Peter Boonstoppel, 2008, TACAS.
Dawson R. Engler, Todd A. Proebsting, D. Engler, 1994, ASPLOS VI.
Dawson R. Engler, D. Engler, 2005, CONCUR.
Dawson R. Engler, M. Frans Kaashoek, Gregory R. Ganger, 1996, EW 7.
Dawson R. Engler, M. Frans Kaashoek, James O'Toole, 1995, SOSP.
Dawson R. Engler, Madan Musuvathi, D. Engler, 2004, NSDI.
Junfeng Yang, Dawson R. Engler, Ted Kremenek, 2004, SIGSOFT '04/FSE-12.
Dawson R. Engler, Wilson C. Hsieh, Godmar Back, 2001, USENIX Annual Technical Conference, General Track.
Dawson R. Engler, M. Frans Kaashoek, Gregory R. Ganger, 2000 .
Gregory R. Andrews, Dawson R. Engler, David K. Lowenthal, 1993 .
Dawson R. Engler, Andy Chou, David L. Dill, 2002, EW 10.
Sandeep K. Gupta, Dawson R. Engler, M. Frans Kaashoek, 1995, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V).
Dawson R. Engler, Andy Chou, Seth Hallem, 2010, Commun. ACM.
Salvatore J. Stolfo, Junfeng Yang, Angelos D. Keromytis, 2011, 2011 First SysSec Workshop.
Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek, 1999, TOPL.
Dawson R. Engler, David K. Lowenthal, D. Engler, 1993 .