186 citations · 592 across the 23 of their papers we have counts for
5 papers · 1 filter
Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks
Jibesh Patra, Michael Pradel
Variable names are important to understand and maintain code. If a variable name and the value stored in the variable do not match, then the program suffers from a name-value incon…
Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly
Daniel Lehmann, Martin Toldam Torp, Michael Pradel
WebAssembly binaries are often compiled from memory-unsafe languages, such as C and C++. Because of WebAssembly's linear memory and missing protection features, e.g., stack canarie…
Bugs in Quantum Computing Platforms: An Empirical Study
Matteo Paltenghi, Michael Pradel
The interest in quantum computing is growing, and with it, the importance of software platforms to develop quantum programs. Ensuring the correctness of such platforms is important…
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…
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis +4
Third-party libraries ease the development of large-scale software systems. However, they often execute with significantly more privilege than needed to complete their task. This a…