Daniel Schwartz-Narbonne
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2011–2022
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICSE | Verifying Dynamic Trait Objects in Rust. | Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson |
| 2020 | ICSE | Code-level model checking in the software development workflow. | Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle |
| 2016 | FM | Error Invariants for Concurrent Traces. | Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies |
| 2015 | ICSE | VERMEER: A Tool for Tracing and Explaining Faulty C Programs. | Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schf, Thomas Wies |
| 2014 | SCAM | Concolic Fault Localization. | Chanseok Oh, Martin Schf, Daniel Schwartz-Narbonne, Thomas Wies |
| 2012 | ATVA | Parallel Assertions for Architectures with Weak Memory Models. | Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik |
| 2012 | CAV | passert: A Tool for Debugging Parallel Programs. | Daniel Schwartz-Narbonne, Feng Liu, David I. August, Sharad Malik |
| 2012 | DAC | Specification and synthesis of hardware checkpointing and rollback mechanisms. | Carven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik |
| 2011 | MEMOCODE | Parallel assertions for debugging parallel programs. | Daniel Schwartz-Narbonne, Feng Liu, Tarun Pondicherry, David I. August, Sharad Malik |