Daniel Schwartz-Narbonne

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