Thomas Porter

According to our database, Thomas Porter authored at least 9 papers between 1975 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2026

Incremental Live Programming via Shortcut Memoization.

Marisa Kirisame, Thomas Porter, Ruqing Yang, Jianqiu Zhao, Yudi Wu, Ivan Wei, Cyrus Omar, Pavel Panchekha

CoRR, March, 2026

2025

Incremental Bidirectional Typing via Order Maintenance.

Thomas Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar

Proc. ACM Program. Lang., 2025

Syntactic Completions with Material Obligations.

David Moon, Andrew Blinn, Thomas Porter, Cyrus Omar

Proc. ACM Program. Lang., 2025

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus.

Michael D. Adams, Eric Griffis, Thomas Porter, Sundara Vishnu Satish, Eric Zhao, Cyrus Omar

Proc. ACM Program. Lang., 2025

2024

Polymorphism with Typed Holes.

Adam Chen, Thomas Porter, Cyrus Omar

Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024

2022

Automatic Error Analysis for Document-level Information Extraction.

Aliva Das, Xinya Du, Barry Wang, Kejian Shi, Jiayuan Gu, Thomas Porter, Claire Cardie

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

2020

In-Situ LED-Based Observation of Snow Surface and Depth Transects.

Celeste Barnes, Chris Hopkinson, Thomas Porter, Zhouxin Xi

Sensors, 2020

2009

Identifying Diabetic Patients: A Data Mining Approach.

Thomas Porter, Barbara Green

Proceedings of the 15th Americas Conference on Information Systems, 2009

1975

Random Insertion into a Priority Queue Structure.

Thomas Porter, István Simon

IEEE Trans. Software Eng., 1975