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

• 2023
• 
  José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari:
  FlashFill++: Scaling Programming by Example by Cutting to the Chase. Proc. ACM Program. Lang. 7(POPL): 952-981 (2023)
• 2022
• 
  Juan Aparicio, Sergio Perelman, Daniel Santín:
  Comparing the evolution of productivity and performance gaps in education systems through DEA: an application to Latin American countries. Oper. Res. 22(2): 1443-1477 (2022)
• 2020
• 
  Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani:
  An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. ICPR 2020: 4062-4069
• 
  Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman:
  Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR abs/2006.12638 (2020)
• 2018
• 
  Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein:
  FlashProfile: a framework for synthesizing data profiles. Proc. ACM Program. Lang. 2(OOPSLA): 150:1-150:28 (2018)
• 2017
• 
  Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani:
  Interactive Program Synthesis. CoRR abs/1703.03539 (2017)
• 
  Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein:
  FlashProfile: Interactive Synthesis of Syntactic Profiles. CoRR abs/1709.05725 (2017)
• 2016
• 
  Kaushik Veeraraghavan, Justin Meza, David Chou, Wonho Kim, Sonia Margulis, Scott Michelson, Rajesh Nishtala, Daniel Obenshain, Dmitri Perelman, Yee Jiun Song:
  Kraken: Leveraging Live Traffic Tests to Identify and Resolve Resource Utilization Bottlenecks in Large Scale Web Services. OSDI 2016: 635-651
• 2015
• 
  Daniel Perelman:
  Program Synthesis Without Full Specifications for Novel Applications. University of Washington, USA, 2015
• 2014
• 
  Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie:
  Code hunt: searching for secret code for fun. SBST 2014: 23-26
• 
  Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost:
  Test-driven synthesis. PLDI 2014: 408-418
• 2012
• 
  Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman:
  Type-directed completion of partial expressions. PLDI 2012: 275-286
• 2009
• 
  Sergio Perelman, Daniel Santín:
  How to generate regularly behaved production data? A Monte Carlo experimentation on DEA scale efficiency measurement. Eur. J. Oper. Res. 199(1): 303-310 (2009)