Ende Jin
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2025
on a stage with
- Yizhou Zhang2×
- Arthur Brightonce
- Charles Jianonce
all 6 in the filters
who talks about the same things
- Yizhou Zhang13 talks
- Kenji Maillard11 talks
- Jérémie Koenig4 talks
- Théo Winterhalter14 talks
- Nicolas Tabareau14 talks
- Nada Amin26 talks
| title | conference | date |
|---|---|---|
| Certified Compilers à la Carte | PLDI 2025 | 2025-06-16 |
The work extends the Rocq proof assistant with a plugin called Rocqet that adds object-oriented extensibility features—late binding, mixin composition, and… | ||
| Extensible Metatheory Mechanization via Family Polymorphism | PLDI 2023 | 2023-06-17 |
Claims a language-layer for family polymorphism inside Coq that reuses code and proofs via late binding and generates a Coq plugin plus a core dependent type… | ||
| nothing matches | ||