conf.researchr.org / Stephen Magill

Registered user since Thu 15 Dec 2016

Name: Stephen Magill

Contributions

PLDI 2019Author of An Inductive Synthesis Framework for Verifiable Reinforcement Learning within the PLDI Research Papers-track
PLDI 2018Author of A Data-Driven CHC Solver within the PLDI Research Papers-track
POPL 2018Committee Member in Selection Committee within the Student Research Competition-track
Off the Beaten Track 2017Author of Laziness Boxes You In within the OBT-track
SPLASH 2012Author of Automating object transformations for dynamic software updating within the OOPSLA Research Papers-track