Daniel Schwartz-Narbonne
Daniel Schwartz-Narbonne
Automated Reasoning Group, AWS
Verified email at amazon.com
Title
Cited by
Cited by
Year
Explaining inconsistent code
M Schäf, D Schwartz-Narbonne, T Wies
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
172013
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
132011
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
82012
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
72020
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
52018
Error invariants for concurrent traces
A Holzer, D Schwartz-Narbonne, MT Befrouei, G Weissenbacher, T Wies
International Symposium on Formal Methods, 370-387, 2016
52016
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
52015
Conflict-directed graph coverage
D Schwartz-Narbonne, M Schäf, D Jovanović, P Rümmer, T Wies
NASA Formal Methods Symposium, 327-342, 2015
52015
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
52012
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
42014
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
42009
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
32017
Parallel assertions for architectures with weak memory models
D Schwartz-Narbonne, G Weissenbacher, S Malik
International Symposium on Automated Technology for Verification and …, 2012
32012
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
32012
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
12015
Assertions for debugging parallel programs
D Schwartz-Narbonne
Princeton, NJ: Princeton University, 2013
12013
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
2021
VERMEER
D Schwartz-Narbonne, C Oh, M Schaf, T Wies
IEEE Computer Society, 2015
2015
Context-directed graph coverage
D Schwartz-Narbonne, M Schaf, D Jovanovic, P Rummer, T Wies
7th NASA Formal Methods Symposium: NFM'15, 2015
2015
Concolic fault localization
C Oh, M Schäf, D Schwartz-Narbonne, T Wies
Proceedings of the 2014 IEEE 14th International Working Conference on Source …, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20