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
Showing 2018 · cs.PLShow all
3 papers · 2 filters
cs.PL2018★ 123 cited
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…
cs.PL2018
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…
cs.PL2018★ 27 cited
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…