Publications
Home People Publications Software
CompoSAT: Specification-Guided Coverage for Model Finding. Sorawee Porncharoenwase, Tim Nelson, and Shriram Krishnamurthi. Formal Methods, 2018.
User Studies of Principled Model Finder Output. Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, and Daniel J. Dougherty. Software Engineering and Formal Methods (SEFM), 2017.
The Power of "Why" and "Why Not": Enriching Scenario Exploration with Provenance. Tim Nelson, Natasha Danas, Daniel J. Dougherty, and Shriram Krishnamurthi. Foundations of Software Engineering (FSE), 2017. (award paper)
Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion. Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, and Shriram Krishnamurthi. Hot Topics in Networking (HotNets), 2016.
Exploring theories with a model-finding assistant. Salman Saghafi, Ryan Danas, and Daniel J. Dougherty. International Conference on Automated Deduction (CADE) 2015
Static Differential Program Analysis for Software-Defined Networks. Tim Nelson, Andrew D. Ferguson and Shriram Krishnamurthi. International Symposium on Formal Methods (FM) 2015
Simon: Scriptable Interactive Monitoring for SDNs. Tim Nelson, Da Yu, Yiming Li, Rodrigo Fonseca, and Shriram Krishnamurthi. Symposium on SDN Research (SOSR) 2015
Exodus: Toward Automatic Migration of Enterprise Network Configurations to SDNs. Tim Nelson, Andrew D. Ferguson, Da Yu, Rodrigo Fonseca, and Shriram Krishnamurthi. Symposium on SDN Research (SOSR) 2015
Razor: Provenance and exploration in model-finding. Salman Saghafi and Daniel J. Dougherty. Workshop on Practical Aspects of Automated Reasoning (PAAR) 2014
Tierless Programming and Reasoning for Software-Defined Networks. Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi. Networked Systems Design and Implementation, 2014.
Geometric Logic for Policy Analysis. Salman Saghafi, Tim Nelson, Daniel J. Dougherty. International Workshop on Automated Reasoning in Security and Software Verification, 2013.
A Balance of Power: Expressive, Analyzable Controller Programming. Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. Workshop on Hot Topics in Software Defined Networks, 2013.
Aluminum: Principled Scenario Exploration through Minimality. Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. International Conference on Software Engineering, 2013.
Hierarchical Policies for Software Defined Networks. Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi. Workshop on Hot Topics in Software Defined Networks, 2012.
Towards a More Complete Alloy. Tim Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. ABZ Conference, 2012.
Oops, I Did it Again: Mitigating Repeated Access Control Errors. Serge Egelman, Andrew Oates, Shriram Krishnamurthi. SIGCHI Conference on Human Factors in Computing Systems, 2011.
The Margrave Tool for Firewall Analysis. Tim Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. USENIX Large Installation System Administration Conference (LISA), 2010.
A Model of Triangulating Environments for Policy Authoring. Kathi Fisler, Shriram Krishnamurthi. ACM Symposium on Access-Control Models and Technologies (SACMAT), 2010.
Escape From the Matrix: Lessons from a Case-Study in Access-Control Requirements. Kathi Fisler, Shriram Krishnamurthi. Symposium on Usable Privacy and Security (SOUPS), 2009.
Declaring Victory in a Declarative Datacenter: Verification and Transferring Confidence. Shriram Krishnamurthi. Workshop on the Rise and Rise of the Declarative Datacentre (R2D2), 2008.
Obligations and their Interaction with Programs. Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. European Symposium on Research in Computer Security (ESORICS), 2007.
Specifying and Reasoning about Dynamic Access Control Policies. Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. International Joint Conference on Automated Reasoning (IJCAR), 2006.
Towards Reasonability Properties for Access-Control Policy Languages. Michael Carl Tschantz, Shriram Krishnamurthi. ACM Symposium on Access Control Models and Technologies (SACMAT), 2006.
Verification and Change Impact Analysis of Access-Control Policies. Kathi Fisler, Shriram Krishnamurthi, Leo Meyerovich, Michael Tschantz. International Conference on Software Engineering (ICSE), 2005.