- Gagandeep Singh 0001, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee 0001, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang. Safety and Trust in Artificial Intelligence with Abstract Interpretation. Foundations and Trends in Programming Languages, 8(3-4):250-408, 2025.
- Joseph P. Near, Chike Abuah. Programming Differential Privacy. Foundations and Trends in Programming Languages, 9(1-2):1-193, 2025.
- 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.