Sledovať
Cormac Flanagan
Cormac Flanagan
Professor of Computer Science, University of California Santa Cruz
Overená e-mailová adresa na: ucsc.edu - Domovská stránka
Názov
Citované v
Citované v
Rok
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
19402002
Dynamic partial-order reduction for model checking software
C Flanagan, P Godefroid
ACM Sigplan Notices 40 (1), 110-121, 2005
9372005
FastTrack: efficient and precise dynamic race detection
C Flanagan, SN Freund
ACM Sigplan Notices 44 (6), 121-133, 2009
8892009
The essence of compiling with continuations
C Flanagan, A Sabry, BF Duba, M Felleisen
ACM Sigplan Notices 28 (6), 237-247, 1993
7861993
Houdini, an annotation assistant for ESC/Java
C Flanagan, KRM Leino
International Symposium of Formal Methods Europe, 500-517, 2001
5692001
Type-based race detection for Java
C Flanagan, SN Freund
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
5632000
Atomizer: a dynamic atomicity checker for multithreaded programs
C Flanagan, SN Freund
ACM SIGPLAN Notices 39 (1), 256-267, 2004
5292004
A type and effect system for atomicity
C Flanagan, S Qadeer
ACM SIGPLAN Notices 38 (5), 338-349, 2003
5062003
Predicate abstraction for software verification
C Flanagan, S Qadeer
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
4102002
Avoiding exponential explosion: Generating compact verification conditions
C Flanagan, JB Saxe
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
3492001
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
3412002
Hybrid type checking
C Flanagan
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
3382006
Efficient purely-dynamic information flow analysis
TH Austin, C Flanagan
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009
3122009
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
3022006
Multiple facets for dynamic information flow
TH Austin, C Flanagan
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
2702012
Thread-modular model checking
C Flanagan, S Qadeer
Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003
2242003
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
2222012
Types for safe locking
C Flanagan, M Abadi
European Symposium on Programming, 91-108, 1999
2131999
Permissive dynamic information flow analysis
TH Austin, C Flanagan
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and …, 2010
2072010
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
1952008
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20