Cormac Flanagan

Citée par

	Toutes	Depuis 2019
Citations	15136	2988
indice h	55	28
indice i10	110	58

860

430

215

645

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202438 66 77 54 101 130 194 326 432 574 569 664 684 745 794 767 852 814 798 849 804 798 767 680 523 594 425 437 329

Accès public

Tout afficher

13 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Stephen FreundComputer Science, Williams CollegeAdresse e-mail validée de cs.williams.edu
Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityAdresse e-mail validée de felleisen.org
Shaz QadeerSoftware Engineer, MetaAdresse e-mail validée de meta.com
Thomas H. AustinAssociate Professor of Computer Science, San Jose State UniversityAdresse e-mail validée de bias2build.com
Tim DisneyUniversity of California Santa CruzAdresse e-mail validée de ucsc.edu
Mark LillibridgeFacebookAdresse e-mail validée de cs.cmu.edu
Caitlin SadowskiGoogleAdresse e-mail validée de google.com
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzAdresse e-mail validée de cs.ucsc.edu
Patrice GodefroidLaceworkAdresse e-mail validée de lacework.net
Robert Bruce FindlerNorthwestern UniversityAdresse e-mail validée de cs.northwestern.edu
Amr SabryProfessor of Computer Science, Indiana UniversityAdresse e-mail validée de indiana.edu
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityAdresse e-mail validée de cs.brown.edu
Matthew FlattProfessor, School of Computing, University of UtahAdresse e-mail validée de cs.utah.edu
Christopher SchusterAdresse e-mail validée de ucsc.edu
Jean YangMITAdresse e-mail validée de cs.cmu.edu
John ClementsProfessor of Computer Science, Cal Poly State UniversityAdresse e-mail validée de calpoly.edu
Mooly SagivTel Aviv UniversityAdresse e-mail validée de acm.org
Armando Solar-LezamaMITAdresse e-mail validée de csail.mit.edu
Yannis SmaragdakisUniversity of AthensAdresse e-mail validée de di.uoa.gr
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu

Suivre

Cormac Flanagan

Professor of Computer Science, University of California Santa Cruz

Adresse e-mail validée de ucsc.edu - Page d'accueil

Programming Languages - Software Engineering


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Extended static checking for Java C Flanagan, KRM Leino, M Lillibridge, G Nelson, JB Saxe, R Stata Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002	1926	2002
Dynamic partial-order reduction for model checking software C Flanagan, P Godefroid ACM Sigplan Notices 40 (1), 110-121, 2005	923	2005
FastTrack: efficient and precise dynamic race detection C Flanagan, SN Freund ACM Sigplan Notices 44 (6), 121-133, 2009	882	2009
The essence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen ACM Sigplan Notices 28 (6), 237-247, 1993	765	1993
Type-based race detection for Java C Flanagan, SN Freund Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000	563	2000
Houdini, an annotation assistant for ESC/Java C Flanagan, KRM Leino International Symposium of Formal Methods Europe, 500-517, 2001	559	2001
Atomizer: a dynamic atomicity checker for multithreaded programs C Flanagan, SN Freund ACM SIGPLAN Notices 39 (1), 256-267, 2004	528	2004
A type and effect system for atomicity C Flanagan, S Qadeer ACM SIGPLAN Notices 38 (5), 338-349, 2003	501	2003
Predicate abstraction for software verification C Flanagan, S Qadeer Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	411	2002
Avoiding exponential explosion: Generating compact verification conditions C Flanagan, JB Saxe Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001	340	2001
Hybrid type checking C Flanagan Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006	339	2006
DrScheme: A programming environment for Scheme RB Findler, J Clements, C Flanagan, M Flatt, S Krishnamurthi, P Steckler, ... Journal of functional programming 12 (2), 159-182, 2002	338	2002
Efficient purely-dynamic information flow analysis TH Austin, C Flanagan Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009	309	2009
Types for safe locking: Static race detection for Java M Abadi, C Flanagan, SN Freund ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (2), 207-255, 2006	299	2006
Multiple facets for dynamic information flow TH Austin, C Flanagan Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012	262	2012
Sound predictive race detection in polynomial time Y Smaragdakis, J Evans, C Sadowski, J Yi, C Flanagan ACM Sigplan Notices 47 (1), 387-400, 2012	221	2012
Thread-modular model checking C Flanagan, S Qadeer Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003	221	2003
Types for safe locking C Flanagan, M Abadi European Symposium on Programming, 91-108, 1999	212	1999
Permissive dynamic information flow analysis TH Austin, C Flanagan Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and …, 2010	206	2010
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs C Flanagan, SN Freund, J Yi ACM SIGPLAN Notices 43 (6), 293-303, 2008	193	2008

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs