Cormac Flanagan

Registered user since Wed 6 Jul 2016

Name: Cormac Flanagan

Affiliation: University of California at Santa Cruz

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

Research interests: Programming Languages, Security

Contributions

PLDI 2021 Committee Member in Program Committee within the PLDI Research Papers-track
SPLASH 2020 Author of The Anchor Verifier for Blocking and Non-Blocking Concurrent Software within the OOPSLA Artifacts-track
Author of The Anchor Verifier for Blocking and Non-blocking Concurrent Software within the OOPSLA-track
PLDI 2020 Committee Member in Steering Committee
PX/19 Author of IDVE: an Integrated Development and Verification Environment for JavaScript within the PX/19-track
ETAPS 2019 Author of Towards Efficient and Precise Concurrent Software Analysis within the Keynotes-track
PLDI 2019 PLDI Steering Committee Chair in Steering Committee
‹Programming› 2019 Author 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 2018 Author 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 2017 Author of Correctness of Partial Escape Analysis for Multithreading Optimization within the FTfJP 2017-track
PLDI 2018 Steering Committee Chair in Steering Committee
Session Chair of Keynote (part of PLDI Invited Speakers)
META 2016 Author of Virtual Values for Taint and Information Flow Analysis within the Meta 2016-track
LIVE 2016 Author of Live Programming by Example: Using Direct Manipulation for Live Program Synthesis within the LIVE-track
POPL 2017 ERC member in External Review Committee within the POPL-track
CROW 2016 Author of Reactive Programming with Reactive Variables within the CROW 2016-track
PLDI 2017 Author of BigFoot: Static Check Placement for Dynamic Race Detection within the PLDI Research Papers-track
Chair in Steering Committee
PLDI 2016 Committee 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 2015 Author of Live Programming for Event-Based Languages within the REBLS-track
STOP 2015 Author 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 2015 Committee Member in External Review Committee within the Research Papers-track
DLS Presenter 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 2012 Committee Member in External Reviewers within the OOPSLA Research Papers-track
SPLASH 2011 Author of Virtual Values for Language Extension within the OOPSLA-track