|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31 occurrences of 26 keywords
|
|
|
|
|
Results
Found 66 publication records. Showing 66 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Derrick Coetzee, Anand Bhaskar, George C. Necula |
A model and framework for reliable build systems  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen |
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. |
PPOPP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula |
Proof-Carrying Code. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen |
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, George C. Necula, Koushik Sen |
Specifying and checking semantic atomicity for multithreaded programs. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Westley Weimer, George C. Necula |
Exceptional situations and program reliability. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
compensating transactions, linear sagas, linear types, resource management, Error handling |
| 1 | George 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 |
POPL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
A polynomial-time algorithm for global value numbering. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Knoop, George C. Necula, Wolf Zimmermann |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
Resource bounds, dynamic, static |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Franç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 |
TLDI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, Xavier Rival, George C. Necula |
Shape Analysis with Structural Invariant Checkers. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula |
Dependent Types for Low-Level Programming. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula |
XFI: Software Guards for System Address Spaces. |
OSDI |
2006 |
DBLP BibTeX RDF |
|
| 1 | George C. Necula |
Using Dependent Types to Port Type Systems to Low-Level Languages. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, Matthew Harren, George C. Necula |
Analysis of Low-Level Code Using Cooperating Decompilers. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula |
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Knoop, George C. Necula, Wolf Zimmermann |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Knoop, George C. Necula, Wolf Zimmermann |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer |
CCured: type-safe retrofitting of legacy software. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
pointer qualifier, libraries, subtyping, Memory safety |
| 1 | Westley Weimer, George C. Necula |
Mining Temporal Specifications for Error Detection. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
Precise interprocedural analysis using random interpretation. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
interprocedural value numbering, linear relationships, random interpretation, randomized algorithm, interprocedural analysis, uninterpreted functions |
| 1 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
The open verifier framework for foundational verifiers. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
language-based security, proof-carrying code, typed assembly language |
| 1 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
Type-based verification of assembly language for compiler debugging. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code |
| 1 | Jeremy Condit, George C. Necula |
Data Slicing: Separating the Heap into Independent Regions. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Sumit Gulwani |
Randomized Algorithms for Program Analysis and Verification. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott McPeak, George C. Necula |
Data Structure Specifications via Local Equality Axioms. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |
JVer: A Java Verifier. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Harren, George C. Necula |
Using Dependent Types to Certify the Safety of Assembly Code. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |
Enforcing Resource Bounds via Static Verification of Dynamic Checks. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
Global value numbering using random interpretation. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
global value numbering, herbrand equivalences, random interpretation, randomized algorithm, uninterpreted functions |
| 1 | Nathan Whitehead, Martín Abadi, George C. Necula |
By Reason and Authority: A System for Authorization of Proof-Carrying Code. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott McPeak, George C. Necula |
Elkhound: A Fast, Practical GLR Parser Generator. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Westley Weimer, George C. Necula |
Finding and preventing run-time error handling mistakes. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
destructors, try-finally, dataflow, exceptions, finalizers |
| 1 | Sumit Gulwani, George C. Necula |
A Polynomial-Time Algorithm for Global Value Numbering. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari, George C. Necula |
Join Algorithms for the Theory of Uninterpreted Functions. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
CCured in the real world. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
compatibility with library code, run-time type information, C, type safety, memory safety |
| 1 | Sumit Gulwani, George C. Necula |
A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer |
Capriccio: scalable threads for internet services. |
SOSP |
2003 |
DBLP DOI BibTeX RDF |
blocking graph, dynamic stack growth, linked stack management, resource-aware scheduling, user-level threads |
| 1 | Sumit Gulwani, George C. Necula |
Discovering affine equalities using random interpretation. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
affine relationships, linear equalities, random interpretation, randomized algorithm |
| 1 | George C. Necula, Robert R. Schneck |
A Sound Framework for Untrusted Verification-Condition Generators. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Harren, George C. Necula |
Lightweight Wrappers for Interfacing with Binary Code in CCured. |
ISSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert R. Schneck, George C. Necula |
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Scott McPeak, Westley Weimer |
CCured: type-safe retrofitting of legacy code. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer |
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer |
Temporal-Safety Proofs for Systems Code. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Robert R. Schneck |
Proof-Carrying Code with Untrusted Proof Rules. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Shree Prakash Rahul |
Oracle-based checking of untrusted software. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
ORACLE |
| 1 | George C. Necula |
A Scalable Architecture for Proof-Carrying Code. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula |
Translation validation for an optimizing compiler. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline |
A certifying compiler for Java. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
Proof Generation in the Touchstone Theorem Prover. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula |
Proof-carrying code: design, implementation and applications (abstract). |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Colby, Peter Lee, George C. Necula |
A Proof-Carrying Code Architecture for Java. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula |
Enforcing Security and Safety with Proof-Carrying Code. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
The Design and Implementation of a Certifying Compiler. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
C |
| 1 | George C. Necula, Peter Lee |
The design and implementation of a certifying compiler (with retrospective) |
Best of PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
Safe, Untrusted Agents Using Proof-Carrying Code. |
Mobile Agents and Security |
1998 |
DBLP BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
Efficient Representation and Validation of Proofs. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
Research on Proof-Carrying Code for Untrusted-Code Security. |
IEEE Symposium on Security and Privacy |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula |
Proof-Carrying Code. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
ML |
| 1 | George C. Necula, Peter Lee |
Safe Kernel Extensions Without Run-Time Checking. |
OSDI |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #66 of 66 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")