H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 52 Citations 13,613 118 World Ranking 2646 National Ranking 1392

Research.com Recognitions

Awards & Achievements

2020 - ACM Fellow For contributions to static and dynamic program debugging and verification methods

2013 - ACM Senior Member

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Object-oriented programming

His main research concerns Programming language, Java, Theoretical computer science, Correctness and Thread. His work in Modular design, Software system, Predicate abstraction, Static analysis and Abstract machine are all subfields of Programming language research. His work on Java annotation and Extended static checking as part of general Java study is frequently linked to Vector clock, therefore connecting diverse disciplines of science.

His work focuses on many connections between Theoretical computer science and other disciplines, such as Software, that overlap with his field of interest in Relation, Backtracking, Reduction and Partial order reduction. His study looks at the intersection of Correctness and topics like Atomicity with Multithreading. His research integrates issues of Synchronization, Program analysis, Functional programming and Operational semantics in his study of Thread.

His most cited work include:

  • Extended static checking for Java (1288 citations)
  • Dynamic partial-order reduction for model checking software (539 citations)
  • FastTrack: efficient and precise dynamic race detection (512 citations)

What are the main themes of his work throughout his whole career to date?

Cormac Flanagan spends much of his time researching Programming language, Thread, Theoretical computer science, Correctness and Atomicity. His is doing research in Java, Semantics, Software system, Programmer and Model checking, both of which are found in Programming language. His studies deal with areas such as Source lines of code and Inference as well as Java.

The study incorporates disciplines such as Set, Information flow, JavaScript, Range and Algorithm in addition to Theoretical computer science. Cormac Flanagan focuses mostly in the field of Correctness, narrowing it down to matters related to Parallel computing and, in some cases, Reduction. His study looks at the relationship between Atomicity and topics such as Concurrency, which overlap with Software, Multi-core processor and Real-time computing.

He most often published in these fields:

  • Programming language (58.82%)
  • Thread (17.65%)
  • Theoretical computer science (16.99%)

What were the highlights of his more recent work (between 2014-2021)?

  • JavaScript (12.42%)
  • Programming language (58.82%)
  • Information flow (9.80%)

In recent papers he was focusing on the following fields of study:

His scientific interests lie mostly in JavaScript, Programming language, Information flow, Implementation and Distributed computing. His studies in JavaScript integrate themes in fields like File system, Operating system, Scripting language, Soundness and Expression. His research on Programming language often connects related areas such as Theoretical computer science.

His research in Information flow intersects with topics in Library science, Information retrieval and Code. His biological study spans a wide range of topics, including Web application framework, Relational database, Trusted computing base and Programming paradigm. His research on Distributed computing also deals with topics like

  • Control and related Cloud computing security,
  • Overhead that intertwine with fields like Undecidable problem, Exponential number, Speedup and Persistent data structure.

Between 2014 and 2021, his most popular works were:

  • Precise, dynamic information flow for database-backed applications (36 citations)
  • Faceted Dynamic Information Flow via Control and Data Monads (17 citations)
  • Array Shadow State Compression for Precise Dynamic Race Detection (T) (15 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Object-oriented programming

Concurrency, Correctness, Implementation, Distributed computing and Haskell are his primary areas of study. In his study, Real-time computing is strongly linked to Heap, which falls under the umbrella field of Concurrency. His work carried out in the field of Correctness brings together such families of science as Java, Software and Computer engineering.

Cormac Flanagan combines subjects such as Python, Relational database, Database, Web application framework and Programming paradigm with his study of Implementation. His Distributed computing research focuses on Persistent data structure and how it relates to JavaScript and Information flow. Part of his project on Haskell includes research on Programming language and Theoretical computer science.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Extended static checking for Java

Cormac Flanagan;K. Rustan M. Leino;Mark Lillibridge;Greg Nelson.
programming language design and implementation (2002)

1838 Citations

Dynamic partial-order reduction for model checking software

Cormac Flanagan;Patrice Godefroid.
symposium on principles of programming languages (2005)

795 Citations

FastTrack: efficient and precise dynamic race detection

Cormac Flanagan;Stephen N. Freund.
programming language design and implementation (2009)

747 Citations

The essence of compiling with continuations

Cormac Flanagan;Amr Sabry;Bruce F. Duba;Matthias Felleisen.
programming language design and implementation (1993)

678 Citations

Type-based race detection for Java

Cormac Flanagan;Stephen N. Freund.
programming language design and implementation (2000)

544 Citations

Atomizer: a dynamic atomicity checker for multithreaded programs

Cormac Flanagan;Stephen N. Freund.
symposium on principles of programming languages (2004)

496 Citations

A type and effect system for atomicity

Cormac Flanagan;Shaz Qadeer.
programming language design and implementation (2003)

482 Citations

Houdini, an Annotation Assistant for ESC/Java

Cormac Flanagan;K. Rustan M. Leino.
formal methods (2001)

475 Citations

Predicate abstraction for software verification

Cormac Flanagan;Shaz Qadeer.
symposium on principles of programming languages (2002)

374 Citations

DrScheme: a programming environment for Scheme

Robert Bruce Findler;John Clements;Cormac Flanagan;Matthew Flatt.
Journal of Functional Programming (2002)

315 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Cormac Flanagan

Matthias Felleisen

Matthias Felleisen

Northeastern University

Publications: 72

Shaz Qadeer

Shaz Qadeer

Facebook (United States)

Publications: 59

Shriram Krishnamurthi

Shriram Krishnamurthi

Brown University

Publications: 54

Ranjit Jhala

Ranjit Jhala

University of California, San Diego

Publications: 52

K. Rustan M. Leino

K. Rustan M. Leino

Amazon Web Services

Publications: 46

Shuvendu K. Lahiri

Shuvendu K. Lahiri

Microsoft (United States)

Publications: 46

Martin Rinard

Martin Rinard

MIT

Publications: 45

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 44

Chao Wang

Chao Wang

Chinese Academy of Sciences

Publications: 43

Robert Bruce Findler

Robert Bruce Findler

Northwestern University

Publications: 40

Ganesh Gopalakrishnan

Ganesh Gopalakrishnan

University of Utah

Publications: 40

Frank Piessens

Frank Piessens

KU Leuven

Publications: 38

Wolfram Schulte

Wolfram Schulte

Microsoft (United States)

Publications: 38

Michael D. Ernst

Michael D. Ernst

University of Washington

Publications: 38

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 38

Mooly Sagiv

Mooly Sagiv

Tel Aviv University

Publications: 34

Something went wrong. Please try again later.