Justin Frank

According to our database, Justin Frank authored at least 3 papers in 2024.

Collaborative distances:

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

2024

Indexed Types for a Statically Safe WebAssembly.

Adam T. Geller, Justin Frank, William J. Bowman

Proc. ACM Program. Lang., January, 2024

Generating Well-Typed Terms That Are Not "Useless".

Justin Frank, Benjamin Quiring, Leonidas Lampropoulos

Proc. ACM Program. Lang., January, 2024

Tiny Learning-Based MPC for Multirotors: Solver-Aware Learning for Efficient Embedded Predictive Control.

Babak Akbari, Justin Frank, Melissa Greeff

CoRR, 2024