Awanish Pandey

According to our database, Awanish Pandey authored at least 6 papers between 2016 and 2021.

Collaborative distances:

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

2021

Input Validation with Symbolic Execution.

Anay Mehrotra, Ayush Bansal, Awanish Pandey, Subhajit Roy

CoRR, 2021

2020

Interactive debugging of concurrent programs under relaxed memory models.

Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2019

Deferred concretization in symbolic execution via fuzzing.

Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Bug synthesis: challenging bug-finding tools with deep faults.

Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt, Yu Hu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2016

Regression aware debugging for mobile applications.

Rohan Bavishi, Awanish Pandey, Subhajit Roy

Proceedings of the 1st International Workshop on Mobile Development, 2016

To be precise: regression aware debugging.

Rohan Bavishi, Awanish Pandey, Subhajit Roy

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016