• Sign in
  • Sign up
conf.researchr.org / Stephen Magill
  • PLDI 2018 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI 2022 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • SPLASH 2012 profile
No Photo

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
xSat 24 May 06:34
using conf.researchr.org (v1.69.0)
Support page
Sign Up