conf.researchr.org / Mark Santolucito
Registered user since Thu 13 Apr 2017
Name: Mark Santolucito
Affiliation: Yale University
Personal website: http://www.marksantolucito.com
Research interests: Program Synthesis
All Activities
- Publicity Chair in Organizing Committee for FARM 2017
- Author of Synthesizing Configuration File Specifications with Association Rule Learning within the OOPSLA-track in SPLASH 2017
- Committee Member in Program Committee for ML4PL 2018
- Committee Member in Artifact Evaluation Committee for PLDI 2018
- Publicity Chair in Organizing Committee for FARM 2016
- Publicity Chair in Program Committee for FARM 2016
- Author of Version Space Learning for Verification on Temporal Differentials within the Doctoral Symposium-track in ISSTA 2017
- Author of Synthesizing Configuration File Specifications with Association Rule Learning within the Posters-track in SPLASH 2017