Yannis Smaragdakis

ORCID

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 50

Top Venues

CoRR

Proc. ACM Program. Lang.

PLDI

OOPSLA

Publications

Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis
Elipmoc: advanced decompilation of Ethereum smart contracts. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis
Making pointer analysis more precise by unleashing the power of selective context sensitivity. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
Symbolic Reasoning for Automatic Signal Placement. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
George Fourtounis, Yannis Smaragdakis
Deep Static Modeling of invokedynamic. CoRR (2020)
Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis
Explaining bug provenance with trace witnesses. SOAP@PLDI (2020)
George Fourtounis, Leonidas Triantafyllou, Yannis Smaragdakis
Identifying Java calls in native code via binary scanning. ISSTA (2020)
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis
Ethainter: a smart contract security analyzer for composite vulnerabilities. PLDI (2020)
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
MadMax: analyzing the out-of-gas world of smart contracts. Commun. ACM 63 (10) (2020)
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
Static Analysis of Shape in TensorFlow Programs. ECOOP (2020)
Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis
Precise static modeling of Ethereum "memory". Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. PLDI (2020)
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
Static Analysis of Shape in TensorFlow Programs (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots. CoRR (2019)
Yannis Smaragdakis
Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? CoRR (2019)
George Fourtounis, Yannis Smaragdakis
Deep Static Modeling of invokedynamic. ECOOP (2019)
Yannis Smaragdakis
Next-paradigm programming languages: what will they look like and what changes will they bring? Onward! (2019)
Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
Gigahorse: thorough, declarative decompilation of smart contracts. ICSE (2019)
George Fourtounis, Yannis Smaragdakis
Deep Static Modeling of invokedynamic (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
George Fourtounis, George Kastrinis, Yannis Smaragdakis
Static analysis of Java dynamic proxies. ISSTA (2018)
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
Symbolic reasoning for automatic signal placement. PLDI (2018)
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis
An efficient data structure for must-alias analysis. CC (2018)
Yannis Smaragdakis, George Kastrinis
Defensive Points-To Analysis: Effective Soundness via Laziness. ECOOP (2018)
Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
Effectiveness of anonymization in double-blind review. Commun. ACM 61 (6) (2018)
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
Symbolic Reasoning for Automatic Signal Placement (Extended Version). CoRR (2018)
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Precision-guided context sensitivity for pointer analysis. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Shooting from the heap: ultra-scalable static analysis with heap snapshots. ISSTA (2018)
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Scalability-first pointer analysis with self-tuning context-sensitivity. ESEC/SIGSOFT FSE (2018)
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
MadMax: surviving out-of-gas conditions in Ethereum smart contracts. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Neville Grech, George Kastrinis, Yannis Smaragdakis
Efficient Reflection String Analysis via Graph Coloring. ECOOP (2018)
George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis
A Datalog model of must-alias analysis. SOAP@PLDI (2017)
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Heaps don't lie: countering unsoundness with heap snapshots. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. SOAP@PLDI (2017)
Neville Grech, Yannis Smaragdakis
P/Taint: unified points-to and taint analysis. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
Effectiveness of Anonymization in Double-Blind Review. CoRR (2017)
Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
Stream fusion, to completeness. POPL (2017)
Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
Stream Fusion, to Completeness. CoRR (2016)
George Balatsouras, Yannis Smaragdakis
Structure-Sensitive Points-To Analysis for C and C++. SAS (2016)
Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer
More Sound Static Handling of Java Reflection. APLAS (2015)
Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis
Foo: a minimal modern OO calculus. FTfJP@ECOOP (2015)
Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis
Streams à la carte: Extensible Pipelines with Object Algebras (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Yannis Smaragdakis, George Balatsouras
Pointer Analysis. Found. Trends Program. Lang. 2 (1) (2015)
Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis
Streams a la carte: Extensible Pipelines with Object Algebras. ECOOP (2015)
Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation. CC (2015)
Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky
Automating ad hoc data representation transformations. OOPSLA (2015)
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Residual Investigation: Predictive and Precise Bug Detection. Software Engineering & Management (2015)
Aggelos Biboudis, George Fourtounis, Yannis Smaragdakis
jUCM: Universal Class Morphing (position paper). CoRR (2015)
Yannis Smaragdakis, Aggelos Biboudis, George Fourtounis
Structured Program Generation Techniques. GTTSE (2015)
Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondrej Lhoták, José Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis
In defense of soundiness: a manifesto. Commun. ACM 58 (2) (2015)
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Residual Investigation: Predictive and Precise Bug Detection. ACM Trans. Softw. Eng. Methodol. 24 (2) (2014)
Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
Clash of the Lambdas. CoRR (2014)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
Second-Order Constraints in Dynamic Invariant Inference. Software Engineering (2014)
John Altidor, Yannis Smaragdakis
Refactoring Java generics by inferring wildcards, in practice. OOPSLA (2014)
Yannis Smaragdakis, George Kastrinis, George Balatsouras
Introspective analysis: context-sensitivity, across the board. PLDI (2014)
George Kastrinis, Yannis Smaragdakis
Efficient and Effective Handling of Exceptions in Java Points-to Analysis. CC (2013)
Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis
Reified type parameters using Java annotations. GPCE (2013)
Matthew Might, Yannis Smaragdakis, David Van Horn
Resolving and Exploiting the $k$-CFA Paradox. CoRR (2013)
Yannis Smaragdakis, George Balatsouras, George Kastrinis
Set-based pre-processing for points-to analysis. OOPSLA (2013)
Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis
Forsaking inheritance: supercharged delegation in DelphJ. OOPSLA (2013)
George Balatsouras, Yannis Smaragdakis
Class hierarchy complementation: soundly completing a partial type graph. OOPSLA (2013)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
Second-order constraints in dynamic invariant inference. ESEC/SIGSOFT FSE (2013)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner
SEDGE: Symbolic example data generation for dataflow programs. ASE (2013)
Ondrej Lhoták, Yannis Smaragdakis, Manu Sridharan
Pointer Analysis (Dagstuhl Seminar 13162). Dagstuhl Reports 3 (4) (2013)
George Kastrinis, Yannis Smaragdakis
Hybrid context-sensitivity for points-to analysis. PLDI (2013)
Yannis Smaragdakis
High-level data structures: technical perspective. Commun. ACM 55 (12) (2012)
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Residual investigation: predictive and precise bug detection. ISSTA (2012)
John Altidor, Christoph Reichenbach, Yannis Smaragdakis
Java Wildcards Meet Definition-Site Variance. ECOOP (2012)
Sven Köhler, Bertram Ludäscher, Yannis Smaragdakis
Declarative Datalog Debugging for Mere Mortals. Datalog (2012)
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan
Sound predictive race detection in polynomial time. POPL (2012)
Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman
PQL: A Purely-Declarative Java Extension for Parallel Programming. ECOOP (2012)
Shan Shan Huang, David Zook, Yannis Smaragdakis
Statically safe program generation with SafeGen. Sci. Comput. Program. 76 (5) (2011)
Kostas Saidis, Yannis Smaragdakis, Alex Delis
DOLAR: virtualizing heterogeneous information spaces to support their expansion. Softw. Pract. Exp. 41 (11) (2011)
John Altidor, Shan Shan Huang, Yannis Smaragdakis
Taming the wildcards: combining definition- and use-site variance. PLDI (2011)
Shan Shan Huang, Yannis Smaragdakis
Morphing: Structurally shaping a class by reflecting on others. ACM Trans. Program. Lang. Syst. 33 (2) (2011)
Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták
Pick your contexts well: understanding object-sensitivity. POPL (2011)
Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis
Adaptive locks: Combining transactions and locks for efficient concurrency. J. Parallel Distributed Comput. 70 (10) (2010)
Matthew Might, Yannis Smaragdakis, David Van Horn
-CFA paradox: illuminating functional vs. object-oriented program analysis. PLDI (2010)
Yannis Smaragdakis, Martin Bravenboer
Using Datalog for Fast and Easy Program Analysis. Datalog (2010)
Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer
What can the GC compute efficiently?: a language for heap assertions at GC time. OOPSLA (2010)
Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic
An overview of the Oregon programming languages summer school. ACM SIGPLAN Notices 44 (11) (2009)
Martin Bravenboer, Yannis Smaragdakis
Exception analysis and points-to analysis: better together. ISSTA (2009)
Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian
Scalable satisfiability checking and test data generation from modeling diagrams. Autom. Softw. Eng. 16 (1) (2009)
Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis
Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency. PACT (2009)
Martin Bravenboer, Yannis Smaragdakis
Strictly declarative specification of sophisticated points-to analyses. OOPSLA (2009)
Eli Tilevich, Yannis Smaragdakis
J-Orchestra: Enhancing Java programs with distribution capabilities. ACM Trans. Softw. Eng. Methodol. 19 (1) (2009)
Christoph Csallner, Yannis Smaragdakis, Tao Xie
DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Shan Shan Huang, Yannis Smaragdakis
Expressive and safe static reflection with MorphJ. PLDI (2008)
Eli Tilevich, Yannis Smaragdakis
NRMI: Natural and Efficient Middleware. IEEE Trans. Parallel Distributed Syst. 19 (2) (2008)
Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis
DySy: dynamic symbolic execution for invariant inference. ICSE (2008)
Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
General and efficient locking without blocking. MSPC (2008)
Yannis Smaragdakis
Combining Static and Dynamic Reasoning for the Discovery of Program Properties. SPIN (2008)
Shan Shan Huang, David Zook, Yannis Smaragdakis
Domain-specific languages and program generation with meta-AspectJ. ACM Trans. Softw. Eng. Methodol. 18 (2) (2008)
Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
Transactions with isolation and cooperation. OOPSLA (2007)
Shan Shan Huang, David Zook, Yannis Smaragdakis
cJ: enhancing java with safe type conditions. AOSD (2007)
Yannis Smaragdakis, Christoph Csallner
Combining Static and Dynamic Reasoning for Bug Detection. TAP (2007)
Shan Shan Huang, Yannis Smaragdakis
Morphing Software for Easier Evolution. RAM-SE (2007)
Shan Shan Huang, Yannis Smaragdakis
Building Scalable Libraries with cJ. ICSE Companion (2007)
Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian
Scalable automatic test data generation from modeling diagrams. ASE (2007)
Shan Shan Huang, David Zook, Yannis Smaragdakis
Morphing: Safely Shaping a Class in the Image of Others. ECOOP (2007)

Yannis Smaragdakis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yannis Smaragdakis