Jon Mathews

According to our database, Jon Mathews authored at least 8 papers between 2014 and 2018.

Collaborative distances:

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

2018

COMB: computing relevant program behaviors.

Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Modeling lessons from verifying large software systems for safety and security.

Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi, Jon Mathews

Proceedings of the 2017 Winter Simulation Conference, 2017

Interactive visualization toolbox to detect sophisticated android malware.

Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari, Jon Mathews

Proceedings of the 14th IEEE Symposium on Visualization for Cyber Security, 2017

2016

Human-machine resolution of Invisible Control Flow?

Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration.

Suresh C. Kothari, Ahmed Tamrawi, Jeremias Sauceda, Jon Mathews

Proceedings of the 38th International Conference on Software Engineering, 2016

Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration.

Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Security Toolbox for Detecting Novel and Sophisticated Android Malware.

Benjamin Holland, Tom Deering, Suresh C. Kothari, Jon Mathews, Nikhil Ranade

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Atlas: a new way to explore software, build analysis tools.

Tom Deering, Suresh C. Kothari, Jeremias Sauceda, Jon Mathews

Proceedings of the 36th International Conference on Software Engineering, 2014