Sorawee Porncharoenwase
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Emina Torlak2×
- Alex Knauthonce
- Ben Greenmanonce
all 22 in the filters
who talks about the same things
- Emina Torlak8 talks
- Alex Knauth2 talks
- Rastislav Bodík8 talks
- Kiran Gopinathan7 talks
- Max Willsey12 talks
- Konstantinos Mamouras11 talks
| title | conference | date |
|---|---|---|
| A Pretty Expressive Printer | OOPSLA 2023 | 2023-10-23 |
Claims a new printer Πe that is strictly more expressive than prior pretty printers, provably minimizes a user-chosen optimality objective via a Cost Factory… | ||
| Rhombus: A New Spin on Macros without All the Parentheses | OOPSLA 2023 | 2023-10-23 |
Rhombus is a new language implemented on Racket that replaces prefix s-exprs with an infix-friendly Shrubbery token-tree, interleaves macro expansion with an… | ||
| Generating Conforming Programs With Xsmith | GPCE 2023 | 2023-10-22 |
Xsmith is a Racket DSL and library that generates conforming programs — syntactically, statically and dynamically valid tests that avoid undefined or… | ||
| A Formal Foundation for Symbolic Evaluation with Merging | POPL 2022 | 2022-01-16 |
New formal symbolic semantics incorporates state merging and a parameterized symbolic factory and is mechanized in Lean, proving soundness, completeness… | ||
| nothing matches | ||