George C. Necula

Available identifiers

zbMath Open necula.george-cMaRDI QIDQ859960

List of research outcomes

Publication	Date of Publication	Type
Precise interprocedural analysis using random interpretation	2017-07-14	Paper
Global value numbering using random interpretation	2015-11-11	Paper
Discovering affine equalities using random interpretation	2015-09-11	Paper
CCured	2015-03-17	Paper
Oracle-based checking of untrusted software	2015-03-17	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Compiler Construction	2007-09-28	Paper
Dependent Types for Low-Level Programming	2007-09-04	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
A polynomial-time algorithm for global value numbering	2007-01-22	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Static Analysis	2005-08-24	Paper
Static Analysis	2005-08-24	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols	2005-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4823138	2004-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4809042	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738390	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4418583	2003-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4804923	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q2763627	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2754120	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q2723407	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4261077	1999-09-20	Paper

Research outcomes over time

This page was built for person: George C. Necula