Aditi Tagore, Ph.D.

Affiliations: 
2014 Computer Science and Engineering Ohio State University, Columbus, Columbus, OH 
Area:
Computer Science
Google:
"Aditi Tagore"

Parents

Sign in to add mentor
Bruce W. Weide grad student 2014 Ohio State
 (Techniques to Improve Automated Software Verification.)
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.

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
Bronish D, Kirschenbaum J, Tagore A. (2010) A benchmark- and competition-based approach to software engineering research Proceedings of the Fse/Sdp Workshop On the Future of Software Engineering Research, Foser 2010. 43-45
See more...