Schwartz-Narbonne, Daniel, Georg Weissenbacher, and Sharad Malik. 2012. “Parallel Assertions for Architectures With Weak Memory Models”. In International Symposium on Automated Technology for Verification and Analysis, 254–268. Springer Berlin Heidelberg.

Sethi, Divjyot, Muralidhar Talupur, Daniel Schwartz-Narbonne, and Sharad Malik. 2012. “Parameterized Model Checking of Fine Grained Concurrency”. In International SPIN Workshop on Model Checking of Software, 208–226. Springer Berlin Heidelberg.

Chan, Carven, Daniel Schwartz-Narbonne, Divjyot Sethi, and Sharad Malik. 2012. “Specification and Synthesis of Hardware Checkpointing and Rollback Mechanisms”. In Proceedings of the 49th Annual Design Automation Conference, 1226–1232. ACM.

Schwartz-Narbonne, Daniel, Feng Liu, David August, and Sharad Malik. 2012. “PASSERT: A Tool for Debugging Parallel Programs”. In Computer Aided Verification, 751–757. Springer Berlin/Heidelberg.