Daniel Schwartz-Narbonne -

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