Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stephen McCamant
conf.researchr.org general profile
ASE 2021 profile
ECOOP 2015 profile
ECOOP and ISSTA 2018 profile
ESEC/FSE 2018 profile
ESEC/FSE 2020 profile
ICSE 2020 profile
ICSE 2022 profile
ISSTA 2017 profile
PLDI 2016 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
VEE 2018 profile
Not registered as user yet
Name:
Stephen McCamant
Affiliation:
University of Minnesota, USA
Personal website:
http://www-users.cs.umn.edu/~mccamant/
Contributions
FormaliSE 2022
Author of Counterexample-Guided Inductive Repair of Reactive Contracts within the FormaliSE 2022-track
ASE 2021
Author of Counterexample Guided Inductive Repair of Reactive Contracts within the Late Breaking Results-track
ESEC/FSE 2020
Author of Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java within the Research Papers-track
ICSE 2020
Committee Member in Program Committee within the New Ideas and Emerging Results-track
ESEC/FSE 2018
Author of Contract Discovery from Black-Box Components within the WASPI-track
TAV-CPS/IoT 2018
Committee Member in Program Committee within the TAV-CPS/IoT-track
VEE 2018
Author of Fast PokeEMU: Scaling Generated Instruction Tests Using Aggregation and State Chaining within the Research Papers-track
ISSTA 2017
Author of Discovering Instructions for Robust Binary-Level Coverage Criteria within the TECPS-track
Author of Invited Talk: Symbolic Execution as a Flexible Tool for Binary Analysis within the TECPS-track
Session Chair of Session 3 (part of TECPS)
PLDI 2017
Committee Member in External Review Committee
PLDI 2016
Session Chair of Down to the Metal I (part of Research Papers)
Committee Member in Program Committee
PLAS 2015
Committee Member in Program Committee within the PLAS-track
Share
x
Mon 30 Jan 18:44