Publications

Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthäuser (2024). Qualifying System F-sub. In OOPSLA 2024.

PDF DOI

Edward Lee, Ondřej Lhoták (2023). Simple Reference Immutability for System F-sub. In OOPSLA 2023.

PDF Cite Slides DOI

Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondřej Lhoták, Jonathan Brachthäuser (2023). Capturing Types. In TOPLAS.

PDF Cite DOI

Edward Lee, Kavin Satheeskumar, Ondřej Lhoták (2023). Dependency Free Capture Tracking. In FTfJP 2023.

PDF Cite DOI

Jonathan Brachthäuser, Phillip Schuster, Edward Lee, Aleksander Boruch-Gruszecki (2022). Effects, Capabilities, and Boxes: From Scoped-based Reasoning, to Typed-based Reasoning, and Back. In OOPSLA 2022.

PDF Cite DOI

Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Brachthäuser, Ondřej Lhoták (2021). Safer Exceptions for Scala. In SCALA 2021.

PDF Cite DOI

Konstantinos Georgiou, Andy Jiang, Edward Lee, Astrid A. Olave, Ian Seong, Twesh Upadhyaya (2020). Lift & project systems performing on the partial-vertex-cover polytope. In Volume 820, TCS A.

PDF Cite DOI

Adam Roegiest, Edward Lee (2019). On Tradeoffs Between Document Signature Methods for A Legal Due Diligence Corpus. In SIGIR 2019.

PDF Cite DOI

Jim Geelen, Edward Lee (2019). Naji's characterization of circle graphs. In Volume 93, Issue 1, JGT.

PDF Cite DOI

Edward Lee (2017). Circle Graph Obstructions. MMath Thesis.

PDF Cite DOI

Konstantinos Georgiou, Edward Lee (2014). Lift & project systems performing on the partial-vertex-cover polytope (extended abstract). In FSTTCS 2014.

PDF Cite DOI