J. Tanner Slagel

According to our database, J. Tanner Slagel authored at least 6 papers between 2017 and 2024.

Collaborative distances:

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

2024

A Temporal Differential Dynamic Logic Formal Embedding.

Lauren White, Laura Titolo, J. Tanner Slagel, César A. Muñoz

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

Towards an implementation of differential dynamic logic in PVS.

J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren White

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Formal verification of semi-algebraic sets and real analytic functions.

J. Tanner Slagel, Lauren White, Aaron Dutle

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2019

Sampled Limited Memory Methods for Massive Linear Inverse Problems.

Julianne Chung, Matthias Chung, J. Tanner Slagel, Luis Tenorio

CoRR, 2019

Iterative Sampled Methods for Massive and Separable Nonlinear Inverse Problems.

Julianne Chung, Matthias Chung, J. Tanner Slagel

Proceedings of the Scale Space and Variational Methods in Computer Vision, 2019

2017

Stochastic Newton and Quasi-Newton Methods for Large Linear Least-squares Problems.

Julianne Chung, Matthias Chung, J. Tanner Slagel, Luis Tenorio

CoRR, 2017