Hayes Converse

According to our database, Hayes Converse authored at least 9 papers between 2016 and 2020.

Collaborative distances:

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

2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Probabilistic Symbolic Analysis of Neural Networks.

Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu

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

On the probabilistic analysis of neural networks.

Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

2019

Quantifying the Exploration of the Korat Solver for Imperative Constraints.

Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2019

Finding Invariants in Deep Neural Networks.

Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu

CoRR, 2019

Property Inference for Deep Neural Networks.

Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

A Progress Bar for the JPF Search Using Program Executions.

Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2018

2017

Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution.

Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level.

Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016