3 papers
math.RA2025
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
Matthew Bolan, Joachim Breitner, Jose Brox +31
We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project suc…
cs.SE2023
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
Kostya Serebryany, Chris Kennelly, Mitch Phillips +9
Despite the recent advances in pre-production bug detection, heap-use-after-free and heap-buffer-overflow bugs remain the primary problem for security, reliability, and developer p…
cs.CR2018
Memory Tagging and how it improves C/C++ memory safety
Kostya Serebryany, Evgenii Stepanov, Aleksey Shlyapnikov +2
Memory safety in C and C++ remains largely unresolved. A technique usually called "memory tagging" may dramatically improve the situation if implemented in hardware with reasonable…