Statistics
Publications
51
Citations
2K
H-Index
22
Active since
1997
Margus Veanes is an author at Microsoft (United States) specializing in computer science, computing, and formal methods.
Publications per year
1997–2024
51
51
Adapting Futures: Scalability for Real-World Computing
Johannes Helander, Risto Serg, Margus Veanes et al. · 2007 · 179 citations
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann · 2010 · 148 citations
Fast and precise sanitizer analysis with BEK
Pieter Hooimeijer, Benjamin Livshits, Dávid Molnár et al. · 2011 · 129 citations
Symbolic finite state transducers
Margus Veanes, Pieter Hooimeijer, Benjamin Livshits et al. · ACM SIGPLAN Notices · 2012 · 106 citations
1–5 of 51