Doing Research in PL panel
summary
Recent concrete work reported includes a postdoc-built prototype that replaces P4’s hand‑rolled state‑machine parsers with a compositional parser design, a developed theory and libraries for algebraic effects and effect handlers, a verified garbage collector proved in separation logic using Iris and an exploration of using the Rust type checker to scale verification, a small‑system formalization for intermittently powered devices spun out of an informal meeting, and a DSL+ML case where adding a symbolic representation drastically improves generalization.
AI-written summary · about