89 citations · 118 across the 6 of their papers we have counts for
3 papers · 1 filter
Learning to Make Compiler Optimizations More Effective
Rahim Mammadli, Marija Selakovic, Felix Wolf +1
Because loops execute their body many times, compiler developers place much emphasis on their optimization. Nevertheless, in view of highly diverse source code and hardware, compil…
Type Safety with JSON Subschema
Andrew Habib, Avraham Shinnar, Martin Hirzel +1
JSON is a popular data format used pervasively in web APIs, cloud computing, NoSQL databases, and increasingly also machine learning. JSON Schema is a language for declaring the st…
Wasabi: A Framework for Dynamically Analyzing WebAssembly
Daniel Lehmann, Michael Pradel
WebAssembly is the new low-level language for the web and has now been implemented in all major browsers since over a year. To ensure the security, performance, and correctness of…