- Sean Bartell, Swarup Kumar Sahoo, Vikram S. Adve, Tao Xie, “Flexible Solution-Aware Symbolic Execution”, Under submission.
- Swarup Kumar Sahoo, John Criswell, Chase Geigle and Vikram S. Adve, “Using likely invariants for automated software fault localization“, Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems (ASPLOS), 2013.
- Swarup Kumar Sahoo, John Criswell and Vikram S. Adve, “An Empirical Study of Reported Bugs in Server Software with Implications for Automated Bug Diagnosis“, Proceedings of the International Conference on Software Engineering (ICSE), 2010.