Diego Zaccai

According to our database, Diego Zaccai authored at least 4 papers between 2012 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

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