George C. Necula

81 papers A* 26A 10B 13C 2Misc 2Journal 8Unranked 15

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