Shikhar Singh

According to our database, Shikhar Singh authored at least 10 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

VIPHY: Probing "Visible" Physical Commonsense Knowledge.

Shikhar Singh, Ehsan Qasemi, Muhao Chen

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

2022

A graph neural network-based performance model for deep learning applications.

Shikhar Singh, James Hegarty, Hugh Leather, Benoit Steiner

Proceedings of the MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, 2022

2021

Using Graph Neural Networks to model the performance of Deep Neural Networks.

Shikhar Singh, Benoit Steiner, James Hegarty, Hugh Leather

CoRR, 2021

Distributed Symbolic Execution using Test-Depth Partitioning.

Shikhar Singh, Sarfraz Khurshid

CoRR, 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

Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Demonstrations, 2021

COM2SENSE: A Commonsense Reasoning Benchmark with Complementary Sentences.

Shikhar Singh, Nuan Wen, Yu Hou, Pegah Alipoormolabashi, Te-Lin Wu, Xuezhe Ma, Nanyun Peng

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

MELINDA: A Multimodal Dataset for Biomedical Experiment Method Classification.

Te-Lin Wu, Shikhar Singh, Sayan Paul, Gully A. Burns, Nanyun Peng

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Designing Neural Networks Using Logical Specs.

Shikhar Singh, Marko Vasic, Sarfraz Khurshid

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Parallel Chopped Symbolic Execution.

Shikhar Singh, Sarfraz Khurshid

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Learning Guided Enumerative Synthesis for Superoptimization.

Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the Model Checking Software - 26th International Symposium, 2019