• 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 1,963 matches

• 2024
• 
  Mridul Aanjaneya, Santosh Nagarakatte:
  Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation. Proc. ACM Program. Lang. 8(PLDI): 1239-1263 (2024)
• 
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
  Verification under Intel-x86 with Persistency. Proc. ACM Program. Lang. 8(PLDI): 1189-1212 (2024)
• 
  Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey:
  SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. 8(PLDI): 1437-1462 (2024)
• 
  Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, Manas Thakur:
  Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes. Proc. ACM Program. Lang. 8(PLDI): 296-319 (2024)
• 
  Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal:
  Jacdac: Service-Based Prototyping of Embedded Systems. Proc. ACM Program. Lang. 8(PLDI): 692-715 (2024)
• 
  Debangshu Banerjee, Changming Xu, Gagandeep Singh:
  Input-Relational Verification of Deep Neural Networks. Proc. ACM Program. Lang. 8(PLDI): 1-27 (2024)
• 
  Aurèle Barrière, Clément Pit-Claudel:
  Linear Matching of JavaScript Regular Expressions. Proc. ACM Program. Lang. 8(PLDI): 1336-1360 (2024)
• 
  McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka:
  Probabilistic Programming with Programmable Variational Inference. Proc. ACM Program. Lang. 8(PLDI): 2123-2147 (2024)
• 
  Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek:
  Decidable Subtyping of Existential Types for Julia. Proc. ACM Program. Lang. 8(PLDI): 1091-1114 (2024)
• 
  Lasse Blaauwbroek, Miroslav Olsák, Herman Geuvers:
  Hashing Modulo Context-Sensitive 𝛼-Equivalence. Proc. ACM Program. Lang. 8(PLDI): 2027-2050 (2024)
• 
  Ajay Brahmakshatriya, Martin C. Rinard, Manya Ghobadi, Saman P. Amarasinghe:
  NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks. Proc. ACM Program. Lang. 8(PLDI): 467-491 (2024)
• 
  Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster:
  An Algebraic Language for Specifying Quantum Networks. Proc. ACM Program. Lang. 8(PLDI): 1313-1335 (2024)
• 
  Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic:
  Equivalence and Similarity Refutation for Probabilistic Programs. Proc. ACM Program. Lang. 8(PLDI): 2098-2122 (2024)
• 
  Tianyu Chen, Jeremy G. Siek:
  Quest Complete: The Holy Grail of Gradual Security. Proc. ACM Program. Lang. 8(PLDI): 1609-1632 (2024)
• 
  Hongzheng Chen, Niansong Zhang, Shaojie Xiang, Zhichen Zeng, Mengjia Dai, Zhiru Zhang:
  Allo: A Programming Model for Composable Accelerator Design. Proc. ACM Program. Lang. 8(PLDI): 593-620 (2024)
• 
  Guofeng Cui, Yuning Wang, Wenjie Qiu, He Zhu:
  Reward-Guided Synthesis of Intelligent Agents with Control Structures. Proc. ACM Program. Lang. 8(PLDI): 1730-1754 (2024)
• 
  Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce:
  Stream Types. Proc. ACM Program. Lang. 8(PLDI): 1412-1436 (2024)
• 
  Thibault Dardinier, Peter Müller:
  Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties. Proc. ACM Program. Lang. 8(PLDI): 1485-1509 (2024)
• 
  Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood:
  Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. 8(PLDI): 816-840 (2024)
• 
  Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala:
  Foundational Integration Verification of a Cryptographic Server. Proc. ACM Program. Lang. 8(PLDI): 1704-1729 (2024)
• 
  Wang Fang, Mingsheng Ying:
  Symbolic Execution for Quantum Error Correction Programs. Proc. ACM Program. Lang. 8(PLDI): 1040-1065 (2024)
• 
  Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos:
  Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs. Proc. ACM Program. Lang. 8(PLDI): 417-441 (2024)
• 
  Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, Amal Ahmed:
  RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly. Proc. ACM Program. Lang. 8(PLDI): 1656-1679 (2024)
• 
  Yannick Forster, Matthieu Sozeau, Nicolas Tabareau:
  Verified Extraction from Coq to OCaml. Proc. ACM Program. Lang. 8(PLDI): 52-75 (2024)
• 
  Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, Derek Dreyer:
  RefinedRust: A Type System for High-Assurance Verification of Rust Programs. Proc. ACM Program. Lang. 8(PLDI): 1115-1139 (2024)
• 
  Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein:
  Bit Blasting Probabilistic Programs. Proc. ACM Program. Lang. 8(PLDI): 865-888 (2024)
• 
  Chujun Geng, Spyros Blanas, Michael D. Bond, Yang Wang:
  IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications. Proc. ACM Program. Lang. 8(PLDI): 343-367 (2024)
• 
  Guillaume Girol, Guilhem Lacombe, Sébastien Bardin:
  Quantitative Robustness for Vulnerability Assessment. Proc. ACM Program. Lang. 8(PLDI): 741-765 (2024)
• 
  Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey:
  Mechanised Hypersafety Proofs about Structured Data. Proc. ACM Program. Lang. 8(PLDI): 647-670 (2024)
• 
  Samuel Gruetter, Viktor Fukala, Adam Chlipala:
  Live Verification in an Interactive Proof Assistant. Proc. ACM Program. Lang. 8(PLDI): 1535-1558 (2024)

skipping 1,933 more matches