RPLS 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
co-located with PLDI 2025

RPLS 2025 Contributors

Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (12)

C
Chen, Xiaohong
University of Illinois at Urbana-ChampaignUnited States
Programming Languages Must Have Formal Semantics. Period.
Panel: Mechanized Specifications for Real-World Programming Languages
D
DiLorenzo, Jonathan
GoogleUnited States
P4-Based Automated Reasoning (P4-BAR) using Symbolic Execution at Google
Panel: Mechanized Specifications for Real-World Programming Languages
F
Ficarra, Michael
F5United States
The Software Supporting the JavaScript Language Specification
Panel: Mechanized Specifications for Real-World Programming Languages
Flatt, Matthew
University of UtahUnited States
Lightweight Semantics Engineering with Redex
Foster, Nate
Cornell University and Jane StreetUnited States
P4 Language Design
Committee Member in Organizing Committee within the RPLS-track
G
Gardner, Philippa
Imperial College LondonUnited Kingdom
Verification of WebAssembly Features
J
Jung, Ralf
ETH ZurichSwitzerland
Panel: Mechanized Specifications for Real-World Programming Languages
MiniRust: A Core Language for Specifying Rust
P
Park, Jihyeok
Korea UniversitySouth Korea
Trusted JavaScript Language Environments with ESMeta
Committee Member in Organizing Committee within the RPLS-track
R
Rossberg, Andreas
IndependentGermany
Committee Member in Organizing Committee within the RPLS-track
Ryu, Sukyoung
KAISTSouth Korea
Panel: Mechanized Specifications for Real-World Programming Languages
SpecTec, a Single Source of Truth
Committee Member in Organizing Committee within the RPLS-track
S
Sewell, Peter
University of CambridgeUnited Kingdom
Production Language Specification - Requirements for Multiple Usages
W
Watt, Conrad
Nanyang Technological UniversitySingapore
Verification of WebAssembly Features