Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
No abstract available.
Related papers
- Fluid quotes: metaprogramming across abstraction boundaries with dependent types GPCE 2020
- C-for-Metal: High Performance Simd Programming on Intel GPUs CGO 2021
- Good News, Bad News: Experience Building a Software Development Environment Using the Object-Oriented Paradigm OOPSLA 1989
- Modules and Type Checking in PL/LL OOPSLA 1987
- Integration verification across software and hardware for a simple embedded system PLDI 2021
- Software Verification with Liquid Types APLAS 2011
- Software Verification with Liquid Types VMCAI 2012
- Cross-component garbage collection OOPSLA 2018