Max Schaefer

Registered user since Fri 30 May 2014

Name:Max Schaefer
Bio:

I am a principal software engineer at GitHub, where I work on code-intelligence technology in the Office of the CTO (OCTO). Previously, I worked on static analysis for Go and JavaScript in CodeQL at Semmle, which was acquired by GitHub in 2019.

Country:United Kingdom
Affiliation:GitHub, Inc.
Research interests:program analysis, logic programming, type systems, refactoring

Contributions

SPLASH 2010
ESEC/FSE 2021 Committee Member in Program Committee within the Industry Papers-track
ECOOP 2021 Author of Enabling Additional Parallelism in Asynchronous JavaScript Applications within the ECOOP Technical Papers-track
‹Programming› 2021 Committee Member in Program Committee within the Research Papers-track
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
DPA 2019 Session Chair of Session II (part of DPA)
Author of Variant analysis with QL within the DPA-track
Committee Member in Organizing Committee within the DPA-track
Session Chair of Session III (part of DPA)
ICSE 2021 Author of Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub within the SEIP - Software Engineering in Practice-track
PLDI 2019 Organizer of Declarative Program Analysis With QL within the PLDI Tutorials-track
DPA 2018 Session Chair of Session I (part of DPA)
Committee Member in Organizing Committee within the DPA-track
Author of QL + LGTM = Declarative Program Analysis for the Masses within the DPA-track
ICSE 2020 Author of Extracting Taint Specifications for JavaScript Libraries within the Technical Papers-track
SPLASH 2018 Committee Member in Review Committee within the OOPSLA-track
Onward! 2017 Committee Member in Program Committee within the Onward! Papers-track
PLDI 2018 Committee Member in Student Research Competition Committee
JSTools 2016 Author of Fishing for JavaScript Bugs at the Shallow End within the JSTools-track
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
Onward! 2016 Committee Member in Program Committee within the Onward! Papers-track
ECOOP 2016 Author of QL: Object-oriented Queries on Relational Data within the Research Track-track
PLE 2015 Programme Committee in Programme Committee within the PLE-track
SPLASH 2014 Committee Member in Program Committee within the OOPSLA-track
SPLASH 2013 Author of Refactoring with Synthesis within the OOPSLA-track