Learning Guided Enumerative Synthesis for Superoptimization. - Shikhar Singh; Mengshi Zhang; Sarfraz Khurshid (SPIN, 2019)

Parallel Chopped Symbolic Execution. - Shikhar Singh; Sarfraz Khurshid (ICFEM, 2020)

Designing Neural Networks Using Logical Specs. - Shikhar Singh; Marko Vasic; Sarfraz Khurshid (ISSRE, 2020)

MELINDA: A Multimodal Dataset for Biomedical Experiment Method Classification. - Te-Lin Wu; Shikhar Singh; Sayan Paul; Gully A. Burns; Nanyun Peng 001 (AAAI, 2021)

COM2SENSE: A Commonsense Reasoning Benchmark with Complementary Sentences. - Shikhar Singh; Nuan Wen; Yu Hou; Pegah Alipoormolabashi; Te-Lin Wu; Xuezhe Ma; Nanyun Peng 001 (ACL/IJCNLP (Findings), 2021)

EventPlus: A Temporal Event Understanding Pipeline. - Mingyu Derek Ma; Jiao Sun; Mu Yang; Kung-Hsiang Huang; Nuan Wen; Shikhar Singh; Rujun Han; Nanyun Peng 001 (NAACL-HLT (Demonstrations), 2021)

Distributed Symbolic Execution using Test-Depth Partitioning. - Shikhar Singh; Sarfraz Khurshid (CoRR, 2021)

Using Graph Neural Networks to model the performance of Deep Neural Networks. - Shikhar Singh; Benoit Steiner; James Hegarty; Hugh Leather (CoRR, 2021)

A graph neural network-based performance model for deep learning applications. - Shikhar Singh; James Hegarty; Hugh Leather; Benoit Steiner (MAPS@PLDI, 2022)

VIPHY: Probing "Visible" Physical Commonsense Knowledge. - Shikhar Singh; Ehsan Qasemi; Muhao Chen 001 (EMNLP (Findings), 2023)

Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models. - Aarohi Srivastava; Abhinav Rastogi; Abhishek Rao; Abu Awal Md Shoeb; Abubakar Abid; Adam Fisch; Adam R. Brown; Adam Santoro; Aditya Gupta; Adrià Garriga-Alonso; Agnieszka Kluska; Aitor Lewkowycz; et al. (Trans. Mach. Learn. Res., 2023)

FMS: Enhancing Fleet Management Scheme with Long Term Low-Latency V2X Services and Edge-based Video Stream Analytics. - Kashish Mahajan; Oshin Rawlley; Shashank Gupta 002; Shikhar Singh (IV, 2024)

Optimizing Quality-of-Service (QoS) using Semantic Sensing and Digital-Twin in Pro-dynamic Internet of Vehicles (IoV). - Oshin Rawlley; Shashank Gupta 002; Tanisha Bhattacharyya; Shikhar Singh (VTC Fall, 2024)