Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Fan Long
Sound Input Filter Generation for Integer Overflow Errors
ACM SIGPLAN Notices
Computer Science
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement
Principled Sampling for Anomaly Detection
