Tim Nelson

According to our database, Tim Nelson authored at least 31 papers between 2010 and 2024.

Collaborative distances:

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

2024

Conceptual Mutation Testing for Student Programming Misconceptions.

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

Art Sci. Eng. Program., 2024

Forge: A Tool and Language for Teaching Formal Methods.

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

Proc. ACM Program. Lang., 2024

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.

Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Art Sci. Eng. Program., 2023

Generating Programs Trivially: Student Use of Large Language Models.

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

Proceedings of the ACM Conference on Global Computing Education Vol 1, 2023

2022

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, September, 2022

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, September, 2022

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, August, 2022

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, August, 2022

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, August, 2022

Automated, Targeted Testing of Property-Based Testing Predicates.

Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi

Art Sci. Eng. Program., 2022

Applying cognitive principles to model-finding output: the positive value of negative information.

Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi

Proc. ACM Program. Lang., 2022

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions.

Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi

Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

2021

Using Relational Problems to Teach Property-Based Testing.

John Wrenn, Tim Nelson, Shriram Krishnamurthi

Art Sci. Eng. Program., 2021

Prototyping Formal Methods Tools: A Protocol Analysis Case Study.

Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Solver-Aided Multi-Party Configuration.

Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson

Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2019

Synthesizing Mutable Configurations: Setting up Systems for Success.

Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

The Human in Formal Methods.

Shriram Krishnamurthi, Tim Nelson

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

CompoSAT: Specification-Guided Coverage for Model Finding.

Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

The power of "why" and "why not": enriching scenario exploration with provenance.

Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

User Studies of Principled Model Finder Output.

Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Compiling Stateful Network Properties for Runtime Verification.

Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi

CoRR, 2016

Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion.

Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016

2015

Simon: scriptable interactive monitoring for SDNs.

Tim Nelson, Da Yu, Yiming Li, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Exodus: toward automatic migration of enterprise network configurations to SDNs.

Tim Nelson, Andrew D. Ferguson, Da Yu, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Static Differential Program Analysis for Software-Defined Networks.

Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi

Proceedings of the FM 2015: Formal Methods, 2015

2014

Tierless Programming and Reasoning for Software-Defined Networks.

Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2013

A balance of power: expressive, analyzable controller programming.

Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 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

Toward a More Complete Alloy.

Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2010

The Margrave Tool for Firewall Analysis.

Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Uncovering the Secrets of System Administration: Proceedings of the 24th Large Installation System Administration Conference, 2010