Daniel Schwartz-Narbonne

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 9

Top Topics

Reactive Systems

Fault Localization

Artifact Centric

Top Venues

Proc. ACM Program. Lang.

Publications

Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson
Verifying Dynamic Trait Objects in Rust. ICSE (SEIP) (2022)
Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow at Amazon Web Services. Softw. Pract. Exp. 51 (4) (2021)
Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow. ICSE (SEIP) (2020)
Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCárthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran
SideTrail: Verifying Time-Balancing of Cryptosystems. VSTTE (2018)
Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran
A solver-aided language for test input generation. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Error Invariants for Concurrent Traces. CoRR (2016)
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Error Invariants for Concurrent Traces. FM (2016)
Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies
VERMEER: A Tool for Tracing and Explaining Faulty C Programs. ICSE (2) (2015)
Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies
Conflict-Directed Graph Coverage. NFM (2015)
Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
Concolic Fault Localization. SCAM (2014)
Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
Explaining inconsistent code. ESEC/SIGSOFT FSE (2013)
Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik
Parallel Assertions for Architectures with Weak Memory Models. ATVA (2012)
Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik
Parameterized Model Checking of Fine Grained Concurrency. SPIN (2012)
Daniel Schwartz-Narbonne, Feng Liu, David I. August, Sharad Malik
passert: A Tool for Debugging Parallel Programs. CAV (2012)
Carven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik
Specification and synthesis of hardware checkpointing and rollback mechanisms. DAC (2012)
Daniel Schwartz-Narbonne, Feng Liu, Tarun Pondicherry, David I. August, Sharad Malik
Parallel assertions for debugging parallel programs. MEMOCODE (2011)
Daniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik
Supporting RTL flow compatibility in a microarchitecture-level design framework. CODES+ISSS (2009)