• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 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): 1-117 (2023)
• 2022
• 
  Marco Bernardo:
  Probabilistic Trace and Testing Semantics: The Importance of Being Coherent. Found. Trends Program. Lang. 7(4): 244-332 (2022)
• 2021
• 
  Aws Albarghouthi:
  Introduction to Neural Network Verification. Found. Trends Program. Lang. 7(1-2): 1-157 (2021)
• 
  Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue:
  Neurosymbolic Programming. Found. Trends Program. Lang. 7(3): 158-243 (2021)
• 
  Ranjit Jhala, Niki Vazou:
  Refinement Types: A Tutorial. Found. Trends Program. Lang. 6(3-4): 159-317 (2021)
• 2020
• 
  Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival:
  Shape Analysis. Found. Trends Program. Lang. 6(1-2): 1-158 (2020)
• 
  Hongjin Liang, Xinyu Feng:
  Progress of Concurrent Objects. Found. Trends Program. Lang. 5(4): 282-414 (2020)
• 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): 102-281 (2019)
• 2018
• 
  Oleg Kiselyov:
  Reconciling Abstraction with High Performance: A MetaOCaml approach. Found. Trends Program. Lang. 5(1): 1-101 (2018)
• 2017
• 
  Sumit Gulwani, Oleksandr Polozov, Rishabh Singh:
  Program Synthesis. Found. Trends Program. Lang. 4(1-2): 1-119 (2017)
• 
  Antoine Miné:
  Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation. Found. Trends Program. Lang. 4(3-4): 120-372 (2017)
• 2016
• 
  Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida:
  Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016)
• 
  Alvin Cheung, Armando Solar-Lezama:
  Computer-Assisted Query Formulation. Found. Trends Program. Lang. 3(1): 1-94 (2016)
• 
  Andrzej S. Murawski, Nikos Tzevelekos:
  Nominal Game Semantics. Found. Trends Program. Lang. 2(4): 191-269 (2016)
• 
  Martin T. Vechev, Eran Yahav:
  Programming with "Big Code". Found. Trends Program. Lang. 3(4): 231-284 (2016)
• 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): 71-190 (2015)
• 
  Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani:
  A Framework For Efficient Modular Heap Analysis. Found. Trends Program. Lang. 1(4): 269-381 (2015)
• 
  Yannis Smaragdakis, George Balatsouras:
  Pointer Analysis. Found. Trends Program. Lang. 2(1): 1-69 (2015)
• 2014
• 
  Sebastian Burckhardt:
  Principles of Eventual Consistency. Found. Trends Program. Lang. 1(1-2): 1-150 (2014)
• 
  Véronique Cortier, Steve Kremer:
  Formal Models and Techniques for Analyzing Security Protocols: A Tutorial. Found. Trends Program. Lang. 1(3): 151-267 (2014)