Jon Aytac

According to our database, Jon Aytac authored at least 4 papers between 2018 and 2024.

Collaborative distances:

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

2024

A Nominal Approach to Probabilistic Separation Logic.

John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2022

Q: A Sound Verification Framework for Statecharts and Their Implementations.

Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2019

Topos Semantics for a Higher-Order Temporal Logic of Actions.

Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette

Proceedings of the Proceedings Applied Category Theory 2019, 2019

2018

Some Coxeter Groups in Reversible and Quantum Compuation.

Jon Aytac, Ammar Husain

CoRR, 2018