Tristan Dyer
Publications
2022
Applying Cognitive Principles to Model-Finding Output: The Positive Value of Negative Information
Tristan Dyer, Tim Nelson, Kathi Fisler, and Shriram Krishnamurthi
Proceedings of the ACM on Programming Languages
uri
bibtex
abstract
2021
Sterling: A Web-Based Visualizer for Relational Modeling Languages
Tristan Dyer and John Baugh
Rigorous State Based Methods. ABZ 2021.
doi
bibtex
abstract
2020
Lightweight Formal Methods in Scientific Computing
Tristan Dyer
PhD Dissertation
uri
abstract
2019
Bounded Verification of Sparse Matrix Computations
Tristan Dyer, Alper Altuntas, and John Baugh
Proceedings of the Third International Workshop on Software Correctness for HPC Applications, Correctness 2019.
doi
bibtex
abstract
2018
State-based Formal Methods in Scientific Computation
John Baugh and Tristan Dyer
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018
doi
bibtex
abstract
2016
SMT: An Interface for Localized Storm Surge Modeling
Tristan Dyer and John Baugh
Advances in Engineering Software
doi
bibtex
abstract
2015
An Exact Reanalysis Technique for Storm Surge and Tides in a Geographic Region of Interest
John Baugh, Alper Altuntas, Tristan Dyer, and Jason Simon
Coastal Engineering
doi
bibtex
abstract
2013
An Interface for Subdomain Modeling using a Novel Range Search Algorithm for Extracting Arbitrary Shapes
Tristan Dyer
Master's Thesis
uri
abstract
2024 Tristan Dyer