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 2022	Committee Member in SRC Reviewers within the SRC-track
PLDI 2021	Committee Member in Program Committee within the PLDI-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
PLDI 2019	PLDI Steering Committee Chair in Steering Committee
ETAPS 2019	Author of Towards Efficient and Precise Concurrent Software Analysis within the Keynotes-track
‹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
PX/19	Author of IDVE: an Integrated Development and Verification Environment for JavaScript within the PX/19-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
PLDI 2018	Steering Committee Chair in Steering Committee Session Chair of Keynote (part of PLDI Invited Speakers)
FTfJP 2017	Author of Correctness of Partial Escape Analysis for Multithreading Optimization within the FTfJP 2017-track
PLDI 2017	Author of BigFoot: Static Check Placement for Dynamic Race Detection within the PLDI Research Papers-track Chair in Steering Committee
POPL 2017	ERC member in External Review Committee within the POPL-track
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
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
CROW 2016	Author of Reactive Programming with Reactive Variables within the CROW 2016-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