Tim Nelson's Publications

Publications

A Stakeholder-Based Framework to Highlight Tensions when Implementing Privacy Features PDF Julia Netter, Tim Nelson, Skyler Austen, Eva Lau, Colton Rusch, Malte Schwarzkopf, Kathi Fisler USENIX Security Symposium (2025)
A Misconception-Driven Adaptive Tutor for Linear Temporal Logic PDF Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (2025)
Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design PDF Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi 39th European Conference on Object-Oriented Programming, ECOOP 2025, Bergen, Norway, June 30 - July 2, 2025 (2025)
Logic for Systems: A Gradual Introduction to Formal Methods PDF Shriram Krishnamurthi, Tim Nelson Bulletin of the EATCS (2025)

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic PDF Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (2024)
Validation of Formal Models: A Case Study PDF Pamela Zave, Tim Nelson The Practice of Formal Methods, Essays in Honor of Cliff Jones, Part II (2024)
Forge: A Tool and Language for Teaching Formal Methods PDF Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, Shriram Krishnamurthi Object-Oriented Programming Systems, Languages, and Applications (2024)
Conceptual Mutation Testing for Student Programming Misconceptions PDF Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi Programming (2024)

Generating Programs Trivially: Student Use of Large Language Models PDF Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi Proceedings of the ACM Conference on Global Computing Education Vol 1, CompEd 2023, Hyderabad, India, December 5-9, 2023 (2023)
Little Tricky Logic: Misconceptions in the Understanding of LTL PDF Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi Programming (2023)

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions PDF Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi Koli Calling ’22: 22nd Koli Calling International Conference on Computing Education Research, Koli, Finland, November 17-20, 2022 (2022)
Applying Cognitive Principles to Model-Finding Output: The Positive Value of Negative Information PDF Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi Proc. ACM Program. Lang. (2022)
Automated, Targeted Testing of Property-Based Testing Predicates PDF Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi The Art, Science, and Engineering of Programming (2022)

Using Relational Problems to Teach Property-Based Testing PDF John Wrenn, Tim Nelson, Shriram Krishnamurthi The Art, Science, and Engineering of Programming (2021)
Prototyping Formal Methods Tools: A Protocol Analysis Case Study PDF Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi Protocols, Strands, and Logic (2021)

Solver-Aided Multi-Party Configuration PDF Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson HotNets ’20: The 19th ACM Workshop on Hot Topics in Networks, Virtual Event, USA, November 4-6, 2020 (2020)

Synthesizing Mutable Configurations: Setting up Systems for Success PDF Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi Workshop on Software Engineering for Infrastructure and Configuration Code (2019)
The Human in Formal Methods (Invited Talk) PDF Shriram Krishnamurthi, Tim Nelson International Symposium on Formal Methods (FM) (2019)

CompoSAT: Specification-Guided Coverage for Model Finding PDF Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi International Symposium on Formal Methods (FM) (2018)

User Studies of Principled Model Finder Output PDF Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty Software Engineering and Formal Methods (2017)
The Power of “Why” and “Why Not”: Enriching Scenario Exploration with Provenance PDF Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi Foundations of Software Engineering (2017)

Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion PDF Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi Workshop on Hot Topics in Networks (2016)

Simon: Scriptable Interactive Monitoring for SDNs PDF Tim Nelson, Da Yu, Yiming Li, Rodrigo Fonseca, Shriram Krishnamurthi Symposium on SDN Research (SOSR) (2015)
Exodus: Toward Automatic Migration of Enterprise Network Configurations to SDNs PDF Tim Nelson, Andrew D. Ferguson, Da Yu, Rodrigo Fonseca, Shriram Krishnamurthi Symposium on SDN Research (SOSR) (2015)
Static Differential Program Analysis for Software-Defined Networks PDF Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi International Symposium on Formal Methods (FM) (2015)

Tierless Programming and Reasoning for Software-Defined Networks PDF Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi Networked Systems Design and Implementation (2014)

A Balance of Power: Expressive, Analyzable Controller Programming PDF Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi Workshop on Hot Topics in Software Defined Networking (2013)
Aluminum: Principled Scenario Exploration Through Minimality PDF Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi International Conference on Software Engineering (2013)
Geometric Logic for Policy Analysis PDF Salman Saghafi, Tim Nelson, Daniel J. Dougherty International Workshop on Automated Reasoning in Security and Software Verification (ARSEC 2013) (2013)

Toward a More Complete Alloy PDF Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi Conference on Abstract State Machines, Alloy, B, and Z (2012)

The Margrave Tool for Firewall Analysis PDF Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi USENIX Large Installation System Administration Conference (2010)
On the Finite Model Property in Order-Sorted Logic Tim Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi Synthesis, Verification, and Analysis of Rich Models (SVARM 2010) (2010)

On the Finite Model Property in Order-Sorted Logic Tim Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi Worcester Polytechnic Institute, 2010

First-Order Models for Configuration Analysis Tim Nelson Worcester Polytechnic Institute, 2013