244 citations
- École Polytechnique Fédérale de LausanneCH4 papers
- Microsoft Research (United Kingdom)GB3 papers
- University of HelsinkiFI3 papers
- Arizona State UniversityUS2 papers
- Carnegie Institution for ScienceUS2 papers
- Carnegie Mellon UniversityUS2 papers
- Carnegie ObservatoriesUS2 papers
- Charles UniversityCZ2 papers
- Eindhoven University of TechnologyNL2 papers
- ETH ZurichCH2 papers
- Georgia Institute of TechnologyUS2 papers
- Google (United States)US2 papers
5 papers · 1 filter
IFDS Taint Analysis with Access Paths
Nicholas Allen, François Gauthier, Alexander Jordan
Over the years, static taint analysis emerged as the analysis of choice to detect some of the most common web application vulnerabilities, such as SQL injection (SQLi) and cross-si…
On Evaluating the Renaissance Benchmarking Suite: Variety, Performance, and Complexity
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder +9
The recently proposed Renaissance suite is composed of modern, real-world, concurrent, and object-oriented workloads that exercise various concurrency primitives of the JVM. Renais…
Vandal: A Scalable Security Analysis Framework for Smart Contracts
Lexi Brent, Anton Jurisevic, Michael Kong +5
The rise of modern blockchains has facilitated the emergence of smart contracts: autonomous programs that live and run on the blockchain. Smart contracts have seen a rapid climb to…
A Compiler-Compiler for DSL Embedding
Amir Shaikhha, Vojin Jovanovic, Christoph Koch
In this paper, we present a framework to generate compilers for embedded domain-specific languages (EDSLs). This framework provides facilities to automatically generate the boilerp…
Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
Michael Van De Vanter, Chris Seaton, Michael Haupt +2
Context: Software development tools that interact with running programs such as debuggers, profilers, and dynamic analysis frameworks are presumed to demand difficult tradeoffs amo…