Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stephen Magill
conf.researchr.org general profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2022 profile
POPL 2017 profile
POPL 2018 profile
SPLASH 2012 profile
Registered user since Thu 15 Dec 2016
Name:
Stephen Magill
Contributions
Infer 2022
Author of Infer in the cloud: An Overview of Infer Usage via Sonatype Lift within the Infer 2022-track
PLDI 2019
Author of An Inductive Synthesis Framework for Verifiable Reinforcement Learning within the PLDI Research Papers-track
PLDI 2018
Author of A Data-Driven CHC Solver within the PLDI Research Papers-track
POPL 2018
Committee Member in Selection Committee within the Student Research Competition-track
Off the Beaten Track 2017
Author of Laziness Boxes You In within the OBT-track
SPLASH 2012
Author of Automating object transformations for dynamic software updating within the OOPSLA Research Papers-track
Share
x
Tue 31 Jan 10:48