The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "George C. Necula" ( http://dblp.L3S.de/Authors/George_C._Necula )

URL (Homepage):  http://www.cs.berkeley.edu/~necula/  Author page on DBLP  Author page in RDF  Community of George C. Necula in ASPL-2

Publication years (Num. hits)
1996-2001 (16) 2002-2004 (18) 2005-2006 (19) 2007-2012 (15) 2013-2018 (9)
Publication types (Num. hits)
article(11) incollection(1) inproceedings(63) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 31 occurrences of 26 keywords

Results
Found 78 publication records. Showing 77 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang DetReduce: minimizing Android GUI test suites for regression testing. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Colin Scott, Aurojit Panda, Vjekoslav Brajkovic, George C. Necula, Arvind Krishnamurthy, Scott Shenker Minimizing Faulty Executions of Distributed Systems. Search on Bibsonomy NSDI The full citation details ... 2016 DBLP  BibTeX  RDF
1Wontae Choi, Satish Chandra 0001, George C. Necula, Koushik Sen SJS: A Type System for JavaScript with Fixed Object Layout. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation. Search on Bibsonomy Software Engineering & Management The full citation details ... 2015 DBLP  BibTeX  RDF
1Koushik Sen, George C. Necula, Liang Gong, Wontae Choi MultiSE: multi-path symbolic execution using value summaries. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. Search on Bibsonomy OOPSLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Philip Reames, George C. Necula Towards hinted collection: annotations for decreasing garbage collector pause times. Search on Bibsonomy ISMM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen CONCURRIT: a domain specific language for reproducing concurrency bugs. Search on Bibsonomy PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Wontae Choi, George C. Necula, Koushik Sen Guided GUI testing of android apps with minimal restart and approximate learning. Search on Bibsonomy OOPSLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Derrick Coetzee, Anand Bhaskar, George C. Necula A model and framework for reliable build systems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. Search on Bibsonomy PPOPP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. Search on Bibsonomy HotPar The full citation details ... 2012 DBLP  BibTeX  RDF
1George C. Necula Proof-Carrying Code. Search on Bibsonomy Encyclopedia of Cryptography and Security (2nd Ed.) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jacob Burnim, George C. Necula, Koushik Sen Specifying and checking semantic atomicity for multithreaded programs. Search on Bibsonomy ASPLOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Westley Weimer, George C. Necula Exceptional situations and program reliability. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compensating transactions, linear sagas, linear types, resource management, Error handling
1George C. Necula, Philip Wadler (eds.) Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008 Search on Bibsonomy POPL The full citation details ... 2008 DBLP  BibTeX  RDF
1Sumit Gulwani, George C. Necula A polynomial-time algorithm for global value numbering. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jens Knoop, George C. Necula, Wolf Zimmermann Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula Enforcing resource bounds via static verification of dynamic checks. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Resource bounds, dynamic, static
1Zachary 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. Search on Bibsonomy HotOS The full citation details ... 2007 DBLP  BibTeX  RDF
1Bor-Yuh Evan Chang, Xavier Rival, George C. Necula Shape Analysis with Structural Invariant Checkers. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1François Pottier, George C. Necula (eds.) Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007 Search on Bibsonomy TLDI The full citation details ... 2007 DBLP  BibTeX  RDF
1Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula Dependent Types for Low-Level Programming. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula XFI: Software Guards for System Address Spaces. Search on Bibsonomy OSDI The full citation details ... 2006 DBLP  BibTeX  RDF
1Feng 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. Search on Bibsonomy OSDI The full citation details ... 2006 DBLP  BibTeX  RDF
1Bor-Yuh Evan Chang, Matthew Harren, George C. Necula Analysis of Low-Level Code Using Cooperating Decompilers. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1George C. Necula Using Dependent Types to Port Type Systems to Low-Level Languages. Search on Bibsonomy CC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jens Knoop, George C. Necula, Wolf Zimmermann Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jens Knoop, George C. Necula, Wolf Zimmermann Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, George C. Necula A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer CCured: type-safe retrofitting of legacy software. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pointer qualifier, libraries, subtyping, Memory safety
1Sumit Gulwani, George C. Necula Precise interprocedural analysis using random interpretation. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF interprocedural value numbering, linear relationships, random interpretation, randomized algorithm, interprocedural analysis, uninterpreted functions
1Matthew Harren, George C. Necula Using Dependent Types to Certify the Safety of Assembly Code. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck Type-based verification of assembly language for compiler debugging. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code
1Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck The open verifier framework for foundational verifiers. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF language-based security, proof-carrying code, typed assembly language
1Westley Weimer, George C. Necula Mining Temporal Specifications for Error Detection. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1George C. Necula, Sumit Gulwani Randomized Algorithms for Program Analysis and Verification. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula JVer: A Java Verifier. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Scott McPeak, George C. Necula Data Structure Specifications via Local Equality Axioms. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jeremy Condit, George C. Necula Data Slicing: Separating the Heap into Independent Regions. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula Enforcing Resource Bounds via Static Verification of Dynamic Checks. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, George C. Necula Global value numbering using random interpretation. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF global value numbering, herbrand equivalences, random interpretation, randomized algorithm, uninterpreted functions
1Sumit Gulwani, George C. Necula Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, George C. Necula A Polynomial-Time Algorithm for Global Value Numbering. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nathan Whitehead, Martín Abadi, George C. Necula By Reason and Authority: A System for Authorization of Proof-Carrying Code. Search on Bibsonomy CSFW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Scott McPeak, George C. Necula Elkhound: A Fast, Practical GLR Parser Generator. Search on Bibsonomy CC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Ashish Tiwari, George C. Necula Join Algorithms for the Theory of Uninterpreted Functions. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Westley Weimer, George C. Necula Finding and preventing run-time error handling mistakes. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF destructors, try-finally, dataflow, exceptions, finalizers
1Sumit Gulwani, George C. Necula Discovering affine equalities using random interpretation. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF affine relationships, linear equalities, random interpretation, randomized algorithm
1J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer Capriccio: scalable threads for internet services. Search on Bibsonomy SOSP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF blocking graph, dynamic stack growth, linked stack management, resource-aware scheduling, user-level threads
1Matthew Harren, George C. Necula Lightweight Wrappers for Interfacing with Binary Code in CCured. Search on Bibsonomy ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, George C. Necula A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer CCured in the real world. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF compatibility with library code, run-time type information, C, type safety, memory safety
1George C. Necula, Robert R. Schneck A Sound Framework for Untrusted Verification-Condition Generators. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1George C. Necula, Scott McPeak, Westley Weimer CCured: type-safe retrofitting of legacy code. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer Temporal-Safety Proofs for Systems Code. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1George C. Necula, Robert R. Schneck Proof-Carrying Code with Untrusted Proof Rules. Search on Bibsonomy ISSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. Search on Bibsonomy CC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Robert R. Schneck, George C. Necula A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1George C. Necula, Shree Prakash Rahul Oracle-based checking of untrusted software. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ORACLE
1George C. Necula A Scalable Architecture for Proof-Carrying Code. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1George C. Necula, Shree Prakash Rahul A logic-based approach to software system safety and security. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christopher Colby, Peter Lee 0001, George C. Necula A Proof-Carrying Code Architecture for Java. Search on Bibsonomy CAV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1George C. Necula, Peter Lee 0001 Proof Generation in the Touchstone Theorem Prover. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1George C. Necula Translation validation for an optimizing compiler. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christopher Colby, Peter Lee 0001, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline A certifying compiler for Java. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1George C. Necula Proof-carrying code: design, implementation and applications (abstract). Search on Bibsonomy PPDP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1George C. Necula Enforcing Security and Safety with Proof-Carrying Code. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1George C. Necula, Peter Lee 0001 Safe, Untrusted Agents Using Proof-Carrying Code. Search on Bibsonomy Mobile Agents and Security The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1George C. Necula, Peter Lee 0001 The Design and Implementation of a Certifying Compiler. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF C
1George C. Necula, Peter Lee 0001 The design and implementation of a certifying compiler (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1George C. Necula, Peter Lee 0001 Efficient Representation and Validation of Proofs. Search on Bibsonomy LICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1George C. Necula Proof-Carrying Code. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1George C. Necula, Peter Lee 0001 Research on Proof-Carrying Code for Untrusted-Code Security. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1George C. Necula, Peter Lee 0001 Safe Kernel Extensions Without Run-Time Checking. Search on Bibsonomy OSDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #77 of 77 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license