Daniel Schwartz-Narbonne

According to our database, Daniel Schwartz-Narbonne authored at least 16 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Verifying Dynamic Trait Objects in Rust.

Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

Code-level model checking in the software development workflow at Amazon Web Services.

Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Softw. Pract. Exp., 2021

2020

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

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2018

SideTrail: Verifying Time-Balancing of Cryptosystems.

Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCárthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2017

A solver-aided language for test input generation.

Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran

Proc. ACM Program. Lang., 2017

2016

Error Invariants for Concurrent Traces.

Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies

Proceedings of the FM 2016: Formal Methods, 2016

2015

Conflict-Directed Graph Coverage.

Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

VERMEER: A Tool for Tracing and Explaining Faulty C Programs.

Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Concolic Fault Localization.

Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

2013

Explaining inconsistent code.

Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

Parameterized Model Checking of Fine Grained Concurrency.

Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Specification and synthesis of hardware checkpointing and rollback mechanisms.

Carven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

passert: A Tool for Debugging Parallel Programs.

Daniel Schwartz-Narbonne, Feng Liu, David I. August, Sharad Malik

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Parallel Assertions for Architectures with Weak Memory Models.

Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Parallel assertions for debugging parallel programs.

Daniel Schwartz-Narbonne, Feng Liu, Tarun Pondicherry, David I. August, Sharad Malik

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2009

Supporting RTL flow compatibility in a microarchitecture-level design framework.

Daniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik

Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009