Stephen McCamant -

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