Published in OOPSLA, 2017
you can make sound gradual typing fast
Recommended citation: Gregor Richards, Ellen Arteca, and Alexi Turcotte. 2017. The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing. Proc. ACM Program. Lang. 1, OOPSLA, Article 55 (October 2017), 27 pages. http://reallytg.github.io/files/papers/oopsla17-oopsla98.pdf
Published in LATIN, 2018
better approximation for cutting up an orthogonal histogram into boxes
Recommended citation: Therese Biedl, Martin Derka, Veronika Irvine, Anna Lubiw, Debajyoti Mondal, and Alexi Turcotte. 2018. Partitioning Orthogonal Histograms Into Rectangular Boxes. Latin American Theoretical Informatics Symposium, LATIN, 14 pages. http://reallytg.github.io/files/papers/latin18-histograms.pdf
Published in CCCG, 2018
study of unit bar-visibility representations
Recommended citation: Therese Biedl, Ahmad Biniaz, Veronika Irvine, Philipp Kindermann, Anurag Murty Naredla, and Alexi Turcotte. 2018. Integral Unit Bar-Visibility Graphs. Canadian Conference on Computational Geometry, CCCG, 7 pages. http://reallytg.github.io/files/papers/cccg18-unit-bar.pdf
Published in University of Waterloo, 2018
embrace nondeterminism
Recommended citation: Alexi Turcotte. 2018. Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics. MMAth Computer Science. http://reallytg.github.io/files/papers/thesis.pdf
Published in arXiv, 2019
study of token swapping on trees
Recommended citation: Ahmad Biniaz, Kshitij Jain, Anna Lubiw, Zuzana Masárová, Tillmann Miltzow, Debajyoti Mondal, Anurag Murty Naredla, Josef Tkadlec, Alexi Turcotte. 2019. Token Swapping on Trees. arXiv, 37 pages. http://reallytg.github.io/files/papers/arxiv19-token-swap.pdf
Published in ECOOP, 2019
use our recipe to make simple reasoning about ffis easy
Recommended citation: Alexi Turcotte, Ellen Arteca, and Gregor Richards. 2019. Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language. European Conference on Object-Oriented Programming, ECOOP, Article 16 (July 2019), 32 pages. http://reallytg.github.io/files/papers/ecoop19-preprint.pdf
Published:
i gave a talk on how to reason about ffis without (fully) modelling the foreign language