Thomas Wies
New York University
H-index: 29
North America-United States
Top articles of Thomas Wies
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Deciding Subtyping for Asynchronous Multiparty Sessions | Elaine Li Felix Stutz Thomas Wies | 2024/4/5 | |
Make flows small again: revisiting the flow framework | Roland Meyer Thomas Wies Sebastian Wolff | 2023/4/22 | |
nekton: A Linearizability Proof Checker | Roland Meyer Anton Opaterny Thomas Wies Sebastian Wolff | 2023/7/17 | |
Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS … | Thomas Wies | 2023 | |
Complete multiparty session type projection with automata | Elaine Li Felix Stutz Thomas Wies Damien Zufferey | 2023/7/17 | |
Embedding hindsight reasoning in separation logic | Proceedings of the ACM on Programming Languages | Roland Meyer Thomas Wies Sebastian Wolff | 2023/6/6 |
Less is more: refinement proofs for probabilistic proofs | Kunming Jiang Devora Chait-Roth Zachary DeStefano Michael Walfish Thomas Wies | 2023/5/21 | |
Context-Aware Separation Logic | arXiv preprint arXiv:2307.15549 | Roland Meyer Thomas Wies Sebastian Wolff | 2023/7/28 |
A concurrent program logic with a future and history | Proceedings of the ACM on Programming Languages | Roland Meyer Thomas Wies Sebastian Wolff | 2022/10/31 |
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings | Dirk Beyer Damien Zufferey | 2020/1/14 | |
Needles in a Haystack: Using PORT to Catch Bad Behaviors within Application Recordings. | Preston Moore Thomas Wies Marc Waldman Phyllis G Frankl Justin Cappos | 2022 | |
The Edgeset Framework for Multicopy Structures | Siddharth Krishna Nisarg Patel Dennis Shasha Thomas Wies | 2021 | |
Inverse-weighted survival games | Advances in neural information processing systems | Xintian Han Mark Goldstein Aahlad Puli Thomas Wies Adler Perotte | 2021/12/6 |
The Flow Framework | Siddharth Krishna Nisarg Patel Dennis Shasha Thomas Wies | 2021 | |
Reasoning about Non-Static and Non-Local Linearization Points | Siddharth Krishna Nisarg Patel Dennis Shasha Thomas Wies | 2021 | |
Verifying Multicopy Structures | Siddharth Krishna Nisarg Patel Dennis Shasha Thomas Wies | 2021 | |
Automated repair for timed systems | Formal Methods in System Design | Martin Kölbl Stefan Leue Thomas Wies | 2021/12 |
Verifying the LSM DAG Template | Siddharth Krishna Nisarg Patel Dennis Shasha Thomas Wies | 2021 | |
Related Work, Future Work, and Conclusion | Siddharth Krishna Nisarg Patel Dennis Shasha Thomas Wies | 2021 | |
Verifying concurrent multicopy search structures | Proceedings of the ACM on Programming Languages | Nisarg Patel Siddharth Krishna Dennis Shasha Thomas Wies | 2021/10/15 |