papers.bib

@inproceedings{jha-cav09,
  author = {Susmit Jha and
               Rhishikesh Limaye and
               Sanjit A. Seshia},
  title = {Beaver: Engineering an Efficient SMT Solver for Bit-Vector
               Arithmetic},
  booktitle = {21st International Conference on Computer-Aided Verification},
  year = {2009},
  pages = {668-674},
  ee = {http://dx.doi.org/10.1007/978-3-642-02658-4_53}
}

@inproceedings{jha-emsoft11,
  author    = {Susmit Jha and
               Sanjit A. Seshia and
               Ashish Tiwari},
  title     = {Synthesis of optimal switching logic for hybrid systems},
  booktitle = {EMSOFT},
  year      = {2011},
  pages     = {107-116}
}

@article{loopfree-pldi11,
 author = {Gulwani, Sumit and Jha, Susmit and Tiwari, Ashish and Venkatesan, Ramarathnam},
 title = {Synthesis of loop-free programs},
 journal = {SIGPLAN Not.},
 issue_date = {June 2011},
 volume = {46},
 issue = {6},
 month = {June},
 year = {2011},
 issn = {0362-1340},
 pages = {62--73},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1993316.1993506},
 doi = {http://doi.acm.org/10.1145/1993316.1993506},
 acmid = {1993506},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {component-based synthesis, program synthesis, smt},
} 

@inproceedings{sturton-ccs09,
  author = {Cynthia Sturton and Susmit Jha and Sanjit A. Seshia and David Wagner},
  booktitle = {16th ACM Conference on Computer and Communications Security},
  pages = {463-476},
  publisher = {ACM},
  title = {On voting machine design for verification and testability.},
  url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2009.html#SturtonJSW09},
  year = {2009},
  ee = {http://doi.acm.org/10.1145/1653662.1653719},
  isbn = {978-1-60558-894-0},
  date = {2009-11-25}
}

@inproceedings{jha-icse10,
  author = {Susmit Jha and
               Sumit Gulwani and
               Sanjit Seshia and
	       Ashish Tiwari},
  title = {Oracle-Guided Component-Based Program Synthesis},
  booktitle = {32nd International Conference on Software Engineering},
  year = {2010},
  pages = {}
}

@inproceedings{jha-cps10,
  author = {Susmit Jha and
               Sumit Gulwani and
               Sanjit Seshia and
	       Ashish Tiwari},
  title = {Synthesizing Switching Logic for Safety and Dwell-Time Requirements},
  booktitle = {1st International Conference on Cyber-physical Systems},
  year = {2010},
  pages = {22-31}
}

@article{jha-tcsb06,
  author = {Susmit Jha and
               R. K. Shyamasundar},
  title = {{Adapting Biochemical Kripke Structures for Distributed Model
               Checking}},
  journal = {Transactions on Computational Systems Biology},
  year = {2006},
  pages = {107-122},
  ee = {http://dx.doi.org/10.1007/11905455_6}
}

@inproceedings{jha-formats07,
  author = {Susmit Jha and
               Bryan A. Brady and
               Sanjit A. Seshia},
  title = {{Symbolic Reachability Analysis of Lazy Linear Hybrid Automata}},
  booktitle = {5th International Conference on Formal Modelling and Analysis of Timed Systems},
  year = {2007},
  pages = {241-256},
  ee = {http://dx.doi.org/10.1007/978-3-540-75454-1_18}
}

@inproceedings{jha-hase08a,
  author = {Sumit Kumar Jha and
               Susmit Jha},
  title = {Random Relaxation Abstractions for Bounded Reachability
               Analysis of Linear Hybrid Automata: Distributed Randomized
               Abstractions in Model Checking},
  booktitle = {11th IEEE High Assurance Systems Engineering Symposium},
  year = {2008},
  pages = {147-153},
  ee = {http://dx.doi.org/10.1109/HASE.2008.38}
}

@inproceedings{jha-hase08b,
  author = {Susmit Jha and
               Sumit Kumar Jha},
  title = {Randomization Based Probabilistic Approach to Detect Trojan
               Circuits},
  booktitle = {11th IEEE High Assurance Systems Engineering Symposium},
  year = {2008},
  pages = {117-124},
  ee = {http://dx.doi.org/10.1109/HASE.2008.37}
}

@inproceedings{jha-isec10,
  author = {Sumit Kumar Jha and Susmit Jha},
  title = {Localizing Error in Traces With Interpolants},
  booktitle = {ISEC},
  year = {2010},
  pages = {},
}

@inproceedings{jha-hldvt09,
  author = {Susmit Jha and
               Wenchao Li and
	       Sanjit A. Seshia},
  title = {Localizing Transient Faults Using Dynamic Bayesian Networks},
  booktitle = {14th IEEE International High-Level Design Validation and Test Workshop},
  year = {2009},
  ee = {http://dx.doi.org/10.1109/HASE.2008.37}
}

@inproceedings{king-esop10,
  author    = {Dave King and
               Susmit Jha and
               Divya Muthukumaran and
               Trent Jaeger and
               Somesh Jha and
               Sanjit A. Seshia},
  title     = {Automating Security Mediation Placement},
  booktitle = {European Symposium on Programming},
  year      = {2010},
  pages     = {327-344},
  ee        = {http://dx.doi.org/10.1007/978-3-642-11957-6_18},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}