• Sign in
  • Sign up
conf.researchr.org / Daniel Schwartz-Narbonne
  • ICSE 2020 profile
  • ICSE 2022 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2017 profile

Not registered as user yet

Name:Daniel Schwartz-Narbonne
Affiliation:Amazon, n.n.

Contributions

ICSE 2022 Author of Verifying Dynamic Trait Objects in Rust within the SEIP - Software Engineering in Practice-track
Committee Member in Program Committee within the SEIP - Software Engineering in Practice-track
VMCAI 2020 PC Member in Program Committee within the VMCAI 2020-track
VMCAI 2019 Committee Member in Program Committee within the VMCAI 2019-track
ICSE 2020 Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
SPLASH 2017 Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track

Share
xSun 22 May 04:29
using conf.researchr.org (v1.55.6)
Support page
Sign Up