• 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

• 2024
• 
  Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma:
  Enabling Memory Safety of C Programs using LLMs. CoRR abs/2404.01096 (2024)
• 2023
• 
  Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy:
  Ranking LLM-Generated Loop Invariants for Program Verification. EMNLP (Findings) 2023: 9164-9175
• 
  Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy:
  Ranking LLM-Generated Loop Invariants for Program Verification. CoRR abs/2310.09342 (2023)
• 
  Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma:
  Finding Inductive Loop Invariants using Large Language Models. CoRR abs/2311.07948 (2023)
• 2022
• 
  Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi:
  SecFloat: Accurate Floating-Point meets Secure 2-Party Computation. SP 2022: 576-595
• 
  Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi:
  SecFloat: Accurate Floating-Point meets Secure 2-Party Computation. IACR Cryptol. ePrint Arch. 2022: 322 (2022)
• 2021
• 
  Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi:
  SiRnn: A Math Library for Secure RNN Inference. SP 2021: 1003-1020
• 
  Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi:
  SIRNN: A Math Library for Secure RNN Inference. CoRR abs/2105.04236 (2021)
• 
  Deevashwer Rathee, Mayank Rathee, G. Rahul Kranti Kiran, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi:
  SIRNN: A Math Library for Secure RNN Inference. IACR Cryptol. ePrint Arch. 2021: 459 (2021)
• 2020
• 
  Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
  CrypTFlow2: Practical 2-Party Secure Inference. CCS 2020: 325-342
• 
  Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
  CrypTFlow: Secure TensorFlow Inference. SP 2020: 336-353
• 
  Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
  CrypTFlow2: Practical 2-Party Secure Inference. CoRR abs/2010.06457 (2020)
• 
  Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya V. Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare:
  Secure Medical Image Analysis with CrypTFlow. CoRR abs/2012.05064 (2020)
• 
  Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
  CrypTFlow2: Practical 2-Party Secure Inference. IACR Cryptol. ePrint Arch. 2020: 1002 (2020)
• 2019
• 
  Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi:
  EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning. EuroS&P 2019: 496-511
• 
  Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
  CrypTFlow: Secure TensorFlow Inference. CoRR abs/1909.07814 (2019)
• 
  Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
  CrypTFlow: Secure TensorFlow Inference. IACR Cryptol. ePrint Arch. 2019: 1049 (2019)
• 2017
• 
  Aseem Sharma, Krishna P. Jagannathan, Lav R. Varshney:
  Queuing Approaches to Principal-Agent Communication Under Information Overload. IEEE Trans. Inf. Theory 63(9): 6041-6058 (2017)
• 
  Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi:
  EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation. IACR Cryptol. ePrint Arch. 2017: 1109 (2017)
• 2016
• 
  Aseem Sharma, Krishna P. Jagannathan, Lav R. Varshney:
  Queuing Approaches to Principal-Agent Communication under Information Overload. CoRR abs/1605.00802 (2016)
• 2014
• 
  Aseem Sharma, Krishna P. Jagannathan, Lav R. Varshney:
  Information overload and human priority queuing. ISIT 2014: 831-835
• 1997
• 
  Bernd Bruegge, Truman Fenton, Tae Wook Kim, Ricardo Pravia, Aseem Sharma, Benedict Fernandes, Seongju Chang, Volker Hartkopf:
  Turning light bulbs into objects. OOPSLA Addendum 1997: 10-15