Daniel Schwartz-Narbonne
Daniel Schwartz-Narbonne
Automated Reasoning Group, AWS
Verified email at
Cited by
Cited by
Code-level model checking in the software development workflow
N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ...
2020 IEEE/ACM 42nd International Conference on Software Engineering …, 2020
Explaining inconsistent code
M Schäf, D Schwartz-Narbonne, T Wies
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
Parallel assertions for debugging parallel programs
D Schwartz-Narbonne, F Liu, T Pondicherry, D August, S Malik
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
A solver-aided language for test input generation
T Ringer, D Grossman, D Schwartz-Narbonne, S Tasiran
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-24, 2017
Code‐level model checking in the software development workflow at Amazon web services
N Chong, B Cook, J Eidelman, K Kallas, K Khazem, FR Monteiro, ...
Software: Practice and Experience 51 (4), 772-797, 2021
Sidetrail: Verifying time-balancing of cryptosystems
K Athanasiou, B Cook, M Emmi, C MacCarthaigh, D Schwartz-Narbonne, ...
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018
Specification and synthesis of hardware checkpointing and rollback mechanisms
C Chan, D Schwartz-Narbonne, D Sethi, S Malik
Proceedings of the 49th Annual Design Automation Conference, 1226-1232, 2012
Error invariants for concurrent traces
A Holzer, D Schwartz-Narbonne, M Tabaei Befrouei, G Weissenbacher, ...
International Symposium on Formal Methods, 370-387, 2016
VERMEER: A tool for tracing and explaining faulty C programs
D Schwartz-Narbonne, C Oh, M Schäf, T Wies
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
Conflict-directed graph coverage
D Schwartz-Narbonne, M Schäf, D Jovanović, P Rümmer, T Wies
NASA Formal Methods Symposium, 327-342, 2015
Parameterized model checking of fine grained concurrency
D Sethi, M Talupur, D Schwartz-Narbonne, S Malik
International SPIN Workshop on Model Checking of Software, 208-226, 2012
Concolic fault abstraction
C Oh, M Schäf, D Schwartz-Narbonne, T Wies
2014 IEEE 14th International Working Conference on Source Code Analysis and …, 2014
Supporting RTL flow compatibility in a microarchitecture-level design framework
D Schwartz-Narbonne, C Chan, Y Mahajan, S Malik
Proceedings of the 7th IEEE/ACM international conference on Hardware …, 2009
Parallel assertions for architectures with weak memory models
D Schwartz-Narbonne, G Weissenbacher, S Malik
International Symposium on Automated Technology for Verification and …, 2012
passert: A Tool for Debugging Parallel Programs
D Schwartz-Narbonne, F Liu, D August, S Malik
International Conference on Computer Aided Verification, 751-757, 2012
Verifying dynamic trait objects in Rust
A VanHattum, D Schwartz-Narbonne, N Chong, A Sampson
Proceedings of the ICSE-SEIP (2022, to appear), 2022
Non-monotonic program analysis
D Schwartz-Narbonne, P Rümmer, M Schäf, A Tiwari, T Wies
Proceedings 2nd Workshop on Horn Clauses for Verification and Synthesis …, 2015
Assertions for debugging parallel programs
D Schwartz-Narbonne
Princeton University, 2013
D Schwartz-Narbonne, C Oh, M Schaf, T Wies
IEEE Computer Society, 2015
Context-directed graph coverage
D Schwartz-Narbonne, M Schaf, D Jovanovic, P Rummer, T Wies
7th NASA Formal Methods Symposium: NFM'15, 2015
The system can't perform the operation now. Try again later.
Articles 1–20