Tim Nelson

35 papers A* 2A 1B 4Misc 3Journal 14Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
A Misconception-Driven Adaptive Tutor for Linear Temporal Logic.
CAV (4)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2025 A* conf
A Stakeholder-Based Framework to Highlight Tensions when Implementing Privacy Features.
USENIX Security Symposium
Julia Netter, Tim Nelson, Skyler Austen, Eva Lau, Colton Rusch, Malte Schwarzkopf, Kathi Fisler
2025 J jnl
Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact).
Dagstuhl Artifacts Ser.
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2025 A conf
Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design.
ECOOP
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2025 J jnl
Logic for Systems: A Gradual Introduction to Formal Methods.
Bull. EATCS
Shriram Krishnamurthi, Tim Nelson
2024 J jnl
Conceptual Mutation Testing for Student Programming Misconceptions.
CoRR
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2024 J jnl
Conceptual Mutation Testing for Student Programming Misconceptions.
Art Sci. Eng. Program.
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2024 J jnl
Forge: A Tool and Language for Teaching Formal Methods.
Proc. ACM Program. Lang.
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
2024 J jnl
Grounded Language Design for Lightweight Diagramming for Formal Methods.
CoRR
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2024 — conf
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.
FM (1)
Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte
2024 — ch.
Validation of Formal Models: A Case Study.
The Practice of Formal Methods (II)
Pamela Zave, Tim Nelson
2023 — conf
Generating Programs Trivially: Student Use of Large Language Models.
CompEd (1)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2023 J jnl
Little Tricky Logic: Misconceptions in the Understanding of LTL.
Art Sci. Eng. Program.
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
2022 J jnl
Applying cognitive principles to model-finding output: the positive value of negative information.
Proc. ACM Program. Lang.
Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi
2022 J jnl
Automated, Targeted Testing of Property-Based Testing Predicates.
Art Sci. Eng. Program.
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
2022 J jnl
Little Tricky Logic: Misconceptions in the Understanding of LTL.
CoRR
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
2022 — conf
Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions.
Koli Calling
Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi
2021 J jnl
Automated, Targeted Testing of Property-Based Testing Predicates.
CoRR
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
2021 — conf
Prototyping Formal Methods Tools: A Protocol Analysis Case Study.
Protocols, Strands, and Logic
Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi
2021 J jnl
Using Relational Problems to Teach Property-Based Testing.
Art Sci. Eng. Program.
John Wrenn, Tim Nelson, Shriram Krishnamurthi
2020 Misc conf
Solver-Aided Multi-Party Configuration.
HotNets
Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson
2020 J jnl
Using Relational Problems to Teach Property-Based Testing.
CoRR
John Wrenn, Tim Nelson, Shriram Krishnamurthi
2019 — conf
Synthesizing Mutable Configurations: Setting up Systems for Success.
ASE Workshops
Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi
2019 B conf
The Human in Formal Methods.
FM
Shriram Krishnamurthi, Tim Nelson
2018 B conf
CompoSAT: Specification-Guided Coverage for Model Finding.
FM
Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi
2017 — conf
The power of "why" and "why not": enriching scenario exploration with provenance.
ESEC/SIGSOFT FSE
Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi
2017 B conf
User Studies of Principled Model Finder Output.
SEFM
Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty
2016 J jnl
Compiling Stateful Network Properties for Runtime Verification.
CoRR
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi
2016 Misc conf
Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion.
HotNets
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi
2015 — conf
Exodus: toward automatic migration of enterprise network configurations to SDNs.
SOSR
Tim Nelson, Andrew D. Ferguson, Da Yu, Rodrigo Fonseca, Shriram Krishnamurthi
2015 — conf
Simon: scriptable interactive monitoring for SDNs.
SOSR
Tim Nelson, Da Yu, Yiming Li, Rodrigo Fonseca, Shriram Krishnamurthi
2015 B conf
Static Differential Program Analysis for Software-Defined Networks.
FM
Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi
2014 Misc conf
Tierless Programming and Reasoning for Software-Defined Networks.
NSDI
Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi
2013 — conf
A balance of power: expressive, analyzable controller programming.
HotSDN
Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2013 A* conf
Aluminum: principled scenario exploration through minimality.
ICSE
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi