James Koppel -

Registered user since Wed 16 May 2018

Name:James Koppel

Affiliation:Massachusetts Institute of Technology, USA

Personal website:www.jameskoppel.com

Research interests:Software language engineering, program transformation, generic programming, causal inference

Contributions

Haskell 2022	Session Chair of Embedded DSLs (part of Haskell 2022) Committee Member in Program Committee within the Haskell 2022-track
EGRAPHS 2022	Author of E-Graphs, VSAs, and Tree Automata: a Rosetta Stone within the EGRAPHS 2022-track Author of ECTAs: E-Graphs Better (at Encoding) within the EGRAPHS 2022-track
ICFP 2022	Author of Searching Entangled Program Spaces within the ICFP Papers and Events-track Author of Automatically Deriving Control-Flow Graph Generators From Operational Semantics within the ICFP Papers and Events-track
HOPE 2021	Author of Dynamic Scope + Laziness = Counterfactuals within the HOPE 2021-track
SPLASH 2021	Author of Semantic Code Search via Equational Reasoning within the SIGPLAN Papers-track Session Chair of PLDI 2021, PLDI 2020, and OOPSLA 2020 Papers 1 (part of SIGPLAN Papers) Author of Demystifying Dependence within the SIGPLAN Papers-track
SPLASH 2020	Author of Demystifying Dependence within the Onward! Papers-track Mentor in Mentors within the PLMW-track Author of Demystifying Dependence within the Posters-track
ICFP 2020	Presenter of Building Multi-Language Tools with Cubix within the Tutorials-track
PLDI 2020	Author of Semantic Code Search via Equational Reasoning within the PLDI Research Papers-track
PLATEAU 2018	Author of One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview within the PLATEAU 2018-track
SPLASH 2018	Author of One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax within the Artifacts-track Author of One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax within the OOPSLA-track Author of One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax within the Posters-track
ICFP 2018	Author of Capturing the Future by Replaying the Past (Functional Pearl) within the Research Papers-track
SPLASH 2017	Author of QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge within the Posters-track Author of Incremental Parametric Syntax for Multi-Language Transformation within the Posters-track