8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.MM2025
The JPEG XL Image Coding System: History, Features, Coding Tools, Design Rationale, and Future
Jon Sneyers, Jyrki Alakuijala, Luca Versari +9
JPEG XL is a new image coding system offering state-of-the-art compression performance, lossless JPEG recompression, and advanced features. It aims to replace JPEG, PNG, GIF, and o…
cs.LO2009★ 8 cited
Simulating reachability using first-order logic with applications to verification of linked data structures
Tal Lev-Ami, Neil Immerman, Thomas Reps +3
This paper shows how to harness existing theorem provers for first-order logic to automatically verify safety properties of imperative programs that perform dynamic storage allocat…