Parents

Sign in to add mentor
Michael Ian Shamos grad student 1974-1978 Carnegie Mellon
 (Statistical Methods in Algorithm Design and Analysis)

Children

Sign in to add trainee
M. Tamer Özsu grad student 1983 Ohio State
Lonnie R. Welch grad student 1990 Ohio State
Nigamanth Sridhar grad student 2004 Ohio State
Derek Bronish grad student 2012 Ohio State
Aditi Tagore grad student 2014 Ohio State
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Sitaraman M, Weide BW. (2018) A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts Acm Sigsoft Software Engineering Notes. 43: 17-17
Sitaraman M, Weide BW. (2014) Special session: "Hands-on" tutorial: Teaching software correctness with RESOLVE Sigcse 2014 - Proceedings of the 45th Acm Technical Symposium On Computer Science Education. 625-626
Zaccai D, Tagore A, Hoffman D, et al. (2014) Syrus: Providing practice problems in discrete mathematics with instant feedback Sigcse 2014 - Proceedings of the 45th Acm Technical Symposium On Computer Science Education. 61-66
Hoffman D, Tagore A, Zaccai D, et al. (2014) Providing early warnings of specification problems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8430: 92-97
Kulczycki G, Sitaraman M, Krone J, et al. (2013) A language for building verified software components Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7925: 308-314
Tagore A, Weide BW. (2013) Automatically detecting inconsistencies in program specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7871: 261-275
Tagore A, Zaccai D, Weide BW. (2012) Automatically proving thousands of verification conditions using an SMT solver: An empirical study Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7226: 195-209
Sitaraman M, Adcock B, Avigad J, et al. (2011) Building a push-button RESOLVE verifier: Progress and challenges Formal Aspects of Computing. 23: 607-626
Pike SM, Heym WD, Adcock B, et al. (2009) Traditional assignment considered harmful Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 909-916
Kirschenbaum J, Adcock B, Bronish D, et al. (2009) Verifying component-based software: Deep mathematics or simple bookkeeping? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5791: 31-40
See more...