Aditi Tagore

According to our database, Aditi Tagore authored at least 6 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Syrus: providing practice problems in discrete mathematics with instant feedback.

Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Providing Early Warnings of Specification Problems.

Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Automatically Detecting Inconsistencies in Program Specifications.

Aditi Tagore, Bruce W. Weide

Proceedings of the NASA Formal Methods, 2013

A Language for Building Verified Software Components.

Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013

2012

Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study.

Aditi Tagore, Diego Zaccai, Bruce W. Weide

Proceedings of the NASA Formal Methods, 2012

2010

A benchmark- and competition-based approach to software engineering research.

Derek Bronish, Jason Kirschenbaum, Aditi Tagore

Proceedings of the Workshop on Future of Software Engineering Research, 2010