Mark Santolucito -

Registered user since Thu 13 Apr 2017

Name:Mark Santolucito

Country:United States

Affiliation:Barnard College, Columbia University, USA

Personal website:http://www.marksantolucito.com

Research interests:Program Synthesis

Contributions

PLDI 2022	Author of Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? within the PLDI-track
VMCAI 2022	Artifact Evaluation Chair in Organizing Committee within the VMCAI 2022-track
REBLS 2021	Committee Member in Program Committee within the REBLS 2021-track
CONFLANG 2021	Co-chair in Organizing Committee within the CONFLANG-track Author of Intra-update Sniping Vulnerabilities in Smart Contracts within the CONFLANG-track Session Chair of Languages (part of CONFLANG)
FARM 2021	Author of Human-in-the-loop Program Synthesis for Live Coding within the FARM 2021-track
APLAS 2021	Author of Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications within the Research Papers-track
SPLASH 2021	Organizing Committee of CONFLANG within the Workshops-track
TAPAS 2020	Author of Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing within the TAPAS-track
REBLS 2020	Session Chair of Session 2 (part of REBLS 2020) PC Member in Program Committee within the REBLS 2020-track
LIVE 2020	Author of Exploring Human-in-the-loop Program Synthesis with Live Coding within the LIVE 2020-track
SEConfig 2019	Author of Breakout Poster Boarding within the SEConfig 2019-track Author of HackerNews Roulette within the SEConfig 2019-track Committee Member in Organizing Committee within the SEConfig 2019-track
Haskell 2019	Author of Synthesizing Functional Reactive Programs within the Haskell 2019-track
ML4PL 2018	Committee Member in Program Committee within the ML4PL-track
PLATEAU 2018	Author of Programming by example: efficient, but not "helpful" within the PLATEAU 2018-track
FARM 2018	Author of Programming-by-Example for Audio: Synthesizing Digital Signal Processing Programs within the FARM 2018-track
SPLASH 2018	Author of Programming by example: efficient, but not "helpful" within the Posters-track
FARM 2017	Publicity Chair in Organizing Committee within the FARM 2017-track
PLDI 2018	Committee Member in Artifact Evaluation Committee
ISSTA 2017	Author of Version Space Learning for Verification on Temporal Differentials within the Doctoral Symposium-track
FARM 2016	Publicity Chair in Organizing Committee within the FARM-track Publicity Chair in Program Committee within the FARM-track
SPLASH 2017	Author of Synthesizing Configuration File Specifications with Association Rule Learning within the OOPSLA-track Author of Synthesizing Configuration File Specifications with Association Rule Learning within the Posters-track