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
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.

Kulczycki G, Sridhar N, Sitaraman M, et al. (2016) Panel: Engage in reasoning with tools Sigcse 2016 - Proceedings of the 47th Acm Technical Symposium On Computing Science Education. 160-161
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
Soundarajan N, Ramnath R, Weide BW. (2013) A multi-pronged approach to nurturing IT entrepreneurs Asee Annual Conference and Exposition, Conference Proceedings
Pavlic TP, Peddi SP, Sivilotti PAG, et al. (2012) Poster abstract: Getting out of the way - Safety verification without compromise Proceedings - 2012 Ieee/Acm 3rd International Conference On Cyber-Physical Systems, Iccps 2012. 234
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
See more...