JCrasher: an automatic robustness tester for Java von Csallner, Christoph, Smaragdakis, Yannis

Volltext

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings von Pfenning, Frank, Smaragdakis, Yannis

Volltext

Declarative Datalog Debugging for Mere Mortals von Köhler, Sven, Ludäscher, Bertram, Smaragdakis, Yannis

Volltext

P/Taint: unified points-to and taint analysis von Grech, Neville, Smaragdakis, Yannis

Volltext

Hybrid context-sensitivity for points-to analysis von Kastrinis, George, Smaragdakis, Yannis

Volltext

MadMax: surviving out-of-gas conditions in Ethereum smart contracts von Grech, Neville, Kong, Michael, Jurisevic, Anton, Brent, Lexi, Scholz, Bernhard, Smaragdakis, Yannis

Volltext

A Principled Approach to Selective Context Sensitivity for Pointer Analysis von Li, Yue, Tan, Tian, Møller, Anders, Smaragdakis, Yannis

Volltext

Precision-guided context sensitivity for pointer analysis von Li, Yue, Tan, Tian, Møller, Anders, Smaragdakis, Yannis

Volltext

Symbolic Reasoning for Automatic Signal Placement von Ferles, Kostas, Van Geffen, Jacob, Dillig, Isil, Smaragdakis, Yannis

Volltext

Making pointer analysis more precise by unleashing the power of selective context sensitivity von Tan, Tian, Li, Yue, Ma, Xiaoxing, Xu, Chang, Smaragdakis, Yannis

Volltext

Elipmoc: advanced decompilation of Ethereum smart contracts von Grech, Neville, Lagouvardos, Sifis, Tsatiris, Ilias, Smaragdakis, Yannis

Volltext

Structure-Sensitive Points-To Analysis for C and C++ von Balatsouras, George, Smaragdakis, Yannis

Volltext

Stream fusion, to completeness von Kiselyov, Oleg, Biboudis, Aggelos, Palladinos, Nick, Smaragdakis, Yannis

Volltext

Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts von Smaragdakis, Yannis, Grech, Neville, Lagouvardos, Sifis, Triantafyllou, Konstantinos, Tsatiris, Ilias

Volltext

Precise static modeling of Ethereum “memory” von Lagouvardos, Sifis, Grech, Neville, Tsatiris, Ilias, Smaragdakis, Yannis

Volltext

DSD-Crasher: A hybrid analysis tool for bug finding von Csallner, Christoph, Smaragdakis, Yannis, Xie, Tao

Volltext

J-Orchestra: Enhancing Java programs with distribution capabilities von Tilevich, Eli, Smaragdakis, Yannis

Volltext

Heaps don't lie: countering unsoundness with heap snapshots von Grech, Neville, Fourtounis, George, Francalanza, Adrian, Smaragdakis, Yannis

Volltext

Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs von Smaragdakis, Yannis, Batory, Don

Volltext

Strictly declarative specification of sophisticated points-to analyses von Bravenboer, Martin, Smaragdakis, Yannis

Volltext