Tim Nelson

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 21

Top Topics

Mutation Testing

Provably Correct

Network Properties

Top Venues

Art Sci. Eng. Program.

Publications

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
Forge: A Tool and Language for Teaching Formal Methods. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
Conceptual Mutation Testing for Student Programming Misconceptions. Art Sci. Eng. Program. 8 (2) (2024)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
Conceptual Mutation Testing for Student Programming Misconceptions. CoRR (2024)
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
Little Tricky Logic: Misconceptions in the Understanding of LTL. Art Sci. Eng. Program. 7 (2) (2023)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
Generating Programs Trivially: Student Use of Large Language Models. CompEd (1) (2023)
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
Automated, Targeted Testing of Property-Based Testing Predicates. Art Sci. Eng. Program. 6 (2) (2022)
Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi
Applying cognitive principles to model-finding output: the positive value of negative information. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi
Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. Koli Calling (2022)
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
Little Tricky Logic: Misconceptions in the Understanding of LTL. CoRR (2022)
Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi
Prototyping Formal Methods Tools: A Protocol Analysis Case Study. Protocols, Strands, and Logic (2021)
John Wrenn, Tim Nelson, Shriram Krishnamurthi
Using Relational Problems to Teach Property-Based Testing. Art Sci. Eng. Program. 5 (2) (2021)
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
Automated, Targeted Testing of Property-Based Testing Predicates. CoRR (2021)
John Wrenn, Tim Nelson, Shriram Krishnamurthi
Using Relational Problems to Teach Property-Based Testing. CoRR (2020)
Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson
Solver-Aided Multi-Party Configuration. HotNets (2020)
Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi
Synthesizing Mutable Configurations: Setting up Systems for Success. ASE Workshops (2019)
Shriram Krishnamurthi, Tim Nelson
The Human in Formal Methods. FM (2019)
Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi
CompoSAT: Specification-Guided Coverage for Model Finding. FM (2018)
Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi
The power of "why" and "why not": enriching scenario exploration with provenance. ESEC/SIGSOFT FSE (2017)
Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty
User Studies of Principled Model Finder Output. SEFM (2017)
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi
Compiling Stateful Network Properties for Runtime Verification. CoRR (2016)
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi
Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion. HotNets (2016)
Tim Nelson, Andrew D. Ferguson, Da Yu, Rodrigo Fonseca, Shriram Krishnamurthi
Exodus: toward automatic migration of enterprise network configurations to SDNs. SOSR (2015)
Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi
Static Differential Program Analysis for Software-Defined Networks. FM (2015)
Tim Nelson, Da Yu, Yiming Li, Rodrigo Fonseca, Shriram Krishnamurthi
Simon: scriptable interactive monitoring for SDNs. SOSR (2015)
Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi
Tierless Programming and Reasoning for Software-Defined Networks. NSDI (2014)
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Aluminum: principled scenario exploration through minimality. ICSE (2013)
Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
A balance of power: expressive, analyzable controller programming. HotSDN (2013)