Jun Shirako
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2023–2024
on a stage with
- Vivek Sarkar3×
- Anirudh Jainonce
- Fangke Yeonce
all 9 in the filters
who talks about the same things
- Vivek Sarkar7 talks
- Adam Chlipala23 talks
- Jonathan Ragan-Kelley12 talks
- Zhong Shao19 talks
- Sylvain Boulmé4 talks
- Sasa Misailovic13 talks
| title | conference | date |
|---|---|---|
| Fully Verified Instruction Scheduling | OOPSLA 2024 | 2024-10-20 |
Claims a first mechanized library for fully verified instruction scheduling that proves any scheduler correct by reducing proofs to one local transformation… | ||
| Concrete Type Inference for Code Optimization using Machine Learning with SMT S... | OOPSLA 2023 | 2023-10-23 |
Introduces a hybrid pipeline that feeds GPT-4 style ML predictions into an SMT solver (CVC5) with a lexicographic scoring constraint to produce a bounded set… | ||
| Intrepydd: Performance, Productivity, and Portability for Data Science Application Kernels | Onward! 2020 | 2020-11-15 |
Intrepydd is a Python-like kernel language that compiles AOT to C++ (ahead-of-time C++ codegen) and requires type-declared functions and array types (dense and… | ||
| nothing matches | ||