- Ziyang Li, Jiani Huang, Jason Liu, Mayur Naik. Neurosymbolic Programming in Scallop: Principles and Practice. Foundations and Trends in Programming Languages, 8(2):118-249, 2024.
- Marco Vassena, Alejandro Russo, Deepak Garg 0001, Vineet Rajani, Deian Stefan. From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. Foundations and Trends in Programming Languages, 8(1):1-117, 2023.
- Marco Bernardo 0001. Probabilistic Trace and Testing Semantics: The Importance of Being Coherent. Foundations and Trends in Programming Languages, 7(4):244-332, 2022.
- Ranjit Jhala, Niki Vazou. Refinement Types: A Tutorial. Foundations and Trends in Programming Languages, 6(3-4):159-317, 2021.
- Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue. Neurosymbolic Programming. Foundations and Trends in Programming Languages, 7(3):158-243, 2021.
- Aws Albarghouthi. Introduction to Neural Network Verification. Foundations and Trends in Programming Languages, 7(1-2):1-157, 2021.
- Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival. Shape Analysis. Foundations and Trends in Programming Languages, 6(1-2):1-158, 2020.
- Hongjin Liang, Xinyu Feng. Progress of Concurrent Objects. Foundations and Trends in Programming Languages, 5(4):282-414, 2020.
- Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock. QED at Large: A Survey of Engineering of Formally Verified Software. Foundations and Trends in Programming Languages, 5(2-3):102-281, 2019.
- Oleg Kiselyov. Reconciling Abstraction with High Performance: A MetaOCaml approach. Foundations and Trends in Programming Languages, 5(1):1-101, 2018.