George C. Necula

Publication Activity (10 Years)

Years Active: 1996-2018
Publications (10 Years): 5

Top Topics

Regression Testing

Space Exploration

Symbolic Execution

Graphical User Interface

Top Venues

Publications

Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang
DetReduce: minimizing Android GUI test suites for regression testing. ICSE (2018)
Colin Scott, Aurojit Panda, Vjekoslav Brajkovic, George C. Necula, Arvind Krishnamurthy, Scott Shenker
Minimizing Faulty Executions of Distributed Systems. NSDI (2016)
Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen
SJS: A Type System for JavaScript with Fixed Object Layout. SAS (2015)
Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation. Software Engineering & Management (2015)
Koushik Sen, George C. Necula, Liang Gong, Wontae Choi
MultiSE: multi-path symbolic execution using value summaries. ESEC/SIGSOFT FSE (2015)
Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. OOPSLA (2014)
Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen
CONCURRIT: a domain specific language for reproducing concurrency bugs. PLDI (2013)
Wontae Choi, George C. Necula, Koushik Sen
Guided GUI testing of android apps with minimal restart and approximate learning. OOPSLA (2013)
Philip Reames, George C. Necula
Towards hinted collection: annotations for decreasing garbage collector pause times. ISMM (2013)
George C. Necula, Scott McPeak, Westley Weimer
CCured: type-safe retrofitting of legacy code. ACM SIGPLAN Notices 47 (4a) (2012)
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. HotPar (2012)
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. PPOPP (2012)
Derrick Coetzee, Anand Bhaskar, George C. Necula
A model and framework for reliable build systems CoRR (2012)
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. PLDI (2011)
Jacob Burnim, George C. Necula, Koushik Sen
Specifying and checking semantic atomicity for multithreaded programs. ASPLOS (2011)
Westley Weimer, George C. Necula
Exceptional situations and program reliability. ACM Trans. Program. Lang. Syst. 30 (2) (2008)
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
Enforcing resource bounds via static verification of dynamic checks. ACM Trans. Program. Lang. Syst. 29 (5) (2007)
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
Shape Analysis with Structural Invariant Checkers. SAS (2007)
Sumit Gulwani, George C. Necula
A polynomial-time algorithm for global value numbering. Sci. Comput. Program. 64 (1) (2007)
Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou
Beyond Bug-Finding: Sound Program Analysis for Linux. HotOS (2007)
Jens Knoop, George C. Necula, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)
Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
Dependent Types for Low-Level Programming. ESOP (2007)
Bor-Yuh Evan Chang, Matthew Harren, George C. Necula
Analysis of Low-Level Code Using Cooperating Decompilers. SAS (2006)
Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ilya Bagrak, Robert Ennals, Matthew Harren, George C. Necula, Eric A. Brewer
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. OSDI (2006)
Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. VMCAI (2006)
George C. Necula
Using Dependent Types to Port Type Systems to Low-Level Languages. CC (2006)
Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula
XFI: Software Guards for System Address Spaces. OSDI (2006)
Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck
The open verifier framework for foundational verifiers. TLDI (2005)
Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck
Type-based verification of assembly language for compiler debugging. TLDI (2005)
Matthew Harren, George C. Necula
Using Dependent Types to Certify the Safety of Assembly Code. SAS (2005)
Scott McPeak, George C. Necula
Data Structure Specifications via Local Equality Axioms. CAV (2005)
Jeremy Condit, George C. Necula
Data Slicing: Separating the Heap into Independent Regions. CC (2005)
George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer
CCured: type-safe retrofitting of legacy software. ACM Trans. Program. Lang. Syst. 27 (3) (2005)
George C. Necula, Sumit Gulwani
Randomized Algorithms for Program Analysis and Verification. CAV (2005)
Jens Knoop, George C. Necula, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 141 (2) (2005)
Sumit Gulwani, George C. Necula
Precise interprocedural analysis using random interpretation. POPL (2005)
Westley Weimer, George C. Necula
Mining Temporal Specifications for Error Detection. TACAS (2005)
Jens Knoop, George C. Necula, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 132 (1) (2005)
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
JVer: A Java Verifier. CAV (2005)
Sumit Gulwani, George C. Necula
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. Inf. Comput. 199 (1-2) (2005)
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
Enforcing Resource Bounds via Static Verification of Dynamic Checks. ESOP (2005)
Sumit Gulwani, Ashish Tiwari, George C. Necula
Join Algorithms for the Theory of Uninterpreted Functions. FSTTCS (2004)
Scott McPeak, George C. Necula
Elkhound: A Fast, Practical GLR Parser Generator. CC (2004)
Sumit Gulwani, George C. Necula
Global value numbering using random interpretation. POPL (2004)
Westley Weimer, George C. Necula
Finding and preventing run-time error handling mistakes. OOPSLA (2004)
Nathan Whitehead, Martín Abadi, George C. Necula
By Reason and Authority: A System for Authorization of Proof-Carrying Code. CSFW (2004)
Sumit Gulwani, George C. Necula
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. SAS (2004)
Sumit Gulwani, George C. Necula
A Polynomial-Time Algorithm for Global Value Numbering. SAS (2004)
Matthew Harren, George C. Necula
Lightweight Wrappers for Interfacing with Binary Code in CCured. ISSS (2003)
J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer
Capriccio: scalable threads for internet services. SOSP (2003)
Sumit Gulwani, George C. Necula
Discovering affine equalities using random interpretation. POPL (2003)
Sumit Gulwani, George C. Necula
A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols. CADE (2003)
George C. Necula, Robert R. Schneck
A Sound Framework for Untrusted Verification-Condition Generators. LICS (2003)
Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer
CCured in the real world. PLDI (2003)
George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. CC (2002)
Robert R. Schneck, George C. Necula
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code. CADE (2002)
George C. Necula, Robert R. Schneck
Proof-Carrying Code with Untrusted Proof Rules. ISSS (2002)
George C. Necula, Scott McPeak, Westley Weimer
CCured: type-safe retrofitting of legacy code. POPL (2002)
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
Temporal-Safety Proofs for Systems Code. CAV (2002)
George C. Necula
A Scalable Architecture for Proof-Carrying Code. FLOPS (2001)
George C. Necula, Shree Prakash Rahul
Oracle-based checking of untrusted software. POPL (2001)
George C. Necula, Peter Lee
Proof Generation in the Touchstone Theorem Prover. CADE (2000)
Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline
A certifying compiler for Java. PLDI (2000)
George C. Necula
Translation validation for an optimizing compiler. PLDI (2000)
George C. Necula
Proof-carrying code: design, implementation and applications (abstract). PPDP (2000)
Christopher Colby, Peter Lee, George C. Necula
A Proof-Carrying Code Architecture for Java. CAV (2000)
George C. Necula, Shree Prakash Rahul
A logic-based approach to software system safety and security. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
George C. Necula
Enforcing Security and Safety with Proof-Carrying Code. MFPS (1999)
George C. Necula, Peter Lee
The design and implementation of a certifying compiler (with retrospective) Best of PLDI (1998)
George C. Necula, Peter Lee
Safe, Untrusted Agents Using Proof-Carrying Code. Mobile Agents and Security (1998)
George C. Necula, Peter Lee
The Design and Implementation of a Certifying Compiler. PLDI (1998)
George C. Necula, Peter Lee
Efficient Representation and Validation of Proofs. LICS (1998)
George C. Necula, Peter Lee
Research on Proof-Carrying Code for Untrusted-Code Security. IEEE Symposium on Security and Privacy (1997)
George C. Necula
Proof-Carrying Code. POPL (1997)
George C. Necula, Peter Lee
Safe Kernel Extensions Without Run-Time Checking. OSDI (1996)