Salman Saghafi

According to our database, Salman Saghafi authored at least 4 papers between 2012 and 2015.

Collaborative distances:

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

2015

Exploring Theories with a Model-Finding Assistant.

Salman Saghafi, Ryan Danas, Daniel J. Dougherty

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Razor: Provenance and Exploration in Model-Finding.

Salman Saghafi, Daniel J. Dougherty

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

2013

Aluminum: principled scenario exploration through minimality.

Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Features and object capabilities: reconciling two visions of modularity.

Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012