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
2022
Infer
Author of Infer in the cloud: An Overview of Infer Usage via Sonatype Lift within the Infer 2022-track
2019
PLDI
Author of An Inductive Synthesis Framework for Verifiable Reinforcement Learning within the PLDI Research Papers-track
2018
PLDI
Author of A Data-Driven CHC Solver within the PLDI Research Papers-track
POPL
Committee Member in Selection Committee within the Student Research Competition-track
2017
Off the Beaten Track
Author of Laziness Boxes You In within the OBT-track
2012
SPLASH
Author of Automating object transformations for dynamic software updating within the OOPSLA Research Papers-track
Share
x
Thu 21 Nov 14:43