Anshuman Mohan
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2023–2024
on a stage with
all 11 in the filters
who talks about the same things
- Adrian Sampson5 talks
- Tobias Kappé4 talks
- Charith Mendis10 talks
- Saman Amarasinghe13 talks
- Nate Foster24 talks
- Rachit Nigam5 talks
| title | conference | date |
|---|---|---|
| Unifying Static and Dynamic Intermediate Languages for Accelerator Generators | OOPSLA 2024 | 2024-10-20 |
Piezo is an IL that embeds static timing inside a dynamic Calyx-style language by treating static control as a refinement of dynamic behavior so the compiler… | ||
| Formal Abstractions for Packet Scheduling | OOPSLA 2023 | 2023-10-23 |
Formal operational semantics for PIFO trees and a new notion called homomorphic embedding show when one tree can reproduce another’s packet permutations… | ||
| Legal Calculi | Programming Languages and the Law 2022 (ProLaLa 2022) | 2022-01-16 |
Proposes a concrete middle layer: small, domain-specific legal calculi that compile nontrivially from human-facing DSLs (Orlando for property, Catala for… | ||
| Littleton: An Educational Environment for Property Law | Programming Languages and the Law 2022 (ProLaLa 2022) | 2022-01-16 |
Littleton is an online, web‑deployable environment built on the Orlando legal programming language that actually names and visualizes property interests, adds… | ||
| nothing matches | ||