Daniel Schwartz-Narbonne

18 papers A* 2B 2C 2Misc 1Journal 3Unranked 7

Year	Rank	Type	Title / 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