• Sign in
  • Sign up
conf.researchr.org / Stephen McCamant
  • 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
xSun 5 Feb 02:53
using conf.researchr.org (v1.58.0)
Support page
Sign Up