Minimizing Generalized Büchi Automata. - Sudeep Juvekar; Nir Piterman (CAV, 2006)

SNIFF: A Search Engine for Java Using Free-Form Queries. - Shaunak Chatterjee; Sudeep Juvekar; Koushik Sen (FASE, 2009)

WISE: Automated test generation for worst-case complexity. - Jacob Burnim; Sudeep Juvekar; Koushik Sen (ICSE, 2009)

Fast Statistical Alignment. - Robert K. Bradley; Adam Roberts; Michael E. Smoot; Sudeep Juvekar; Jaeyoung Do; Colin N. Dewey; Ian H. Holmes; Lior Pachter (PLoS Comput. Biol., 2009)