BibTeX records: Tristan Dyer

• > Home > Persons > Tristan Dyer

@article{DBLP:journals/pacmpl/NelsonGPDBCCVLRRVWWK24,
  author       = {Tim Nelson and
                  Ben Greenman and
                  Siddhartha Prasad and
                  Tristan Dyer and
                  Ethan Bove and
                  Qianfan Chen and
                  Charles Cutting and
                  Thomas Del Vecchio and
                  Sidney Levine and
                  Julianne Rudner and
                  Ben Ryjikov and
                  Alexander Varga and
                  Andrew Wagner and
                  Luke West and
                  Shriram Krishnamurthi},
  title        = {Forge: {A} Tool and Language for Teaching Formal Methods},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{OOPSLA1}},
  pages        = {613--641},
  year         = {2024},
  url          = {https://doi.org/10.1145/3649833},
  doi          = {10.1145/3649833},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/NelsonGPDBCCVLRRVWWK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/DyerNFK22,
  author       = {Tristan Dyer and
                  Tim Nelson and
                  Kathi Fisler and
                  Shriram Krishnamurthi},
  title        = {Applying cognitive principles to model-finding output: the positive
                  value of negative information},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{OOPSLA1}},
  pages        = {1--29},
  year         = {2022},
  url          = {https://doi.org/10.1145/3527323},
  doi          = {10.1145/3527323},
  timestamp    = {Tue, 10 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/DyerNFK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/DyerB21,
  author       = {Tristan Dyer and
                  John W. Baugh Jr.},
  editor       = {Alexander Raschke and
                  Dominique M{\'{e}}ry},
  title        = {Sterling: {A} Web-Based Visualizer for Relational Modeling Languages},
  booktitle    = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
                  2021, Ulm, Germany, June 9-11, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12709},
  pages        = {99--104},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77543-8\_7},
  doi          = {10.1007/978-3-030-77543-8\_7},
  timestamp    = {Wed, 09 Jun 2021 12:10:48 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/DyerB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/SiegelSDNK21,
  author       = {Abigail Siegel and
                  Mia Santomauro and
                  Tristan Dyer and
                  Tim Nelson and
                  Shriram Krishnamurthi},
  editor       = {Daniel Dougherty and
                  Jos{\'{e}} Meseguer and
                  Sebastian Alexander M{\"{o}}dersheim and
                  Paul D. Rowe},
  title        = {Prototyping Formal Methods Tools: {A} Protocol Analysis Case Study},
  booktitle    = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
                  on the Occasion of his 66.66th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {13066},
  pages        = {394--413},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91631-2\_22},
  doi          = {10.1007/978-3-030-91631-2\_22},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/SiegelSDNK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sc/DyerAB19,
  author       = {Tristan Dyer and
                  Alper Altuntas and
                  John W. Baugh Jr.},
  editor       = {Ignacio Laguna and
                  Cindy Rubio{-}Gonz{\'{a}}lez},
  title        = {Bounded Verification of Sparse Matrix Computations},
  booktitle    = {2019 {IEEE/ACM} 3rd International Workshop on Software Correctness
                  for {HPC} Applications (Correctness), Denver, CO, USA, November 18,
                  2019},
  pages        = {36--43},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/Correctness49594.2019.00010},
  doi          = {10.1109/CORRECTNESS49594.2019.00010},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sc/DyerAB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/BaughD18,
  author       = {John W. Baugh Jr. and
                  Tristan Dyer},
  editor       = {Michael J. Butler and
                  Alexander Raschke and
                  Thai Son Hoang and
                  Klaus Reichl},
  title        = {State-Based Formal Methods in Scientific Computation},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
                  Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10817},
  pages        = {392--396},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91271-4\_29},
  doi          = {10.1007/978-3-319-91271-4\_29},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/BaughD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aes/DyerB16,
  author       = {Tristan Dyer and
                  John W. Baugh Jr.},
  title        = {{SMT:} An interface for localized storm surge modeling},
  journal      = {Adv. Eng. Softw.},
  volume       = {92},
  pages        = {27--39},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.advengsoft.2015.10.003},
  doi          = {10.1016/J.ADVENGSOFT.2015.10.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aes/DyerB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}