2 papers
cs.CL2026
Eye-Tracking-while-Reading: A Living Survey of Datasets with Open Library Support
Deborah N. Jakobi, David R. Reich, Paul Prasse +4
Eye-tracking-while-reading corpora are a valuable resource for many different disciplines and use cases. Use cases range from studying the cognitive processes underlying reading to…
cs.PL2026
A Deductive System for Contract Satisfaction Proofs
Arthur Correnson, Haoyi Zeng, Jana Hofmann
Hardware-software contracts are abstract specifications of a CPU's leakage behavior. They enable verifying the security of high-level programs against side-channel attacks without…