• 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 22 matches

• 2023
• 
  Matteo Basso, Aleksandar Prokopec, Andrea Rosà, Walter Binder:
  Optimization-Aware Compiler-Level Event Profiling. ACM Trans. Program. Lang. Syst. 45(2): 10:1-10:50 (2023)
• 
  Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser:
  Capturing Types. ACM Trans. Program. Lang. Syst. 45(4): 21:1-21:52 (2023)
• 
  Arthur Charguéraud, Adam Chlipala, Andres Erbsen, Samuel Gruetter:
  Omnisemantics: Smooth Handling of Nondeterminism. ACM Trans. Program. Lang. Syst. 45(1): 5:1-5:43 (2023)
• 
  Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella:
  A Model Checker for Operator Precedence Languages. ACM Trans. Program. Lang. Syst. 45(3): 19:1-19:66 (2023)
• 
  Olivier Danvy:
  The Tortoise and the Hare Algorithm for Finite Lists, Compositionally. ACM Trans. Program. Lang. Syst. 45(1): 1:1-1:35 (2023)
• 
  Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield:
  Focusing on Refinement Typing. ACM Trans. Program. Lang. Syst. 45(4): 22:1-22:62 (2023)
• 
  Hongyu Fan, Zhihang Sun, Fei He:
  Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. ACM Trans. Program. Lang. Syst. 45(1): 6:1-6:37 (2023)
• 
  Ben Greenman, Christos Dimoulas, Matthias Felleisen:
  Typed-Untyped Interactions: A Comparative Analysis. ACM Trans. Program. Lang. Syst. 45(1): 4:1-4:54 (2023)
• 
  Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters:
  SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Trans. Program. Lang. Syst. 45(3): 15:1-15:61 (2023)
• 
  Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks:
  A Verified Optimizer for Quantum Circuits. ACM Trans. Program. Lang. Syst. 45(3): 18:1-18:35 (2023)
• 
  Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer:
  Towards Porting Operating Systems with Program Synthesis. ACM Trans. Program. Lang. Syst. 45(1): 2:1-2:70 (2023)
• 
  Xiaodong Jia, Ashish Kumar, Gang Tan:
  A Derivative-based Parser Generator for Visibly Pushdown Grammars. ACM Trans. Program. Lang. Syst. 45(2): 9:1-9:68 (2023)
• 
  DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi:
  Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Trans. Program. Lang. Syst. 45(3): 16:1-16:37 (2023)
• 
  Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan:
  A First-order Logic with Frames. ACM Trans. Program. Lang. Syst. 45(2): 7:1-7:44 (2023)
• 
  David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
  Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ACM Trans. Program. Lang. Syst. 45(3): 17:1-17:41 (2023)
• 
  Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer:
  Immutability and Encapsulation for Sound OO Information Flow Control. ACM Trans. Program. Lang. Syst. 45(1): 3:1-3:35 (2023)
• 
  Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer:
  Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst. 45(2): 12:1-12:30 (2023)
• 
  Elizabeth Scott, Adrian Johnstone, Robert Walsh:
  Multiple Input Parsing and Lexical Analysis. ACM Trans. Program. Lang. Syst. 45(3): 14:1-14:44 (2023)
• 
  Luigi Soares, Michael Canesche, Fernando Magno Quintão Pereira:
  Side-channel Elimination via Partial Control-flow Linearization. ACM Trans. Program. Lang. Syst. 45(2): 13:1-13:43 (2023)
• 
  Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter:
  Contextual Linear Types for Differential Privacy. ACM Trans. Program. Lang. Syst. 45(2): 8:1-8:69 (2023)
• 
  Maja Vukasovic, Aleksandar Prokopec:
  Exploiting Partially Context-sensitive Profiles to Improve Performance of Hot Code. ACM Trans. Program. Lang. Syst. 45(4): 20:1-20:64 (2023)
• 
  Eugene Yip, Alain Girault, Partha S. Roop, Morteza Biglari-Abhari:
  Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC. ACM Trans. Program. Lang. Syst. 45(2): 11:1-11:74 (2023)