Michael Ballantyne

Registered user since Sat 29 Apr 2017

Name:Michael Ballantyne
Bio:

Michael Ballantyne is a PhD student at the Northeastern University Programming Research Laboratory, advised by Matthias Felleisen. He envisions a future where mainstream programmers regularly create, extend, and fluidly intermix domain-specific languages, with excellent support from their programming language and environment. Recently he’s been developing a formal characterization of macro hygiene that accounts for the full range of program transformations used in embedded DSL implementation, and also improving the type systems as macros approach to integrate macro expansion and typechecking.

Affiliation:Northeastern University
Personal website:http://mballantyne.net/
Research interests:Macro Systems, Staging, Program Synthesis

Contributions

miniKanren 2021 Committee Member in Program Committee within the miniKanren 2021-track
Session Chair of Session B (part of miniKanren 2021)
SPLASH 2020 Author of Adding Interactive Visual Syntax to Textual Code within the OOPSLA-track
Author of Macros for Domain-Specific Languages within the OOPSLA-track
Author of Macros For Domain-Specific Languages within the Posters-track
Author of Macros For Domain-Specific Languages within the OOPSLA Artifacts-track
POPL 2020 Author of Dependent Type Systems as Macros within the Research Papers-track
SPLASH 2018 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Judges within the SRC-track
ICFP 2017 Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track