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
2023
VMCAI
Committee Member in Program Committee within the VMCAI 2023-track
2022
ICSE
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
2020
ICSE
Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
VMCAI
PC Member in Program Committee within the VMCAI 2020-track
2019
VMCAI
Committee Member in Program Committee within the VMCAI 2019-track
2017
SPLASH
Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track
Share
x
Tue 5 Nov 19:27