George Necula

Affiliations: 
Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA 
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysis
Google:
"George Necula"

Children

Sign in to add trainee
Robert R. Schneck grad student 2004 UC Berkeley
Sumit Gulwani grad student 2005 UC Berkeley
Scott G. McPeak grad student 2005 UC Berkeley
Westley R. Weimer grad student 2005 UC Berkeley
John Kodumal grad student 2006 UC Berkeley
Tachio Terauchi grad student 2006 UC Berkeley
Arindam Chakrabarti grad student 2007 UC Berkeley
Adam J. Chlipala grad student 2007 UC Berkeley
Jeremy P. Condit grad student 2007 UC Berkeley
Matthew T. Harren grad student 2007 UC Berkeley
Bor-Yuh E. Chang grad student 2008 UC Berkeley
Wontae Choi grad student 2017 UC Berkeley
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Sen K, Necula G, Gong L, et al. (2015) MultiSE: Multi-path symbolic execution using value summaries 2015 10th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2015 - Proceedings. 842-853
Choi W, Chandra S, Necula G, et al. (2015) SJS: A type system for javascript with fixed object layout Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9291: 181-198
Pradel M, Schuh P, Necula G, et al. (2014) EventBreak: Analyzing the responsiveness of user interfaces through performance-guided test generation Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 33-47
Choi W, Necula G, Sen K. (2013) Guided GUI testing of android apps with minimal restart and approximate learning Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 623-639
Reames P, Necula G. (2013) Towards hinted collection annotations for decreasing garbage collector pause times International Symposium On Memory Management, Ismm. 3-14
Elmas T, Burnim J, Necula G, et al. (2013) CONCURRIT: A domain specific language for reproducing concurrency bugs Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 153-164
Burnim J, Elmas T, Necula G, et al. (2012) NDetermin: Inferring nondeterministic sequential specifications for parallelism correctness Acm Sigplan Notices. 47: 329-330
Burnim J, Necula G, Sen K. (2012) Specifying and checking semantic atomicity for multithreaded programs Acm Sigplan Notices. 47: 79-90
Burnim J, Elmas T, Necula G, et al. (2011) NDSeq: Runtime checking for nondeterministic sequential specifications of parallel correctness Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 401-414
Weimer W, Necula GC. (2008) Exceptional situations and program reliability Acm Transactions On Programming Languages and Systems. 30
See more...