PLDI

• Committee Member in PLDI Review Committee within the PLDI Research Papers-track

POPL

• Author of Stateful Differential Operators for Incremental Computing within the POPL-track

PEPM

• Committee Member in Program Committee within the PEPM 2026-track

RTFM

• Panelist of Panel: Work-life balance, service, and teaching within the RTFM: Read the Faculty Manual-track

SPLASH

• Associate Chair in OOPSLA Review Committee within the OOPSLA-track

ECOOP

• Committee Member in Programme Committee within the Technical Papers-track
• Author of Mono Types — First-Class Containers for Datalog within the Technical Papers-track
• Author of Incremental Computing by Differential Execution within the Technical Papers-track
• Session Chair of Object-Oriented and Dynamic Systems (part of Technical Papers)

GPCE

• Author of Retrofitting a Virtual Instrument DSL with Programming Abstractions within the GPCE-track
• Committee Member in Steering Committee within the GPCE-track
• General Co-Chair in Organizing Committee within the GPCE-track

DEBT

• Keynote Speaker of Keynote: Live feedback through incremental program analysis within the DEBT 2025-track

CoqPL

• Author of A Framework of Differential Operators within the CoqPL 2025-track

GPCE

• Committee Member in Steering Committee within the GPCE 2024-track
• Author of Separate Compilation and Partial Linking: Modules for Datalog IR within the GPCE 2024-track
• Author in Program Committee within the GPCE 2024-track

SPLASH

• Author of SIGPLAN-M Introduction within the PLMW-track
• Author of Object-Oriented Fixpoint Programming with Datalog within the OOPSLA 2024-track
• Author of AUTOINC: Incrementality for Free within the Posters-track
• Author of A Typed Multi-Level Datalog IR and its Compiler Framework within the OOPSLA 2024-track
• Author of SIGPLAN-M lunch within the DEI Activities-track

Unsound

• Author of Taming Unsoundness with Gradual Abstract Interpretation within the UNSOUND 2024-track

FTfJP

• Author of Abstract Interpretation of Java Bytecode in Sturdy within the FTfJP 2024-track

ECOOP

• Committee Member in Program Committee within the Technical Papers-track

‹Programming›

• Committee Member in Program Committee within the Research Papers-track

GPCE

• Session Chair of GPCE Tutorial (part of GPCE 2023)
• Committee Member in Program Committee within the GPCE 2023-track

SLE

• Author of GPCE/SLE Awards within the SLE 2023-track

SPLASH

• Author of Interactive Debugging of Datalog Programs within the OOPSLA-track
• Session Chair of effect systems (part of OOPSLA)
• Session Chair of language semantics (part of OOPSLA)
• PC Member in OOPSLA Review Committee within the OOPSLA-track

ICFP

• Author of Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters within the ICFP Papers and Events-track
• Author of Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters within the Artifact Evaluation-track
• Committee Member in Program Committee within the ICFP Papers and Events-track

ECOOP

• Workshops Co-Chair in Organizing Committee
• Author of Modular Abstract Definitional Interpreters for WebAssembly within the Research Papers-track

ECOOP/ISSTA

• Workshops Co-Chair in Chairs within the Workshops-track

ISSTA

• Workshops Co-Chair in Organizing Committee

EVCS

• Author of On Solving Solved Problems within the Eelco Visser Commemorative Symposium-track

CC

• Committee Member in Program Committee within the Research Papers-track

GPCE

• Author of Incremental Processing of Structured Data in Datalog within the GPCE -track
• Steering Committee Chair in Steering Committee within the GPCE -track

ECOOP

• Committee Member in Academic Panel within the Doctoral Symposium-track
• Author of Functional Programming with Datalog within the Research Papers-track
• Committee Member in Organizing Committee within the Doctoral Symposium-track
• Panelist of Software verification/program analysis within the Expert Discussion-track
• Committee Member in Program Committee within the Research Papers-track
• Doctoral Symposium Co-Chair in Organizers

PAW

• Committee Member in Organizing Committee within the PAW 2022-track
• Committee Member in Program Committee within the PAW 2022-track
• Author of A Modular Static Analysis Platform for WebAssembly within the PAW 2022-track

‹Programming›

• Committee Member in Research Papers within the Research Papers-track

GPCE

• Committee Member in Program Committee within the GPCE-track
• Steering Committee Chair in Steering Committee within the GPCE-track

ICFP

• Author of Persistent Software Transactional Memory in Haskell within the Research Papers-track

ECOOP

• Posters Co-Chair in Organizing Committee

ECOOP/ISSTA

• Posters Committee Co-Chair in Posters Committee within the Posters-track
• Co-chair of Specification and Implementation of Type Systems within the Discussions with Experts-track
• Session Chair of Specification and Implementation of Type Systems (part of Discussions with Experts)
• Posters Co-Chair in Organizing Committee

ISSTA

• Posters Co-Chair in Organizing Comittee

PLDI

• Author of Concise, Type-Safe, and Efficient Structural Diffing within the PLDI-track
• Author of Incremental Whole-Program Analysis in Datalog with Lattices within the PLDI-track

BAPL

• Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track

SPLASH

• Author of A Systematic Approach to Deriving Incremental Type Checkers within the OOPSLA-track

GPCE

• Vice-Chair in Steering Committee within the GPCE-track

SLE

• Committee Member in Program Committee within the SLE-track

ECOOP

• Committee Member in Program Committee within the Research Papers-track

ICFP

• Committee Member in External Review Committee within the ICFP Program-track

VMCAI

• Author of A Systematic Approach to Abstract Interpretation of Program Transformations within the VMCAI 2020-track

SPLASH

• Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA-track
• Author of Sound and Reusable Components for Abstract Interpretation within the Posters-track
• Committee Member in Review Committee within the OOPSLA-track
• Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track
• Author of Vision Paper: Generating Incremental Type Services within the Posters-track
• Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA Artifacts-track
• Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track

GPCE

• Committee Member in Program Committee within the GPCE 2019-track

Incremental Computing

• Author of Generating Incremental Type Services within the IC 2019-track
• Author of Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog within the IC 2019-track
• Author of Precise, Efficient, and Expressive Incremental Build Scripts with PIE within the IC 2019-track
• Committee Member in Organizing Committee within the IC 2019-track

SLE

• Author of Vision Paper: Generating Incremental Type Services within the SLE 2019-track

ICFP

• Committee Member in External Review Committee within the Research Papers-track

ECOOP

• Session Chair of Domain Specific Languages (part of Research Papers)
• Workshops Co-Chair in Organizing Committee within the Workshops-track
• Workshops Co-Chair in Organizing Committee

Scala

• Steering Committee Member in Steering Committee within the Scala 2019-track

PLNL

• Author of Sound and Reusable Components for Abstract Interpretation within the PLNL-track

SLE

• Committee Member in Program Committee within the SLE 2018-track
• Author of Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages within the SLE 2018-track

SLEBoK

• Committee Member in Program Committee within the SLEBoK 2018-track

SPLASH

• Speaker in Speakers within the SPLASH-I-track
• Author of Incrementalizing Lattice-Based Program Analyses in Datalog within the OOPSLA-track
• Author of Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages within the Posters-track
• Author of Better living through incrementality: Immediate static analysis feedback without loss of precision within the SPLASH-I-track
• Author of Incrementalizing Lattice-Based Program Analyses within the Artifacts-track

GPCE

• Session Chair of IV (part of GPCE 2018)
• Committee Member in Program Committee within the GPCE 2018-track

ICFP

• Scala Symposium General Chair in Organizing Committee
• Author of Versatile Event Correlation with Algebraic Effects within the Research Papers-track
• Author of Compositional Soundness Proofs of Abstract Interpreters within the Research Papers-track

Scala

• General Chair in Organizing Committee within the Scala 2018-track
• Session Chair of Session 3: DSLs & Sponsor Talk (part of Scala 2018)

FTfJP

• Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track

DPA

• Author of IncAL - Incrementalizing Lattice-Based Program Analyses within the DPA-track

ECOOP/ISSTA

• Mentor in Mentors within the Summer School-track
• Author of Incrementalizing Lattice-Based Program Analyses within the Posters-track

CurryOn

• Author of Better living through incrementality: Immediate static analysis feedback without loss of precision within the Curry On Talks-track

ICSE

• Committee Member in Program Committee within the NIER - New Ideas and Emerging Results -track

‹Programming›

• Author of PIE: A Domain-Specific Language for Interactive Software Development Pipelines within the Research Papers-track

META

• Author of Toward Abstract Interpretation of Program Transformations within the Meta 2017-track
• Session Chair of Metaprogramming and Domain Specific Languages (part of Meta 2017)
• Committee Member in Program Committee within the Meta 2017-track

SPLASH

• Committee Member in Program Committee within the Workshops-track

GPCE

• Author of Awards within the GPCE 2017-track
• Program Chair in Program Committee within the GPCE 2017-track
• Author of Opening within the GPCE 2017-track
• Program Chair in Organizing Committee within the GPCE 2017-track

ECOOP

• Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track

Incremental Computing

• Author of IncAL: A DSL for Incremental Program Analysis with Lattices within the IC 2017-track
• Committee Member in Organizing Committee within the IC 2017-track
• Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track

‹Programming›

• Author of A Module-System Discipline for Model-Driven Software Development within the Research Papers-track

PEPM

• Committee Member in Programme Committee within the PEPM 2017-track
• Committee Member in Programme Committee

LWC@SLE

• Committee Member in Program Committee within the LWC-track
• Author of Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench within the LWC-track

SPLASH

• Session Chair of Typing, in Practice (part of OOPSLA)
• Session Chair of Poster Reception Monday (part of Posters)
• Posters Co-Chair in Organizing Committee
• Session Chair of Poster Reception Wednesday (part of Posters)
• Posters Co-Chair in Organizing Committee within the Posters-track
• Session Chair of Session 5 (part of SPLASH-I)

GPCE

• Author of Bootstrapping Domain-Specific Meta-Languages in Language Workbenches within the GPCE-track
• Committee Member in Program Committee within the GPCE-track

SLE

• Author of Efficient Development of Consistent Projectional Editors using Grammar Cells within the SLE-track
• Author of Principled Syntactic Code Completion using Placeholders within the SLE-track
• Author of The IDE Portability Problem and Its Solution in Monto within the SLE-track

Scala

• Committee Member in Program Committee within the Scala-track

ECOOP

• Session Chair of Session 4 (part of Research Track)
• Committee Member in Program Committee within the Research Track-track
• Invited Speaker in Invited Speakers within the Doctoral Symposium-track
• Invited Speaker of Invited Talk: PhD Reflections within the Doctoral Symposium-track

LIVE

• Author of Towards Live Language Development within the LIVE-track

OOPSLA-PC

• Session Chair of Session 4 (part of Workshop)

Modularity

• Author of CPL: A Core Language for Cloud Computing within the Research Results-track

Language Modularity à La Mode

• Committee Member in Program Committee within the Language Modularity-track

POPL

• Author of Sound Type-dependent Syntactic Language Extension within the Research Papers-track

PEPM

• Invited Speaker of Invited Talk: Automated Reasoning about Type Systems by Compilation to First-Order Logic within the Invited Talks-track
• Session Chair of Domain-Specific Languages II (part of PEPM)

SPLASH

• Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track
• Author of Toward Incremental Type Checking for Java within the Posters-track
• Author of A Sound and Optimal Incremental Build System with Dynamic Dependencies within the OOPSLA-track
• Author of A Sound and Optimal Incremental Build System within the OOPSLA Artifacts-track

Onward!

• Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track
• Author of Towards Secure Integration of Cryptographic Software within the Onward! Papers-track

SLE

• Author of Modular Capture Avoidance for Program Transformations within the SLE-track
• Committee Member in Program Committee within the SLE-track

DSLDI

• Session Chair of Welcome (part of DSLDI)
• Program Chair in Program Committee within the DSLDI-track
• Panelist of Panel Discussion: Language Composition within the DSLDI-track
• Author of Introduction within the DSLDI-track

SPLASH

• Author of i3QL: Language-Integrated Live Data Views within the OOPSLA-track
• Presenter of i3QL: Language-Integrated Live Data Views within the OOPSLA Artifacts-track

Onward!

• Session Chair of Session the First (part of Onward! Papers)
• Committee Member in Program Committee within the Onward! Papers-track

PLATEAU

• Committee Member in Program Committee within the PLATEAU-track

DSLDI

• Committee Member in Organizing Committee
• Program Chair in Organizers within the DSLDI-track

GPCE

• Author of A Framework for Extensible Languages within the Research Papers-track
• Committee Member in Program Committee within the Research Papers-track
• Author of Template Constructors for Reusable Object Initialization within the Research Papers-track

SLE

• Author of Software Evolution to Domain-Specific Languages within the Research Papers-track
• Author of The State of the Art in Language Workbenches within the Research Papers-track

SPLASH

SPLASH

• Author of A variability-aware module system within the OOPSLA Research Papers-track

SPLASH

• Author of Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation within the OOPSLA-track
• Presenter of SugarJ: Library-based Language Extensibility within the Posters-track
• Author of SugarJ: Library-based Syntactic Language Extensibility within the OOPSLA-track