Found. Trends Program. Lang.

Keyphrases

Publications

volume 8, number 1, 2023

Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. Found. Trends Program. Lang. 8 (1) (2023)

volume 7, number 4, 2022

Marco Bernardo
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent. Found. Trends Program. Lang. 7 (4) (2022)

volume 7, number 1-2, 2021

Aws Albarghouthi
Introduction to Neural Network Verification. Found. Trends Program. Lang. 7 (1-2) (2021)

volume 7, number 3, 2021

Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue
Neurosymbolic Programming. Found. Trends Program. Lang. 7 (3) (2021)

volume 6, number 3-4, 2021

Ranjit Jhala, Niki Vazou
Refinement Types: A Tutorial. Found. Trends Program. Lang. 6 (3-4) (2021)

volume 6, number 1-2, 2020

Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival
Shape Analysis. Found. Trends Program. Lang. 6 (1-2) (2020)

volume 5, number 4, 2020

Hongjin Liang, Xinyu Feng
Progress of Concurrent Objects. Found. Trends Program. Lang. 5 (4) (2020)

volume 5, number 2-3, 2019

Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
QED at Large: A Survey of Engineering of Formally Verified Software. Found. Trends Program. Lang. 5 (2-3) (2019)

volume 5, number 1, 2018

Oleg Kiselyov
Reconciling Abstraction with High Performance: A MetaOCaml approach. Found. Trends Program. Lang. 5 (1) (2018)

volume 4, number 1-2, 2017

Sumit Gulwani, Oleksandr Polozov, Rishabh Singh
Program Synthesis. Found. Trends Program. Lang. 4 (1-2) (2017)

volume 4, number 3-4, 2017

Antoine Miné
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation. Found. Trends Program. Lang. 4 (3-4) (2017)

volume 3, number 1, 2016

Alvin Cheung, Armando Solar-Lezama
Computer-Assisted Query Formulation. Found. Trends Program. Lang. 3 (1) (2016)

volume 3, number 2-3, 2016

volume 3, number 4, 2016

Martin T. Vechev, Eran Yahav
Programming with "Big Code". Found. Trends Program. Lang. 3 (4) (2016)

volume 2, number 4, 2016

Andrzej S. Murawski, Nikos Tzevelekos
Nominal Game Semantics. Found. Trends Program. Lang. 2 (4) (2016)

volume 2, number 1, 2015

Yannis Smaragdakis, George Balatsouras
Pointer Analysis. Found. Trends Program. Lang. 2 (1) (2015)

volume 2, number 2-3, 2015

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2 (2-3) (2015)

volume 1, number 4, 2015

Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
A Framework For Efficient Modular Heap Analysis. Found. Trends Program. Lang. 1 (4) (2015)

volume 1, number 1-2, 2014

Sebastian Burckhardt
Principles of Eventual Consistency. Found. Trends Program. Lang. 1 (1-2) (2014)

volume 1, number 3, 2014

Véronique Cortier, Steve Kremer
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial. Found. Trends Program. Lang. 1 (3) (2014)