×

zbMATH — the first resource for mathematics

Flanagan, Cormac

Compute Distance To:
Author ID: flanagan.cormac Recent zbMATH articles by "Flanagan, Cormac"
Published as: Flanagan, Cormac; Flanagan, C.
External Links: MGP
Documents Indexed: 30 Publications since 1999, including 1 Book

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 170 times in 144 Documents Cited by Year
Dynamic partial-order reduction for model checking software. Zbl 1369.68135
Flanagan, Cormac; Godefroid, Patrice
24
2005
Theorem proving using lazy proof explication. Zbl 1278.68259
Flanagan, Cormac; Joshi, Rajeev; Ou, Xinming; Saxe, James B.
16
2003
Thread-modular model checking. Zbl 1023.68529
Flanagan, Cormac; Qadeer, Shaz
15
2003
Avoiding exponential explosion: generating compact verification conditions. Zbl 1323.68372
Flanagan, Cormac; Saxe, James B.
14
2001
Houdini, an annotation assistant for ESC/Java. Zbl 0977.68671
Flanagan, Cormac; Leino, K. Rustan M.
12
2001
Predicate abstraction for software verification. Zbl 1323.68371
Flanagan, Cormac; Qadeer, Shaz
11
2002
DrScheme: A programming environment for scheme. Zbl 0987.68610
Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
10
2002
The semantics of future and an application. Zbl 0926.68075
Flanagan, C.; Felleisen, M.
8
1999
Transactions for software model checking. Zbl 1271.68086
Flanagan, Cormac; Qadeer, Shaz
8
2003
Thread-modular verification for shared-memory programs. Zbl 1077.68606
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz
7
2002
Atomizer: A dynamic atomicity checker for multithreaded programs. Zbl 1146.68350
Flanagan, Cormac; Freund, Stephen N.
7
2008
Hybrid type checking. Zbl 1370.68202
Flanagan, Cormac
6
2006
Space-efficient gradual typing. Zbl 1232.68025
Herman, David; Tomb, Aaron; Flanagan, Cormac
5
2010
Multiple facets for dynamic information flow. Zbl 1321.68034
Austin, Thomas H.; Flanagan, Cormac
4
2012
Atomizer: a dynamic atomicity checker for multithreaded programs. Zbl 1325.68064
Flanagan, Cormac; Freund, Stephen N.
3
2004
Modular verification of multithreaded programs. Zbl 1108.68080
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz; Seshia, Sanjit A.
3
2005
Automatic software model checking via constraint logic. Zbl 1091.68071
Flanagan, Cormac
3
2004
A modular checker for multithreaded programs. Zbl 1010.68501
Flanagan, Cormac; Qadeer, Shaz; Seshia, Sanjit A.
3
2002
SingleTrack: a dynamic determinism checker for multithreaded programs. Zbl 1234.68066
Sadowski, Caitlin; Freund, Stephen N.; Flanagan, Cormac
3
2009
Temporal higher-order contracts. Zbl 1323.68068
Disney, Tim; Flanagan, Cormac; McCarthy, Jay
2
2011
Correct blame for contracts, no more scapegoating. Zbl 1284.68176
Dimoulas, Christos; Findler, Robert Bruce; Flanagan, Cormac; Felleisen, Matthias
2
2011
Type inference against races. Zbl 1104.68399
Flanagan, Cormac; Freund, Stephen N.
1
2004
Automatic software model checking using CLP. Zbl 1032.68058
Flanagan, Cormac
1
2003
Type reconstruction for general refinement types. Zbl 1187.68154
Knowles, Kenneth; Flanagan, Cormac
1
2007
Type inference against races. Zbl 1171.68399
Flanagan, Cormac; Freund, Stephen N.
1
2007
Multiple facets for dynamic information flow. Zbl 1321.68034
Austin, Thomas H.; Flanagan, Cormac
4
2012
Temporal higher-order contracts. Zbl 1323.68068
Disney, Tim; Flanagan, Cormac; McCarthy, Jay
2
2011
Correct blame for contracts, no more scapegoating. Zbl 1284.68176
Dimoulas, Christos; Findler, Robert Bruce; Flanagan, Cormac; Felleisen, Matthias
2
2011
Space-efficient gradual typing. Zbl 1232.68025
Herman, David; Tomb, Aaron; Flanagan, Cormac
5
2010
SingleTrack: a dynamic determinism checker for multithreaded programs. Zbl 1234.68066
Sadowski, Caitlin; Freund, Stephen N.; Flanagan, Cormac
3
2009
Atomizer: A dynamic atomicity checker for multithreaded programs. Zbl 1146.68350
Flanagan, Cormac; Freund, Stephen N.
7
2008
Type reconstruction for general refinement types. Zbl 1187.68154
Knowles, Kenneth; Flanagan, Cormac
1
2007
Type inference against races. Zbl 1171.68399
Flanagan, Cormac; Freund, Stephen N.
1
2007
Hybrid type checking. Zbl 1370.68202
Flanagan, Cormac
6
2006
Dynamic partial-order reduction for model checking software. Zbl 1369.68135
Flanagan, Cormac; Godefroid, Patrice
24
2005
Modular verification of multithreaded programs. Zbl 1108.68080
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz; Seshia, Sanjit A.
3
2005
Atomizer: a dynamic atomicity checker for multithreaded programs. Zbl 1325.68064
Flanagan, Cormac; Freund, Stephen N.
3
2004
Automatic software model checking via constraint logic. Zbl 1091.68071
Flanagan, Cormac
3
2004
Type inference against races. Zbl 1104.68399
Flanagan, Cormac; Freund, Stephen N.
1
2004
Theorem proving using lazy proof explication. Zbl 1278.68259
Flanagan, Cormac; Joshi, Rajeev; Ou, Xinming; Saxe, James B.
16
2003
Thread-modular model checking. Zbl 1023.68529
Flanagan, Cormac; Qadeer, Shaz
15
2003
Transactions for software model checking. Zbl 1271.68086
Flanagan, Cormac; Qadeer, Shaz
8
2003
Automatic software model checking using CLP. Zbl 1032.68058
Flanagan, Cormac
1
2003
Predicate abstraction for software verification. Zbl 1323.68371
Flanagan, Cormac; Qadeer, Shaz
11
2002
DrScheme: A programming environment for scheme. Zbl 0987.68610
Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
10
2002
Thread-modular verification for shared-memory programs. Zbl 1077.68606
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz
7
2002
A modular checker for multithreaded programs. Zbl 1010.68501
Flanagan, Cormac; Qadeer, Shaz; Seshia, Sanjit A.
3
2002
Avoiding exponential explosion: generating compact verification conditions. Zbl 1323.68372
Flanagan, Cormac; Saxe, James B.
14
2001
Houdini, an annotation assistant for ESC/Java. Zbl 0977.68671
Flanagan, Cormac; Leino, K. Rustan M.
12
2001
The semantics of future and an application. Zbl 0926.68075
Flanagan, C.; Felleisen, M.
8
1999
all top 5

Cited by 373 Authors

10 Kröning, Daniel
4 Bruttomesso, Roberto
4 Felleisen, Matthias
4 Madhusudan, Parthasarathy
4 Qadeer, Shaz
4 Sharygina, Natasha
3 Albert, Elvira
3 Cimatti, Alessandro
3 Garg, Pranav
3 Gupta, Aarti
3 Henzinger, Thomas A.
3 Lahiri, Shuvendu Kumar
3 Namjoshi, Kedar S.
3 Pinto, Jorge Sousa
3 Ranise, Silvio
3 Sebastiani, Roberto
3 Wahl, Thomas
2 Achten, Peter
2 Balyo, Tomáš
2 Bozzano, Marco
2 Clarke, Edmund Melson jun.
2 Culpepper, Ryan
2 Donaldson, Alastair F.
2 D’Souza, Deepak
2 Emmi, Michael
2 Farzan, Azadeh
2 Findler, Robert Bruce
2 Flanagan, Cormac
2 Frade, Maria João
2 Ghilardi, Silvio
2 Giannakopoulou, Dimitra
2 Gómez-Zamalloa, Miguel
2 Heljanko, Keijo
2 Igarashi, Atsushi
2 Järvisalo, Matti
2 Junttila, Tommi A.
2 Kaiser, Alexander D.
2 Leino, K. Rustan M.
2 Marché, Claude
2 Morazán, Marco T.
2 Moy, Yannick
2 Neider, Daniel
2 Niehren, Joachim
2 Păsăreanu, Corina S.
2 Podelski, Andreas
2 Sabelfeld, Andrei
2 Schwinghammer, Jan
2 Sen, Koushik
2 Sinz, Carsten
2 Sousa, Marcelo S.
2 Steffen, Martin
2 Strichman, Ofer
2 van Rossum, Peter
2 Wang, Chao
2 Weiss, Benjamin
2 Wies, Thomas
2 Yahav, Eran
1 Abdulla, Parosh Aziz
1 Ábrahám, Erika
1 Agarwal, Shivali
1 Ahrendt, Wolfgang
1 Alberti, Francesco
1 Andrianov, P. S.
1 Anureev, Igor S.
1 Arai, Ryoya
1 Armando, Alessandro
1 Aronis, Stavros
1 Atig, Mohamed Faouzi
1 Bañados Schwerter, Felipe
1 Barnes, Janet
1 Barone-Adesi, Katerina
1 Barrett, Clark W.
1 Barringer, Howard
1 Barros, José Bernardo
1 Bartocci, Ezio
1 Basler, Gérard
1 Beckert, Bernhard
1 Behrends, Reimer
1 Belo, João Filipe
1 Bergel, Alexandre
1 Betin-Can, Aysu
1 Bianculli, Domenico
1 Bielova, Nataliia
1 Biere, Armin
1 Bodik, Rastislav
1 Bodin, Evgeny V.
1 Bouajjani, Ahmed
1 Braghin, Chiara
1 Braman, Julia M. B.
1 Bsaïes, Khaled
1 Bultan, Tevfik
1 Burnim, Jabob
1 Castellani, Ilaria
1 Castellini, Claudio
1 Černý, Pavol
1 Chalin, Patrice
1 Chapman, Roderick
1 Chatain, Thomas
1 Chini, Peter
1 Cobleigh, Jamieson M.
...and 273 more Authors

Citations by Year