PEPM 2020
| title | author | length |
|---|---|---|
| Network Verification: Past, Present, and Future | Nate Foster | 01h 01m |
A program-verification approach targets real router code written in P4: a verifier called p4v translates P4 to guarded commands, uses a small DSL to model… | ||
| High-Fidelity Metaprogramming with Separator Syntax Trees | Rodin Aarssen | 25m |
Claims a lightweight way to keep source layout by augmenting AST nodes with string lists of separators so formatting and comments round subtrees survive… | ||
| Dependently Typed Multi-Stage Programming, Revisited | Atsushi Igarashi | 36m |
Presents a core calculus called lambda_MD that extends metal-style multi-stage programming with full-spectrum dependent types, implements cross-stage… | ||
| GOOL: A Generic Object-Oriented Lanugage | Jacques Carette | 21m |
GOOL is a embedded DSL in Haskell that uses finally‑tagless encodings and type families to generate readable, idiomatic code and documentation for multiple OO… | ||
| Reasoning about Progress of Concurrent Objects | Xinyu Feng | 54m |
Introduces a Hoare‑style program logic that proves termination properties of concurrent objects by separating two concrete causes of nontermination — blocking… | ||
| An Approach to Generate Text-Based IDEs for Syntax Correction based on Syntax Specification | Isao Sasano | 20m |
A method that transforms full grammar into a prefix grammar to compute completions up to the cursor and a handwritten C service for a tiny Standard ML subset… | ||
| Symbolic Bisimulation for Open and Parameterized Systems | Eric Madelaine | 25m |
Presenter: Eric Madelaine
Presented at PEPM'20, hosted at POPL 2020. | ||
| Frex: Free Extensions for Normalization-by-Evaluation | Ohad Kammar | 35m |
Frex is a library that constructs free extension semantic domains to get normalization by evaluation for arbitrary algebraic theories; it ships solver specs… | ||
| nothing matches | ||