Profiles

Patrick Cousot

Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …

Verified email at cims.nyu.edu

Cited by 29501

Abstract Interpretation Semantics Verification Formal methods

Eran Yahav

Technion, Israel

Verified email at cs.technion.ac.il

Cited by 13991

Program Synthesis Machine Learning for Programming Program Analysis Abstract Interpretation Programming Languages

Manuel Hermenegildo

IMDEA Software Institute and Technical U. of Madrid (UPM)

Verified email at upm.es

Cited by 10950

Abstract Interpretation Program Analysis Verification Logic Programming Computational Logic

Antoine Miné

Sorbonne Université, LIP6, APR

Verified email at lip6.fr

Cited by 7654

Program Verification Program Semantics Static Analysis Abstract Interpretation

Jérôme Feret

Chargé de recherche, Inria Paris

Verified email at inria.fr

Cited by 5687

static analysis abstract interpretation systems biology embedded systems

Jan Reineke

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Verified email at cs.uni-saarland.de

Cited by 5003

program analysis abstract interpretation real-time systems microarchitectural security

Germán Puebla

Associate Professor

Verified email at fi.upm.es

Cited by 4880

Programming languages static analysis abstract interpretation optimization program transformation

David Monniaux

Researcher in computer science, CNRS, VERIMAG

Verified email at univ-grenoble-alpes.fr

Cited by 4850

Program analysis abstract interpretation decision procedures verified compilation

Xavier Rival

Directeur de Recherche, INRIA

Verified email at inria.fr

Cited by 4840

Program verification static analysis abstract interpretation

Roberto Giacobazzi

Professor of Computer Science, University of Arizona

Verified email at cs.arizona.edu

Cited by 4257

Abstract interpretation static program analysis code protection security lattice theory

1 - 10

zproxy.org