Tristan Dyer

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 7

Top Topics

Provably Correct

Modeling Language

Top Venues

Proc. ACM Program. Lang.

Protocols, Strands, and Logic

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)
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)
Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi
Prototyping Formal Methods Tools: A Protocol Analysis Case Study. Protocols, Strands, and Logic (2021)
Tristan Dyer, John W. Baugh Jr.
Sterling: A Web-Based Visualizer for Relational Modeling Languages. ABZ (2021)
Tristan Dyer, Alper Altuntas, John W. Baugh Jr.
Bounded Verification of Sparse Matrix Computations. CORRECTNESS@SC (2019)
John W. Baugh Jr., Tristan Dyer
State-Based Formal Methods in Scientific Computation. ABZ (2018)
Tristan Dyer, John W. Baugh Jr.
SMT: An interface for localized storm surge modeling. Adv. Eng. Softw. 92 (2016)