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