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

• 2015
• 
  Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman:
  Hybrid DOM-Sensitive Change Impact Analysis for JavaScript. ECOOP 2015: 321-345
• 
  Abhilash Bhandari, V. Krishna Nandivada:
  Loop Tiling in the Presence of Exceptions. ECOOP 2015: 124-148
• 
  Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis:
  Streams a la carte: Extensible Pipelines with Object Algebras. ECOOP 2015: 591-613
• 
  Pontus Boström, Peter Müller:
  Modular Verification of Finite Blocking in Non-terminating Programs. ECOOP 2015: 639-663
• 
  Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich:
  Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. ECOOP 2015: 568-590
• 
  Paolina Centonze, Marco Pistoia, Omer Tripp:
  Access-rights Analysis in the Presence of Subjects. ECOOP 2015: 222-246
• 
  Maxime Chevalier-Boisvert, Marc Feeley:
  Simple and Effective Type Check Removal through Lazy Basic Block Versioning. ECOOP 2015: 101-123
• 
  Jong-Deok Choi:
  Programming in the Large for the Internet of Things (Invited Talk). ECOOP 2015: 2-2
• 
  Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski:
  Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. ECOOP 2015: 247-270
• 
  Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith:
  Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. ECOOP 2015: 470-494
• 
  Lu Fang, Liang Dou, Guoqing Xu:
  PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification. ECOOP 2015: 296-320
• 
  Riyaz Haque, Jens Palsberg:
  Type Inference for Place-Oblivious Objects. ECOOP 2015: 371-395
• 
  David Hauzar, Jan Kofron:
  Framework for Static Analysis of PHP Applications. ECOOP 2015: 689-711
• 
  Shams Imam, Vivek Sarkar:
  The Eureka Programming Model for Speculative Task Parallelism. ECOOP 2015: 421-444
• 
  Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper:
  Modular Termination Verification. ECOOP 2015: 664-688
• 
  Timothy Jones, Michael Homer, James Noble:
  Brand Objects for Nominal Typing. ECOOP 2015: 198-221
• 
  Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
  Transparent Object Proxies in JavaScript. ECOOP 2015: 149-173
• 
  Matthias Keil, Peter Thiemann:
  TreatJS: Higher-Order Contracts for JavaScripts. ECOOP 2015: 28-51
• 
  Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis:
  Asynchronous Liquid Separation Types. ECOOP 2015: 396-420
• 
  Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin:
  A Theory of Tagged Objects. ECOOP 2015: 174-197
• 
  Yuheng Long, Yu David Liu, Hridesh Rajan:
  Intensional Effect Polymorphism. ECOOP 2015: 346-370
• 
  Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi:
  The Love/Hate Relationship with the C Preprocessor: An Interview Study. ECOOP 2015: 495-518
• 
  Changhee Park, Sukyoung Ryu:
  Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. ECOOP 2015: 735-756
• 
  Gustavo Petri, Jan Vitek, Suresh Jagannathan:
  Cooking the Books: Formalizing JMM Implementation Recipes. ECOOP 2015: 445-469
• 
  Michael Pradel, Koushik Sen:
  The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. ECOOP 2015: 519-541
• 
  Gregor Richards, Francesco Zappa Nardelli, Jan Vitek:
  Concrete Types for TypeScript. ECOOP 2015: 76-100
• 
  Malte Schwerhoff, Alexander J. Summers:
  Lightweight Support for Magic Wands in an Automatic Verifier. ECOOP 2015: 614-638
• 
  Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
  A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. ECOOP 2015: 542-567
• 
  Vincent St-Amour, Shu-yu Guo:
  Optimization Coaching for JavaScript. ECOOP 2015: 271-295
• 
  Bjarne Stroustrup:
  Object-Oriented Programming without Inheritance (Invited Talk). ECOOP 2015: 1-1

skipping 6 more matches