sarch

Joined 4 years ago

Karma

9

Submissions

2

Member since

Feb 12

Database PhD Student @ CMU

https://samarch.xyz/

View on Hacker News

Recent submissions

Show HN: Connect DuckDB to any database that has an ADBC driver github.com

7 sarch 3 months ago 2 comments

Comment · 4 years ago

There's very promising work on upgrading older libraries/legacy code with a technique called verified lifting. The technique has been used successfully at Adobe to automatically lift image processing code written in C++ to use Halide. The technique also guarantees semantic equivalence so users can trust the lifted code.

Paper: https://dl.acm.org/doi/pdf/10.1145/3355089.3356549