Vivek Sarkar
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA2 editions2023–2024
all 6 in the filters
on a stage with
all 15 in the filters
who talks about the same things
- Jun Shirako3 talks
- Adam Chlipala23 talks
- Sylvain Boulmé4 talks
- Jonathan Ragan-Kelley12 talks
- Deepak Garg18 talks
- Chris Fallin3 talks
| title | conference | date |
|---|---|---|
| Jens, the Ultimate PL Renaissance man! | JENSFEST 2024 | 2024-10-22 |
A concise history of concrete results: a formal featherweight X10 language models structured parallelism with async and finish and proves a progress theorem… | ||
| [VIVEKFEST24] Vivek Sarkar (Georgia Tech) | VIVEKFEST 2024 | 2024-10-21 |
History of compiler and parallel language work with concrete outcomes: a production middle-end optimizer (AXA/AXAI) ships in Fortran compilers since 1996; a… | ||
| 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… | ||
| Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distribu... | MPLR 2023 | 2023-10-22 |
Proof-of-concept Rust interface wraps an existing distributed C++ actors library (HC lib) and the conveyors message layer, exposing a safe selector API that… | ||
| 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… | ||
| GPUIterator: Bridging the Gap between Chapel and GPU Platforms | CHIUW 2019 | 2019-06-22 |
A Chapel module called GPUIterator module implements a portable interface to run Chapel forall loops on GPUs (CUDA and OpenCL), accept distributed domains… | ||
| nothing matches | ||