×
Edit Profile (opens in new tab)

Necula, George C.

Co-Author Distance
Author ID: necula.george-c Recent zbMATH articles by "Necula, George C."
Published as: Necula, George C.; Necula, George
Documents Indexed: 29 Publications since 1998
Co-Authors: 19 Co-Authors with 24 Joint Publications
438 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
10 Gulwani, Sumit
4 McPeak, Scott
4 Weimer, Westley
2 Chander, Ajay
2 Espinosa, David
2 Islam, Nayeem
2 Rahul, Shree P.
2 Schneck, Robert R.
1 Anderson, Zachary
1 Chang, Bor-Yuh Evan
1 Colby, Christopher
1 Condit, Jeremy
1 Gay, David M.
1 Harren, Matthew
1 Henzinger, Thomas A.
1 Jhala, Ranjit
1 Majumdar, Rupak
1 Sutre, Grégoire
1 Tiwari, Ashish Kumar

Serials

1 Science of Computer Programming
1 Information and Computation

Fields

29 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)
1 General algebraic systems (08-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

23 Publications have been cited 176 times in 160 Documents Cited by ▼ Year ▼
CIL: Intermediate language and tools for analysis and transformation of C programs. Zbl 1051.68756
Necula, George C.; McPeak, Scott; Rahul, Shree P.; Weimer, Westley
38
2002
Data structure specifications via local equality axioms. Zbl 1081.68584
McPeak, Scott; Necula, George C.
21
2005
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
19
2002
CCured, type-safe retrofitting of legacy code. Zbl 1323.68382
Necula, George C.; McPeak, Scott; Weimer, Westley
14
2002
Oracle-based checking of untrusted software. Zbl 1323.68222
Necula, George C.; Rahul, S. P.
12
2001
Discovering affine equalities using random interpretation. Zbl 1321.68490
Gulwani, Sumit; Necula, George C.
11
2003
A polynomial-time algorithm for global value numbering. Zbl 1104.68414
Gulwani, Sumit; Necula, George C.
9
2004
Mining temporal specifications for error detection. Zbl 1087.68600
Weimer, Westley; Necula, George C.
8
2005
Elkhound: A fast, practical GLR parser generator. Zbl 1125.68354
McPeak, Scott; Necula, George C.
6
2004
Efficient representation and validation of proofs. Zbl 0945.03527
Necula, George C.; Lee, Peter
6
1998
A scalable architecture for proof-carrying code. Zbl 0977.68598
Necula, George C.
4
2001
Precise interprocedural analysis using random interpretation. Zbl 1369.68139
Gulwani, Sumit; Necula, George C.
4
2005
Enforcing resource bounds via static verification of dynamic checks. Zbl 1108.68419
Chander, Ajay; Espinosa, David; Islam, Nayeem; Lee, Peter; Necula, George
4
2005
Proof generation in the Touchstone theorem prover. Zbl 0963.68523
Necula, George C.; Lee, Peter
3
2000
Enforcing security and safety with proof-carrying code. Zbl 0924.68072
Necula, George
3
1999
Join algorithms for the theory of uninterpreted functions. Zbl 1117.03340
Gulwani, Sumit; Tiwari, Ashish; Necula, George C.
3
2004
Dependent types for low-level programming. Zbl 1187.68115
Condit, Jeremy; Harren, Matthew; Anderson, Zachary; Gay, David; Necula, George C.
2
2007
Proof-carrying code. Design and implementation. Zbl 1097.68538
Necula, George C.
2
2002
Global value numbering using random interpretation. Zbl 1325.68065
Gulwani, Sumit; Necula, George C.
2
2004
A polynomial-time algorithm for global value numbering. Zbl 1171.68420
Gulwani, Sumit; Necula, George C.
2
2007
A framework for certified program analysis and its applications to mobile-code safety. Zbl 1176.68048
Chang, Bor-Yuh Evan; Chlipala, Adam; Necula, George C.
1
2006
A proof-carrying code architecture for Java. Zbl 0974.68546
Colby, Christopher; Lee, Peter; Necula, George C.
1
2000
Path-sensitive analysis for linear arithmetic and uninterpreted functions. Zbl 1104.68019
Gulwani, Sumit; Necula, George C.
1
2004
Dependent types for low-level programming. Zbl 1187.68115
Condit, Jeremy; Harren, Matthew; Anderson, Zachary; Gay, David; Necula, George C.
2
2007
A polynomial-time algorithm for global value numbering. Zbl 1171.68420
Gulwani, Sumit; Necula, George C.
2
2007
A framework for certified program analysis and its applications to mobile-code safety. Zbl 1176.68048
Chang, Bor-Yuh Evan; Chlipala, Adam; Necula, George C.
1
2006
Data structure specifications via local equality axioms. Zbl 1081.68584
McPeak, Scott; Necula, George C.
21
2005
Mining temporal specifications for error detection. Zbl 1087.68600
Weimer, Westley; Necula, George C.
8
2005
Precise interprocedural analysis using random interpretation. Zbl 1369.68139
Gulwani, Sumit; Necula, George C.
4
2005
Enforcing resource bounds via static verification of dynamic checks. Zbl 1108.68419
Chander, Ajay; Espinosa, David; Islam, Nayeem; Lee, Peter; Necula, George
4
2005
A polynomial-time algorithm for global value numbering. Zbl 1104.68414
Gulwani, Sumit; Necula, George C.
9
2004
Elkhound: A fast, practical GLR parser generator. Zbl 1125.68354
McPeak, Scott; Necula, George C.
6
2004
Join algorithms for the theory of uninterpreted functions. Zbl 1117.03340
Gulwani, Sumit; Tiwari, Ashish; Necula, George C.
3
2004
Global value numbering using random interpretation. Zbl 1325.68065
Gulwani, Sumit; Necula, George C.
2
2004
Path-sensitive analysis for linear arithmetic and uninterpreted functions. Zbl 1104.68019
Gulwani, Sumit; Necula, George C.
1
2004
Discovering affine equalities using random interpretation. Zbl 1321.68490
Gulwani, Sumit; Necula, George C.
11
2003
CIL: Intermediate language and tools for analysis and transformation of C programs. Zbl 1051.68756
Necula, George C.; McPeak, Scott; Rahul, Shree P.; Weimer, Westley
38
2002
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
19
2002
CCured, type-safe retrofitting of legacy code. Zbl 1323.68382
Necula, George C.; McPeak, Scott; Weimer, Westley
14
2002
Proof-carrying code. Design and implementation. Zbl 1097.68538
Necula, George C.
2
2002
Oracle-based checking of untrusted software. Zbl 1323.68222
Necula, George C.; Rahul, S. P.
12
2001
A scalable architecture for proof-carrying code. Zbl 0977.68598
Necula, George C.
4
2001
Proof generation in the Touchstone theorem prover. Zbl 0963.68523
Necula, George C.; Lee, Peter
3
2000
A proof-carrying code architecture for Java. Zbl 0974.68546
Colby, Christopher; Lee, Peter; Necula, George C.
1
2000
Enforcing security and safety with proof-carrying code. Zbl 0924.68072
Necula, George
3
1999
Efficient representation and validation of proofs. Zbl 0945.03527
Necula, George C.; Lee, Peter
6
1998
all cited Publications top 5 cited Publications
all top 5

Cited by 367 Authors

7 Gulwani, Sumit
6 Alur, Rajeev
5 Madhusudan, Parthasarathy
4 Albert, Elvira
4 Necula, George C.
4 Puebla, Germán
4 Seidl, Helmut
4 Sofronie-Stokkermans, Viorica
3 Aiken, Alex
3 Arenas, Puri
3 Beringer, Lennart
3 Černý, Pavol
3 Genaim, Samir
3 Jacobs, Swen
3 Koskinen, Eric
3 Leroy, Xavier
3 Pichardie, David
3 Stump, Aaron
3 Tiwari, Ashish Kumar
2 Barrett, Clark W.
2 Besson, Frédéric
2 Brabrand, Claus
2 Chaudhuri, Swarat
2 Chen, Liqian
2 de Moura, Leonardo
2 Dietsch, Daniel
2 Esparza, Javier
2 Farzan, Azadeh
2 Foster, Jeffrey S.
2 Giegerich, Robert
2 Godefroid, Patrice
2 Godoy, Guillem
2 Groce, Alex
2 Gupta, Aarti
2 Harper, Robert
2 Havelund, Klaus
2 Hofmann, Martin
2 Ihlemann, Carsten
2 Johnstone, Adrian
2 Joshi, Rajeev
2 Kapur, Deepak
2 Kennedy, Andrew J.
2 Kincaid, Zachary
2 Kiselyov, Oleg
2 Kuncak, Viktor
2 La Torre, Salvatore
2 Lahiri, Shuvendu Kumar
2 Le, Quang Loc
2 Majumdar, Rupak
2 Møller, Anders Pape
2 Müller-Olm, Markus
2 Neamtiu, Iulian
2 Qadeer, Shaz
2 Sankaranarayanan, Sriram
2 Scott, Elizabeth A.
2 Shoham, Sharon
2 Terauchi, Tachio
2 Vytiniotis, Dimitrios
2 Wang, Chao
2 Wang, Ji
1 Abdulla, Parosh Aziz
1 Agten, Pieter
1 Ahmed, Amal
1 Akhundov, Murad
1 Amadio, Roberto M.
1 Amato, Gianluca
1 Angluin, Dana
1 Arkoudas, Konstantine
1 Aspinall, David
1 Atkey, Robert
1 Babu, Jasine
1 Bansal, Kshitij
1 Barbanera, Franco
1 Behrends, Reimer
1 Beyer, Dirk
1 Bierman, Gavin M.
1 Birkedal, Lars
1 Blazy, Sandrine
1 Blot, Arthur
1 Boker, Udi
1 Boldo, Sylvie
1 Bolduc, Claude
1 Bonacina, Maria Paola
1 Bouajjani, Ahmed
1 Bowman, William J.
1 Braunsdorf, Oliver
1 Bruttomesso, Roberto
1 Bsaïes, Khaled
1 Bugliesi, Michele
1 Catalano, Dario
1 Chambers, Craig
1 Chang, Bor-Yuh Evan
1 Charlton, Nathaniel
1 Chatterjee, Krishnendu
1 Chechik, Marsha
1 Chen, Gangyi
1 Chen, Shiping
1 Chihani, Zakaria
1 Chilimbi, Trishul M.
1 Chin, Wei-Ngan
...and 267 more Authors
all top 5

Cited in 23 Serials

10 Theoretical Computer Science
9 Journal of Automated Reasoning
8 Formal Methods in System Design
4 Science of Computer Programming
4 Formal Aspects of Computing
3 Acta Informatica
3 Journal of Symbolic Computation
2 Information and Computation
2 Journal of Functional Programming
2 Annals of Mathematics and Artificial Intelligence
2 Computer Languages, Systems & Structures
2 Mathematics in Computer Science
2 Logical Methods in Computer Science
1 Journal of Computer and System Sciences
1 Programming and Computer Software
1 New Generation Computing
1 Journal of Parallel and Distributed Computing
1 Mathematical Structures in Computer Science
1 Theory of Computing Systems
1 Higher-Order and Symbolic Computation
1 The Journal of Logic and Algebraic Programming
1 Science China. Information Sciences
1 Computer Science Review
all top 5

Cited in 12 Fields

155 Computer science (68-XX)
28 Mathematical logic and foundations (03-XX)
5 Information and communication theory, circuits (94-XX)
3 Commutative algebra (13-XX)
2 Numerical analysis (65-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Algebraic geometry (14-XX)
1 Ordinary differential equations (34-XX)
1 Statistics (62-XX)
1 Fluid mechanics (76-XX)
1 Biology and other natural sciences (92-XX)
1 Systems theory; control (93-XX)

Citations by Year