Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Schwartz-Narbonne
conf.researchr.org general profile
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
x
Mon 27 Mar 00:02