Thomas Porter

12 papers Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Incremental Live Programming via Shortcut Memoization.
CoRR
Marisa Kirisame, Thomas Porter, Ruqing Yang, Jianqiu Zhao, Yudi Wu, Ivan Wei, Cyrus Omar, Pavel Panchekha
2025 J jnl
Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus.
Proc. ACM Program. Lang.
Michael D. Adams, Eric Griffis, Thomas Porter, Sundara Vishnu Satish, Eric Zhao, Cyrus Omar
2025 J jnl
Incremental Bidirectional Typing via Order Maintenance.
CoRR
Thomas Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
2025 J jnl
Incremental Bidirectional Typing via Order Maintenance.
Proc. ACM Program. Lang.
Thomas Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
2025 J jnl
Syntactic Completions with Material Obligations.
CoRR
David Moon, Andrew Blinn, Thomas Porter, Cyrus Omar
2025 J jnl
Syntactic Completions with Material Obligations.
Proc. ACM Program. Lang.
David Moon, Andrew Blinn, Thomas Porter, Cyrus Omar
2024 — conf
Polymorphism with Typed Holes.
TFP
Adam Chen, Thomas Porter, Cyrus Omar
2022 — conf
Automatic Error Analysis for Document-level Information Extraction.
ACL (1)
Aliva Das, Xinya Du, Barry Wang, Kejian Shi, Jiayuan Gu, Thomas Porter, Claire Cardie
2022 J jnl
Automatic Error Analysis for Document-level Information Extraction.
CoRR
Aliva Das, Xinya Du, Barry Wang, Kejian Shi, Jiayuan Gu, Thomas Porter, Claire Cardie
2020 J jnl
In-Situ LED-Based Observation of Snow Surface and Depth Transects.
Sensors
Celeste Barnes, Chris Hopkinson, Thomas Porter, Zhouxin Xi
2009 — conf
Identifying Diabetic Patients: A Data Mining Approach.
AMCIS
Thomas Porter, Barbara Green
1975 J jnl
Random Insertion into a Priority Queue Structure.
IEEE Trans. Software Eng.
Thomas Porter, István Simon