George C. Necula

发表

George C. Necula, Koushik Sen, Jacob Burnim, 2011, ASPLOS XVI.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2005 .
George C. Necula, Peter Lee, G. Necula, 1996, OSDI '96.
George C. Necula, Alex Aiken, John Kodumal, 2006 .
George C. Necula, Koushik Sen, Michael Pradel, 2014, OOPSLA.
George C. Necula, Adam Chlipala, G. Necula, 2007 .
Sumit Gulwani, George C. Necula, 2004, POPL '04.
George C. Necula, Koushik Sen, Jacob Burnim, 2012, HotPar'12.
Martín Abadi, George C. Necula, Úlfar Erlingsson, 2006, OSDI '06.
George C. Necula, G. Necula, 2011, Encyclopedia of Cryptography and Security.
George C. Necula, G. Necula, 2007 .
George C. Necula, Koushik Sen, Jacob Burnim, 2012, PPoPP '12.
George C. Necula, David Gay, Feng Zhou, 2007, HotOS.
George C. Necula, G. Necula, 2000, PLDI '00.
George C. Necula, Westley Weimer, Scott McPeak, 2002, POPL '02.
George C. Necula, Matthew Harren, 2003, ISSS.
George C. Necula, Koushik Sen, Wenyu Wang, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
George C. Necula, Westley Weimer, Scott McPeak, 2002, SIGP.
George C. Necula, Peter Lee, G. Necula, 1997, LICS 1997.
George C. Necula, Westley Weimer, Matthew Harren, 2003, PLDI '03.
George C. Necula, G. Necula, 1999, MFPS.
Sumit Gulwani, George C. Necula, 2005, POPL '05.
George C. Necula, Westley Weimer, Westley Weimer, 2008, TOPL.
George C. Necula, Peter Lee, G. Necula, 1997, Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).
George C. Necula, Scott Shenker, Arvind Krishnamurthy, 2016, NSDI.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2004, SAS.
George C. Necula, Thomas A. Henzinger, Arindam Chakrabarti, 2007 .
George C. Necula, Bor-Yuh Evan Chang, Xavier Rival, 2007, SAS.
George C. Necula, Bor-Yuh Evan Chang, Adam Chlipala, 2005, TLDI '05.
George C. Necula, Koushik Sen, Satish Chandra, 2015 .
George C. Necula, Jefferson Lai, Pierce Vollucci, 2015 .
George C. Necula, Westley Weimer, Scott McPeak, 2002, CC.
George C. Necula, Matthew Harren, G. Necula, 2007 .
George C. Necula, Bor-Yuh Evan Chang, Adam Chlipala, 2006, VMCAI.
George C. Necula, Shree Prakash Rahul, G. Necula, 2001, POPL '01.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2003, POPL '03.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2003, POPL '03.
George C. Necula, Jeremy Condit, 2005, CC.
George C. Necula, Westley Weimer, Westley Weimer, 2004, OOPSLA.
George C. Necula, Peter Lee, G. Necula, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
George C. Necula, Feng Zhou, Eric A. Brewer, 2003, SOSP '03.
George C. Necula, Matthew Harren, G. Necula, 2005, SAS.
George C. Necula, Scott McPeak, 2005 .
George C. Necula, Scott McPeak, G. Necula, 2003, CC.
Sumit Gulwani, George C. Necula, 2005, CAV.
George C. Necula, Jens Knoop, Wolf Zimmermann, 2005, Electron. Notes Theor. Comput. Sci..
George C. Necula, Tachio Terauchi, Alex Aiken, 2006 .
George C. Necula, G. Necula, 1997, POPL '97.
George C. Necula, Peter Lee, Mark Plesko, 2000, PLDI '00.
George C. Necula, Jens Knoop, Wolf Zimmermann, 2005, Electron. Notes Theor. Comput. Sci..
George C. Necula, Jeremy Condit, Jeremy Condit, 2007 .
George C. Necula, Peter Lee, G. Necula, 1997 .
George C. Necula, Raluca Sauciuc, G. Necula, 2011 .
George C. Necula, Scott McPeak, G. Necula, 2005, CAV.
George C. Necula, Shree Prakash Rahul, 2000, SOEN.
George C. Necula, Thomas A. Henzinger, Rupak Majumdar, 2002, CAV.
George C. Necula, Jens Knoop, Wolf Zimmermann, 2007, Electron. Notes Theor. Comput. Sci..
George C. Necula, Peter Lee, G. Necula, 1998, PLDI.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2004, Sci. Comput. Program..
George C. Necula, Robert R. Schneck, G. Necula, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
George C. Necula, Koushik Sen, Jacob Burnim, 2013, PLDI.
George C. Necula, Feng Zhou, Eric A. Brewer, 2006, OSDI '06.
George C. Necula, Westley Weimer, Westley Weimer, 2005, TACAS.
George C. Necula, Derrick Coetzee, Anand Bhaskar, 2012, ArXiv.
George C. Necula, Peter Lee, Ajay Chander, 2005, CAV.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2004, SAS.
George C. Necula, Koushik Sen, Satish Chandra, 2015, SAS.
George C. Necula, Ajay Chander, Nayeem Islam, 2004 .
George C. Necula, David Gay, M. Budiu, 2007 .
George C. Necula, Robert R. Schneck, 2002, ISSS.
Martín Abadi, George C. Necula, Nathan Whitehead, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
George C. Necula, Peter Lee, Ajay Chander, 2005, ESOP.
George C. Necula, Westley Weimer, Matthew Harren, 2005, TOPL.
George C. Necula, Koushik Sen, Wontae Choi, 2013, OOPSLA.
George C. Necula, Bor-Yuh Evan Chang, Adam Chlipala, 2005, TLDI '05.
George C. Necula, Peter Lee, G. Necula, 1998 .
George C. Necula, David Gay, Matthew Harren, 2007, ESOP.
George C. Necula, Peter Lee, Christopher Colby, 2000, CAV.
George C. Necula, Peter A. Dinda, Morgan N. Price, 1998 .
George C. Necula, Peter Lee, G. Necula, 2000, CADE.
George C. Necula, Bor-Yuh Evan Chang, Matthew Harren, 2006, SAS.
George C. Necula, Michael Vrable, Mihai Budiu, 2006 .
George C. Necula, Peter Lee, G. Necula, 1998, Mobile Agents and Security.
George C. Necula, Robert R. Schneck, G. Necula, 2004 .
George C. Necula, Scott McPeak, Wes Weimer, 2002 .
George C. Necula, Bor-Yuh Evan Chang, Robert R. Schneck, 2003 .
George C. Necula, G. Necula, 1998 .