Meng Wang
where else to find them
linkedin:meng-wang-aa4826111
what they talk about
all 8 in the filters
where they keep going back
- ICFP3 editions2020–2023
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
all 9 in the filters
on a stage with
all 31 in the filters
who talks about the same things
- Samantha Frohlich5 talks
- Kazutaka Matsuda3 talks
- Nada Amin26 talks
- Nadia Polikarpova24 talks
- Zhenjiang Hu15 talks
- Yizhou Zhang13 talks
| title | conference | date |
|---|---|---|
| μUSB: Practical and Safe USB Driver Reuse for Arm TrustZone | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
μUSB generates TrustZone USB drivers by record, lift, replay of real Linux driver interactions, using a lightweight mutational recorder plus symbolic… | ||
| Contextual Embeddings: Implementing Bound Variables through Instance Resolution | PLDI 2026 | 2026-06-15 |
Introduces contextual embeddings: an embedding that preserves typing contexts and uses the host's type-class instance-resolution based index reconstruction to… | ||
| Simulation of DACH-Style Detector-Actuated Traffic Signal Control in SUMO | SUMO Conference 2026 | 2026-06-01 |
A Python middleware directly imports LISA+® logic files and maps signal groups, phase sequences and timing to SUMO controllers while translating SUMO states… | ||
| Scalable, Validated Code Translation of Entire Projects using Large Language Models | PLDI 2025 | 2025-06-16 |
An LLM-based pipeline translates whole Go repositories to Rust by partitioning code into functions/types, prompting with predefined feature mapping rules (e.g… | ||
| Opening | PEPM 2024 | 2024-01-16 |
Conference opens with housekeeping and a schedule note: organizers mark 30 years of PEPM with a special session at the end of the day devoted to that… | ||
| Effect Handlers for Programmable Inference | Haskell 2023 | 2023-09-08 |
Claims a Haskell library that uses algebraic effects and effect handlers to represent models as trees of sample/observe operations and to express inference… | ||
| Reflecting on Random Generation | ICFP 2023 | 2023-09-04 |
Presents reflective generators that combine free generators + partial monadic profunctors so a generator can run “backwards” to recover random choices that… | ||
| Embedding by Unembedding | ICFP 2023 | 2023-09-04 |
Presents a concrete recipe that turns a tagless‑final (HOAS) interface into de Bruijn terms via embedding by unembedding, exposing when HOAS fails and how to… | ||
| Modular Probabilistic Models via Algebraic Effects | ICFP 2022 | 2022-09-11 |
Claims a Haskell-embedded DSL that makes probabilistic models first-class and reusable by using algebraic effects so one model serves for simulation… | ||
| CircuitFlow: : A Domain Specific Language for Dataflow Programming | PADL 2022 | 2022-01-17 |
An embedded Haskell DSL models workflows as a Symmetric Monoidal Preorder to statically type inputs and outputs, composes tasks with then and beside, and runs… | ||
| Staging with Class: A Specification for Typed Template Haskell | POPL 2022 | 2022-01-16 |
Shows that Template Haskell’s interaction with overloading is unsound: splicing well-typed code can produce missing-dictionary errors. Proposes staged type… | ||
| Linked Visualisations via Galois Dependencies | POPL 2022 | 2022-01-16 |
Presents a concrete, language-based dynamic analysis that links parts of visual outputs back to the input by computing Galois-style forward/backward slices… | ||
| Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches | OOPSLA 2021 | 2021-10-17 |
Synbit synthesizes well behaved bidirectional programs in HOBiT from a unidirectional get plus a few I/O examples by converting get into a partial sketch… | ||
| Sparcl: A Language for Partially-Invertible Computation | ICFP 2020 | 2020-08-23 |
A new language, SPARCL, implements partially-invertible computation with linear types and proves that composing such pieces yields correct invertibility where… | ||
| nothing matches | ||