Tristan Dyer

According to our database, Tristan Dyer authored at least 7 papers between 2016 and 2024.

Collaborative distances:

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

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

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

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

Sterling: A Web-Based Visualizer for Relational Modeling Languages.

Tristan Dyer, John W. Baugh Jr.

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2019

Bounded Verification of Sparse Matrix Computations.

Tristan Dyer, Alper Altuntas, John W. Baugh Jr.

Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

2018

State-Based Formal Methods in Scientific Computation.

John W. Baugh Jr., Tristan Dyer

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

2016

SMT: An interface for localized storm surge modeling.

Tristan Dyer, John W. Baugh Jr.

Adv. Eng. Softw., 2016