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

• 2024
• 
  Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, Eric Wong:
  TorchQL: A Programming Framework for Integrity Constraints in Machine Learning. Proc. ACM Program. Lang. 8(OOPSLA1): 833-863 (2024)
• 
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri:
  LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation. IEEE Trans. Software Eng. 50(9): 2254-2268 (2024)
• 
  Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong:
  Towards Compositionality in Concept Learning. ICML 2024
• 
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri:
  Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. ICSE Companion 2024: 390-391
• 
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri:
  LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. CoRR abs/2404.10100 (2024)
• 
  Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong:
  Towards Compositionality in Concept Learning. CoRR abs/2406.18534 (2024)
• 
  Aaditya Naik, Jason Liu, Claire Wang, Saikat Dutta, Mayur Naik, Eric Wong:
  Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning. CoRR abs/2410.03348 (2024)
• 2023
• 
  Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik:
  Relational Query Synthesis ⋈ Decision Tree Learning. Proc. VLDB Endow. 17(2): 250-263 (2023)
• 
  Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong:
  Do Machine Learning Models Learn Statistical Rules Inferred from Data? ICML 2023: 25677-25693
• 
  Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong:
  Do Machine Learning Models Learn Common Sense? CoRR abs/2303.01433 (2023)
• 
  Aaditya Naik, Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik:
  MDB: Interactively Querying Datasets and Models. CoRR abs/2308.06686 (2023)
• 2022
• 
  Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik:
  CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. ICLR 2022
• 
  Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao:
  Interactive Code Generation via Test-Driven User-Intent Formalization. CoRR abs/2208.05950 (2022)
• 2021
• 
  Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik:
  GENSYNTH: Synthesizing Datalog Programs without Language Bias. AAAI 2021: 6444-6453
• 
  Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman:
  Example-guided synthesis of relational queries. PLDI 2021: 1110-1125
• 
  Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman:
  Sporq: An Interactive Environment for Exploring Code using Query-by-Example. UIST 2021: 84-99
• 2020
• 
  Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song:
  Code2Inv: A Deep Learning Framework for Program Verification. CAV (2) 2020: 151-164