Cameron Shortt

Undergraduate student at LSU researching programming languages

Personal email: cam (at) cshortt (dot) com
University email: cameron.shortt (at) lsu (dot) edu

Research Interests

Category Theory and Formal Logic, and applications (especially formal verification). Any computer archaelogy or prover work is a welcome bonus.

K Framework to Rocq

We're finding a mapping between RWLogic and CoLC
This will allow "free" verification of languages implemented in the K Framework, like LLVM and Rust
Paper in Progress

Finite Field ETF Liftings

We have proved a lifting betwen Real ETFs, p-adic ETFs, and Finite Field ETFs, with caveats
Paper in Progress

Unix Port of ITS TECO

Perpetually in-progress rewrite of ITS TECO in ANSI C for SysV compatible Unixes, with the usual caveats for hardware/OS incompatibilities (documented as they come up).
If you know of any prior ports please let me know.