Sudeep Juvekar

Fast Statistical Alignment

Lior Pachter, Jaeyoung Do, Ian Holmes, 2009, PLoS Comput. Biol..

Approximate Symbolic Reachability of Networks of Transition Systems

Ankur Taly, Varun Kanade, Supratik Chakraborty, 2007 .

Path Slicing per Object for Better Testing , Debugging , and Usage Discovery

Jacob Burnim, Sudeep Juvekar, 2009 .

Fast Statistical Alignment : Text S 1

Lior Pachter, Jaeyoung Do, Ian Holmes, 2009 .

SNIFF: A Search Engine for Java Using Free-Form Queries

Koushik Sen, Shaunak Chatterjee, Sudeep Juvekar, 2009, FASE.

Minimizing Generalized Büchi Automata

Nir Piterman, Sudeep Juvekar, N. Piterman, 2006, CAV.

WISE: Automated test generation for worst-case complexity

Koushik Sen, Jacob Burnim, Sudeep Juvekar, 2009, 2009 IEEE 31st International Conference on Software Engineering.