G. Necula
发表
George C. Necula,
Westley Weimer,
Scott McPeak,
2002,
POPL '02.
George C. Necula,
Peter Lee,
G. Necula,
1996,
OSDI '96.
Edward A. Lee,
Katherine Yelick,
James Demmel,
2008
.
George C. Necula,
Westley Weimer,
Scott McPeak,
2002,
CC.
George C. Necula,
Peter Lee,
G. Necula,
1998
.
George C. Necula,
Feng Zhou,
Eric A. Brewer,
2003,
SOSP '03.
George C. Necula,
Peter Lee,
G. Necula,
1998,
PLDI.
George C. Necula,
G. Necula,
2011,
Encyclopedia of Cryptography and Security.
George C. Necula,
Westley Weimer,
Westley Weimer,
2005,
TACAS.
George C. Necula,
Peter Lee,
Mark Plesko,
2000,
PLDI '00.
G. Necula,
P. Lee,
1998
.
Shree Prakash Rahul,
G. Necula,
2001
.
George C. Necula,
G. Necula,
2000,
PLDI '00.
Sumit Gulwani,
George C. Necula,
Sumit Gulwani,
2004,
SAS.
Sumit Gulwani,
George C. Necula,
Sumit Gulwani,
2004,
Sci. Comput. Program..
Sumit Gulwani,
George C. Necula,
Sumit Gulwani,
2005
.
Martín Abadi,
George C. Necula,
Úlfar Erlingsson,
2006,
OSDI '06.
George C. Necula,
David Gay,
Feng Zhou,
2007,
HotOS.
G. Necula,
Sauciuc,
2011
.
Edward A. Lee,
J. Demmel,
J. Kubiatowicz,
2008
.
Koushik Sen,
Jacob Burnim,
Tayfun Elmas,
2013,
PLDI.
George C. Necula,
Westley Weimer,
Scott McPeak,
2002,
SIGP.
P. Varaiya,
R. Bajcsy,
K. Keutzer,
2003
.
George C. Necula,
Koushik Sen,
Jacob Burnim,
2013,
PLDI.
Westley Weimer,
G. Necula,
Scott McPeak,
2002,
POPL.
Sumit Gulwani,
G. Necula,
2022
.
G. Necula,
2022
.
G. Necula,
P. Lee,
David Espinosa,
2005,
TOPL.
G. Necula,
P. Lee,
David Espinosa,
2007,
ACM Trans. Program. Lang. Syst..
G. Necula,
O. Popovici,
D. Mănuc,
2019,
Infection, genetics and evolution : journal of molecular epidemiology and evolutionary genetics in infectious diseases.
Qijun Gu,
Tor Helleseth,
Kazue Sako,
2011,
Encyclopedia of Cryptography and Security.
George C. Necula,
Jens Knoop,
Wolf Zimmermann,
2005,
Electron. Notes Theor. Comput. Sci..
George C. Necula,
Jefferson Lai,
Pierce Vollucci,
2015
.
George C. Necula,
Ajay Chander,
Nayeem Islam,
2004
.
George C. Necula,
Michael Vrable,
Mihai Budiu,
2006
.
George C. Necula,
G. Necula,
2007
.
George C. Necula,
G. Necula,
2000
.
George C. Necula,
Franois Pottier,
G. Necula,
2007,
TLDI.
George C. Necula,
Philip Wadler,
P. Wadler,
2008,
POPL.
Sumit Gulwani,
George C. Necula,
Sumit Gulwani,
2003,
POPL '03.
Westley Weimer,
G. Necula,
Scott McPeak,
2002,
SIGP.
G. Necula,
M. Radu,
M. Bacalum,
2019,
Scientific Reports.
G. Necula,
M. Radu,
M. Bacalum,
2023,
International journal of molecular sciences.
George C. Necula,
Peter Lee,
G. Necula,
1998,
Mobile Agents and Security.
George C. Necula,
Westley Weimer,
Westley Weimer,
2004,
OOPSLA.
George C. Necula,
G. Necula,
1997,
POPL '97.
George C. Necula,
Tachio Terauchi,
Alex Aiken,
2006
.
George C. Necula,
Scott McPeak,
G. Necula,
2003,
CC.
Martín Abadi,
George C. Necula,
Nathan Whitehead,
2004,
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
George C. Necula,
Bor-Yuh Evan Chang,
Matthew Harren,
2006,
SAS.
George C. Necula,
Westley Weimer,
Matthew Harren,
2003,
PLDI '03.
George C. Necula,
Thomas A. Henzinger,
Rupak Majumdar,
2002,
CAV.
George C. Necula,
Koushik Sen,
Jacob Burnim,
2011,
PLDI '11.
George C. Necula,
Koushik Sen,
Jacob Burnim,
2010
.
George C. Necula,
Westley Weimer,
Westley Weimer,
2008,
TOPL.
George C. Necula,
Thomas A. Henzinger,
Arindam Chakrabarti,
2007
.
George C. Necula,
Koushik Sen,
Wenyu Wang,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
George C. Necula,
Koushik Sen,
Wontae Choi,
2013,
OOPSLA.
Sumit Gulwani,
George C. Necula,
Sumit Gulwani,
2003,
POPL '03.
George C. Necula,
Koushik Sen,
Jacob Burnim,
2012,
PPoPP '12.
George C. Necula,
Scott McPeak,
G. Necula,
2005,
CAV.
George C. Necula,
Westley Weimer,
Matthew Harren,
2005,
TOPL.
Koushik Sen,
Liang Gong,
Wontae Choi,
2015,
ESEC/SIGSOFT FSE.
George C. Necula,
Peter Lee,
G. Necula,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
George C. Necula,
Peter Lee,
G. Necula,
1997,
LICS 1997.
George C. Necula,
Shree Prakash Rahul,
G. Necula,
2001,
POPL '01.
George C. Necula,
Robert R. Schneck,
G. Necula,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
George C. Necula,
Adam Chlipala,
G. Necula,
2006
.
George C. Necula,
Peter Lee,
G. Necula,
2000,
CADE.
George C. Necula,
G. Necula,
1998
.
G. Necula,
V. Lazǎr,
M. Chifiriuc,
2009,
Roumanian archives of microbiology and immunology.
George C. Necula,
Feng Zhou,
Eric A. Brewer,
2006,
OSDI '06.
George C. Necula,
Bor-Yuh Evan Chang,
Adam Chlipala,
2005,
TLDI '05.
George C. Necula,
Scott Shenker,
Arvind Krishnamurthy,
2016,
NSDI.
George C. Necula,
David Gay,
Matthew Harren,
2007,
ESOP.
George C. Necula,
Matthew Harren,
G. Necula,
2005,
SAS.
George C. Necula,
Bor-Yuh Evan Chang,
Xavier Rival,
2007,
SAS.
George C. Necula,
G. Necula,
1999,
MFPS.
George C. Necula,
Peter Lee,
G. Necula,
1997
.
George C. Necula,
Jeremy Condit,
Jeremy Condit,
2007
.
G. Necula,
Peter Lee,
1998,
PLDI.
Felix Leopoldo,
P. Samarati,
A. Biryukov,
2011,
Encyclopedia of Cryptography and Security.
George C. Necula,
Peter Lee,
Christopher Colby,
2000,
CAV.
George C. Necula,
Matthew Harren,
G. Necula,
2007
.
George C. Necula,
Adam Chlipala,
G. Necula,
2007
.
George C. Necula,
G. Necula,
2000,
PPDP.
G. Necula,
1997,
POPL '97.
Sumit Gulwani,
George C. Necula,
Sumit Gulwani,
2004,
SAS.
Georges Gonthier,
J. Meseguer,
S. Owre,
2006
.
George C. Necula,
Peter Lee,
G. Necula,
1997,
Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).
George C. Necula,
Robert R. Schneck,
G. Necula,
2004
.
George C. Necula,
Bor-Yuh Evan Chang,
Robert R. Schneck,
2003
.
George C. Necula,
Koushik Sen,
Michael Pradel,
2014,
OOPSLA.
George C. Necula,
Raluca Sauciuc,
G. Necula,
2011
.