Cormac Flanagan

Registered user since Wed 6 Jul 2016

Name: Cormac Flanagan

Country: Ireland

Affiliation: University of California, Santa Cruz

Personal website: http://users.soe.ucsc.edu/~cormac/

Research interests: Programming Languages, Security

Contributions

PLDI 2020Author in Steering Committee
PX/19Author of IDVE: an Integrated Development and Verification Environment for JavaScript within the PX/19-track
ETAPS 2019Author of Towards Efficient and Precise Concurrent Software Analysis within the Keynotes-track
PLDI 2019PLDI Steering Committee Chair in Steering Committee
‹Programming› 2019Author of IDVE: an Integrated Development and Verification Environment for JavaScript within the Posters-track
Author of Static Verification of JavaScript: IDE Support for Debugging Verification Issues within the Demos-track
SPLASH 2018Author of Secure Serverless Computing Using Dynamic Information Flow Control within the OOPSLA-track
Author of Secure Serverless Computing Using Dynamic Information Flow Control within the Posters-track
FTfJP 2017Author of Correctness of Partial Escape Analysis for Multithreading Optimization within the FTfJP 2017-track
PLDI 2018Steering Committee Chair in Steering Committee
Session Chair of Keynote (part of PLDI Invited Speakers)
META 2016Author of Virtual Values for Taint and Information Flow Analysis within the Meta 2016-track
LIVE 2016Author of Live Programming by Example: Using Direct Manipulation for Live Program Synthesis within the LIVE-track
POPL 2017ERC member in External Review Committee within the POPL-track
CROW 2016Author of Reactive Programming with Reactive Variables within the CROW 2016-track
PLDI 2017Author of BigFoot: Static Check Placement for Dynamic Race Detection within the PLDI Research Papers-track
Chair in Steering Committee
PLDI 2016Committee Member in Distinguished Paper Committee
Committee Member in External Program Committee
Author of Precise, Dynamic Information Flow for Database-Backed Applications within the Research Papers-track
REBLS 2015Author of Live Programming for Event-Based Languages within the REBLS-track
STOP 2015Author of Contracts for Async Patterns in JavaScript within the STOP-track
Author of A Light-Weight Effect System for JavaScript within the STOP-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
DLSPresenter of Sweeten Your JavaScript: Hygienic Macros for ES5 within the DLS-track
Presenter of Dynamic Detection of Object Capability Violations Through Model Checking within the DLS-track
SPLASH 2012Committee Member in External Reviewers within the OOPSLA Research Papers-track