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

Not registered as user yet

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

Contributions

VMCAI 2023 Committee Member in Program Committee within the VMCAI 2023-track
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
ICSE 2020 Author of Code Level Model-Checking in the Software Development Workflow within the 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
SPLASH 2017 Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track

Share
xMon 27 Mar 00:02
using conf.researchr.org (v1.59.1)
Support page
Sign Up