Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stelios Sidiroglou-Douskos
Sound Input Filter Generation for Integer Overflow Errors
ACM SIGPLAN Notices
Computer Science
Managing Performance vs. Accuracy Trade-Offs With Loop Perforation
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement
Principled Sampling for Anomaly Detection
