| Fast statistical alignment RK Bradley, A Roberts, M Smoot, S Juvekar, J Do, C Dewey, I Holmes, ... PLoS computational biology 5 (5), e1000392, 2009 | 410 | 2009 |
| Sniff: A search engine for java using free-form queries S Chatterjee, S Juvekar, K Sen Fundamental Approaches to Software Engineering: 12th International …, 2009 | 224 | 2009 |
| WISE: Automated test generation for worst-case complexity J Burnim, S Juvekar, K Sen 2009 IEEE 31st International Conference on Software Engineering, 463-473, 2009 | 172 | 2009 |
| Minimizing generalized Büchi automata S Juvekar, N Piterman Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 27 | 2006 |
| Bound analysis using backward symbolic execution S Gulwani, S Juvekar Technical Report MSR-TR-2004–95, Microsoft Research, 2009 | 15 | 2009 |
| Computing a symbolic bound for a procedure S Gulwani, FF Zuleger, SD Juvekar US Patent 8,752,029, 2014 | 12 | 2014 |
| Path slicing per object for better testing, debugging, and usage discovery S Juvekar, J Burnim, K Sen EECS Department, University of California, Berkeley, Tech. Rep, 2009 | 6 | 2009 |
| Approximate symbolic reachability of networks of transition systems S Juvekar, A Taly, V Kanade, S Chakraborty Next Generation Design and Verification Methodologies for Distributed …, 2007 | 2 | 2007 |
| Efficient approximate symbolic reachability of discrete-timed digital circuits S Juvekar, A Taly, V Kanade, S Chakraborty | 1 | 2008 |
| Minimization of Büchi Automata S Juvekar, S Chakraborty Indian Institute of Technology, Bombay, 2005 | | 2005 |
| Vis3D is a 3D mesh generator, wireframe editor and renderer. It is a software that allows you to create polygonal objects, merge them together, perform actions on them (extrude … C Karande, S Juvekar | | |
| Efficient Symbolic Reachability of Networks of Transition Systems S Juvekar, A Taly, V Kanade, S Chakraborty | | |
| Guided Symbolic Reachability using Reachability Expressions and Matrices S Juvekar Indian Institute of Technology, Bombay Mumbai, 0 | | |
| Guided Symbolic Reachability using Partitioning S Juvekar Indian Institute of Technology, Bombay Mumbai, 0 | | |
| Fast Statistical Alignment: Text S1 RK Bradley, A Roberts, M Smoot, S Juvekar, J Do, C Dewey, I Holmes, ... | | |
| Efficient Symbolic Reachability using Partitioning S Juvekar | | |
