Paul Mountcastle

According to our database, Paul Mountcastle authored at least 2 papers between 2015 and 2016.

Collaborative distances:

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

2016

A unified Coq framework for verifying C programs with floating-point computations.

Tahina Ramananandro, Paul Mountcastle, Benoît Meister, Richard Lethin

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

Embedded second-order cone programming with radar applications.

Paul Mountcastle, Thomas Henretty, Aale Naqvi, Richard Lethin

Proceedings of the 2015 IEEE High Performance Extreme Computing Conference, 2015