SPLASH 2021 | Committee Member in Steering Committee |
CC 2021 | Committee Member in Program Committee within the CC Research Papers-track Session Chair of Safety & Correctness (part of CC Research Papers) |
META'20 | PC Member in Program Committee within the META'20-track |
SySEPL 2020 | Co-chair in Organizing Committee within the SySEPL 2020-track |
POPL 2021 | Author of Formally Verified Speculation and Deoptimization in a JIT Compiler within the POPL-track |
ECOOP and ISSTA 2021 | Co-chair in REBASE within the REBASE-track |
DLS 2020 | Author of Sampling Optimized Code for Type Feedback within the DLS 2020-track |
ECOOP 2020 | Workshops Co-Chair in Organizing Committee Co-chair in Chairs within the Workshops-track Committee Member in Program Committee within the Research Papers-track |
SPLASH 2020 | Session Chair of R-5 (part of OOPSLA) Author of Designing Types for R, Empirically within the OOPSLA Artifacts-track Author of Designing Types for R, Empirically within the OOPSLA-track Mentor in Mentors within the PLMW-track Author of Contextual Dispatch for Function Specialization within the OOPSLA-track Committee Member in Onward! Steering Committee within the Onward! Papers-track Session Chair of W-4 (part of OOPSLA) Co-chair in REBASE Berlin within the REBASE-track Committee Member in Onward! Steering Committee within the Onward! Essays-track Virtualization Co-Chair in Organizing Committee Author of Contextual Dispatch for Function Specialization within the OOPSLA Artifacts-track Author of World Age in Julia: Optimizing Method Dispatch in the Presence of Eval within the OOPSLA-track Committee Member in Steering Committee Keynote Speaker of Fitzcarraldo — or How to Hack Academia to Build Stuff within the Keynotes-track Session Chair of W-6 (part of OOPSLA) |
PLDI 2020 | Session Chair of Session 16 (part of Ask Me Anything) |
VMIL 2019 | Committee Member in Program Committee within the VMIL 2019-track |
META 2019 | Keynote Speaker of Meta-programming in Data Science within the META 2019-track |
ICOOOLPS 2019 | Author of Towards a Type System for R within the ICOOOLPS 2019-track |
DLS 2019 | Author of R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments within the DLS 2019-track |
MPLR 2019 | Author of Adversarial Compilation within the MPLR 2019-track |
Onward! 2019 | |
VEE 2019 | Committee Member in Program Committee within the Research Papers-track |
SPLASH 2019 | Author of On the Design, Implementation, and Use of Laziness in R within the OOPSLA-track Chair in Artifact Evaluation Committee within the OOPSLA Artifacts-track OOPSLA Artifact Evaluation Chair in Organizing Committee Author of Scala Implicits are Everywhere within the OOPSLA Artifacts-track Session Chair of Analysis (part of OOPSLA) Committee Member in Onward! Steering Committee within the Onward! Essays-track Author of Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild within the OOPSLA-track Author of On the Impact of Programming Languages on Code Quality within the OOPSLA-track Author of On The Design, Implementation and Use of Laziness in R within the OOPSLA Artifacts-track Steering Committee Member in Steering Committee Author in Onward! Steering Committee within the Onward! Papers-track |
ECOOP 2019 | Committee Member in Organization Committee within the Curry On-track Author of On Julia’s efficient algorithm for subtyping union types and covariant tuples within the Artifacts-track Summer School Co-Chair in Organizing Committee Contributor/Author of A tribute to Laurie Hendren within the Research Papers-track Session Chair of Summer School M1 (part of Summer School) Author of Getting everything wrong without doing anything right! On the perils of large-scale analysis of Github data within the Curry On-track Author of Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples within the Research Papers-track |
CurryOn 2018 | Author of Opening Remarks within the Curry On Keynotes-track Committee Member in Organizing Committee |
WoSSCA 2018 | Comfy Chair in Organizing Committee within the WoSSCA 2018-track Organizer in Attendees within the WoSSCA 2018-track Session Chair of WoSSCA 3 (part of WoSSCA 2018) |
GRACE 2018 | Committee Member in Program Committee within the GRACE 2018-track |
PLATEAU 2018 | Author of Julia: Dynamism and Performance Reconciled by Design - Preview within the PLATEAU 2018-track |
ETAPS 2019 | Comfy Chair in Organizing Committee within the Mooly Fest-track Committee Member in Steering Committee Comfy Chair in Organizers within the Mentoring Workshop-track Author of ETAPS Steering committee meeting within the Social-track Author of Do programming languages matter for correctness of code? A reproduction study within the Mentoring Workshop-track General Chair in Organizing Committee Author of Opening within the Social-track |
FTfJP 2018 | Author of Monotonic Gradual Typing in a Common Calculus within the FTfJP-track |
NJR 2018 | Author of Analyzing Code Repositories: A Case Study in Reproducibility within the NJR-track |
SALAD 2018 | Session Chair of SALAD 3 (part of SALAD) Co-chair in Organizing Committee within the SALAD-track |
BenchWork 2018 | Author of Building a Node.js Benchmark: Initial Steps within the BenchWork-track Author of Analyzing Duplication in JavaScript within the BenchWork-track |
DLS 2018 | Author of Self-Contained Development Environments within the DLS 2018-track |
Onward! 2018 | Steering Committee Member in Steering Committee |
SPLASH 2018 | Author of Julia Subtyping: a Rational Reconstruction within the Artifacts-track Author of Julia Subtyping: a Rational Reconstruction within the OOPSLA-track Author of Julia: Dynamism and Performance Reconciled by Design within the OOPSLA-track Comfy Chair in Organizing Committee Chair in Artifact Evaluation Committee within the Artifacts-track Committee Member in Organizing Committee within the PLMW-track Comfy Chair in Organizers within the SPLASH-I-track Chair in Mentors within the Breakfasts-track |
VEE 2018 | Committee Member in Program Committee within the Research Papers-track |
ICOOOLPS 2017 | Committee Member in Program Committee within the ICOOOLPS 2017-track |
ARRAY 2017 | Committee Member in Program Committee within the ARRAY 2017-track |
DLS 2017 | Committee Member in Program Committee within the DLS 2017-track |
POPL 2018 | Committee Member in Steering Committee Author of Correctness of Speculative Optimizations with Dynamic Deoptimization within the Research Papers-track |
RUMPLE 2016 | Committee Member in Program Committee within the RUMPLE-track |
NOOL 2016 | Author of Static Typing Without Static Types - Typing Inheritance from the Bottom Up within the NOOL-track |
Scala 2016 | Keynote Speaker of This is not a Type: Gradual typing in practice within the Scala-track Keynote Speaker in Keynote Speakers within the Scala-track |
OOPSLA 2016 PC Meeting | Speaker of A gradual typing throwdown within the Workshop-track |
STOP 2016 | Committee Member in Program Committee within the STOP-track Invited Speaker of Gradual types for real-world objects within the STOP-track |
ARRAY | Committee Member in Programme Committee within the ARRAY-track |
CurryOn 2016 | Committee Member in Organizing Committee Presenter of Curry On opening remarks within the CurryOn -track |
GRACE 2016 | Committee Member in Program Committee within the GRACE-track |
LCTES 2016 | Committee Member in Steering Committee |
POPL 2017 | Committee Member in Steering Committee |
TRANSACT 2016 | Committee Member in Steering Committee within the TRANSACT 2016-track |
ECOOP 2018 | Presenter of ECOOP 2019 Preview within the ECOOP Keynotes-track Comfy Chair in Organizing Committee Author of KafKa: Gradual Typing for Objects within the ECOOP Research Papers-track Summer School Co-Chair in Organizing Committee |
ISSTA 2018 | Summer School Co-Chair in Organizing Committee Author of Tests from Traces: Automated Unit Test Extraction for R within the ISSTA Technical Papers-track Author of Tests from Traces: Automated Unit Test Generation for R within the ISSTA Artifacts-track |
ECOOP and ISSTA 2018 | Session Chair of Lecture: Orso (part of Summer School) Author of Tests from Traces: Automated Unit Test Extraction for R within the Posters-track Summer School Co-Chair in Organizing Committee Session Chair of Welcome: Peyton Jones (part of Summer School) Session Chair of Lecture: Møller (part of Summer School) Session Chair of Lecture: Click (part of Summer School) Summer School Co-Chair in Organizing Committee within the Summer School-track CurryOn Co-Chair in Organizing Committee Comfy Chair in Organizing Committee |
DLS 2016 | Committee Member in Program Committee within the DLS-track |
SPLASH 2017 | Author of DéjàVu: A Map of Code Duplicates on GitHub within the OOPSLA-track Author of Invited Talk: From PHD to PROF: blind luck or careful planning? within the Doctoral Symposium-track Presenter of SPLASH 2018 within the Keynotes-track Committee Member in Invited Talks within the Doctoral Symposium-track Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track Speaker of My 25 years in OO within the PL Mentoring Workshop (PLMW)-track Speaker in PLMW Speakers within the PL Mentoring Workshop (PLMW)-track |
PLDI 2017 | Committee Member in Steering Committee |
ECOOP 2017 | Sponsorship Chair in Organizing Committee Comfy Chair in Organizers within the ECOOP Summer School-track Speaker of What You Need to Know about Performance Evaluation within the ECOOP Summer School-track Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track Comfy Chair in Organizing Committee Committee Member in Mentors within the ECOOP Summer School-track Speaker in Speakers within the ECOOP Summer School-track Author of Introduction Session within the ECOOP Summer School-track Committee Member in Program Committee within the ECOOP Research Papers-track |
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM | Comfy Chair in Organizing Committee |
* ICSE 2018 * | Author of Keynote: Engineering your software engineering research career within the DS - Doctoral Symposium -track |
ECOOP 2016 | Session Chair of Welcome Session (part of Summer School) Session Chair of Lecture 4b (part of Summer School) Session Chair of Lecture 5a (part of Summer School) Session Chair of Lecture 4a (part of Summer School) Session Chair of Lecture 3 (part of Summer School) Session Chair of Lecture 2a (part of Summer School) Committee Member in Senior Mentors within the Summer School-track Session Chair of Lecture 5b (part of Summer School) Speaker of Experimental Evaluation of Programming Systems within the Summer School-track Session Chair of Lecture 1 (part of Summer School) Speaker of My twenty-five years of ECOOP within the Summer School-track Comfy Chair in Organizing Committee Session Chair of Lecture 2b (part of Summer School) Comfy Chair in Organizing Committee within the Summer School-track |
SPLASH 2016 | Presenter of What to do at SPLASH within the PLMW-track Speaker of My Twenty-Five Years in OO within the PLMW-track Session Chair of Optimization and Performance (part of OOPSLA) Committee Member in Program Committee within the OOPSLA-track |
POPL 2016 | Author of Is Sound Gradual Typing Dead? within the Research Papers-track Committee Member in Steering Committee |
ARRAY 2015 | Organizing Committee in Program Committee within the ARRAY-track |
DLS 2015 | Committee Member in Program Committee within the DLS-track |
RIOT 2015 | Comfy Chair in Program Committee within the RIOT-track Author of Introduction within the RIOT-track |
ICOOOLPS 2015 | Committee Member in Program Committee within the ICOOOLPS-track |
( Curry On ) Prague | |
ML4PL 2015 | Comfy Chair in Organization within the ML4PL-track |
STOP 2015 | Moderator of Types for an Untyped World within the STOP-track Author of Position Paper: Performance Evaluation for Gradual Typing within the STOP-track |
ESOP 2015 | Session Chair of Session 8 (part of ESOP) Committee Member in Steering Committee Session Chair of Session 9 (part of ESOP) Session Chair of Session 1 (part of ESOP) Session Chair of Session 5 (part of ESOP) Chair in Program Committee within the ESOP-track |
SPLASH 2015 | Committee Member in Organizers within the SPLASH-I-track SPLASH-I Co-Chair in Organizing Committee SIGPLAN Chair in Steering Committee Author of Repeatability, Reproducibility and Rigor in CS Research within the PLMW-track |
PLDI 2015 | Chair of ACM SIGPLAN Townhall Meeting within the Research Papers-track Session Chair of SIGPLAN Awards Luncheon within the Research Papers-track |
ECOOP 2015 | Committee Member in Program Committee within the Posters-track Session Chair of Keynote: Meyer (part of Research Track) Author of Concrete Types for TypeScript within the Research Track-track Session Chair of Keynote: Choi (part of Research Track) Comfy Chair in Organizing Committee Author of Cooking the Books: Formalizing JMM Implementation Recipes within the Research Track-track Comfy Chair in Organizers within the Summer School-track |
DLS | Committee Member in Program Committee within the DLS-track |
SPLASH 2014 | Committee Member in Steering Committee Committee Member in Organizing Committee within the Tutorials-track |
SPLASH 2013 | Committee Member in Program Committee within the GPCE-track Author of Flexible Access Control for Javascript within the OOPSLA-track Comfy Chair in General |
SPLASH 2012 | Author of A black-box approach to understanding concurrency in DaCapo within the OOPSLA Research Papers-track Author of Eval begone!: semi-automated removal of eval from javascript programs within the OOPSLA Research Papers-track |
SPLASH 2011 | Author of Automated Construction of JavaScript Benchmarks within the OOPSLA-track |