DiSTiL: A Transformation Library for Data Structures. - Yannis Smaragdakis; Don S. Batory (DSL, 1997)

Implementing Layered Designs with Mixin Layers. - Yannis Smaragdakis; Don S. Batory (ECOOP, 1998)

Implementing Layered Object-Oriented Designs. - Yannis Smaragdakis (ECOOP Workshops, 1998)

JTS: tools for implementing domain-specific languages. - Don S. Batory; Bernie J. Lofaso; Yannis Smaragdakis (ICSR, 1998)

Implementing reusable object-oriented components. - Yannis Smaragdakis; Don S. Batory (ICSR, 1998)

Building Product-Lines with Mixin-Layers. - Yannis Smaragdakis; Don S. Batory (ECOOP Workshops, 1999)

Scoping Constructs for Software Generators. - Yannis Smaragdakis; Don S. Batory (GCSE, 1999)

Trace Reduction for Virtual Memory Simulations. - Scott F. Kaplan; Yannis Smaragdakis; Paul R. Wilson 001 (SIGMETRICS, 1999)

EELRU: Simple and Effective Adaptive Page Replacement. - Yannis Smaragdakis; Scott F. Kaplan; Paul R. Wilson 001 (SIGMETRICS, 1999)

The Case for Compressed Caching in Virtual Memory Systems. - Paul R. Wilson 001; Scott F. Kaplan; Yannis Smaragdakis (USENIX ATC, General Track, 1999)

Architectural Styles as Adaptors. - Don S. Batory; Yannis Smaragdakis; Lou Coglianese (WICSA, 1999)

Mixin-Based Programming in C++. - Yannis Smaragdakis; Don S. Batory (GCSE, 2000)

Functional programming in C++. - Brian McNamara; Yannis Smaragdakis (ICFP, 2000)

Object-oriented frameworks and product lines. - Don S. Batory; Richard Cardone; Yannis Smaragdakis (SPLC, 2000)

Performing Replacement in Modem Pools. - Yannis Smaragdakis; Paul R. Wilson 001 (USENIX ATC, General Track, 2000)

Multiparadigm Programming with OO Languages. - Kei Davis; Yannis Smaragdakis; Jörg Striegnitz (ECOOP Workshops, 2001)

Functional Programming in C++ using the FC++ Library. - Brian McNamara; Yannis Smaragdakis (ACM SIGPLAN Notices, 2001)

J-Orchestra: Automatic Java Application Partitioning. - Eli Tilevich; Yannis Smaragdakis (ECOOP, 2002)

Multiparadigm Programming with Object-Oriented Languages. - Kei Davis; Yannis Smaragdakis; Jörg Striegnitz (ECOOP Workshops, 2002)

Layered Development with (Unix) Dynamic Libraries. - Yannis Smaragdakis (ICSR, 2002)

FC++: Functional tools for object-oriented tasks. - Yannis Smaragdakis; Brian McNamara (Softw. Pract. Exp., 2002)

Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. - Yannis Smaragdakis; Don S. Batory (ACM Trans. Softw. Eng. Methodol., 2002)

A Personal Outlook on Generator Research (A Position Paper). - Yannis Smaragdakis (Domain-Specific Program Generation, 2003)

Aspectizing Server-Side Distribution. - Eli Tilevich; Stephan Urbanski; Yannis Smaragdakis; Marc J. Fleury (ASE, 2003)

The EELRU adaptive replacement algorithm. - Yannis Smaragdakis; Scott F. Kaplan; Paul R. Wilson 001 (Perform. Evaluation, 2003)

Flexible reference trace reduction for VM simulations. - Scott F. Kaplan; Yannis Smaragdakis; Paul R. Wilson 001 (ACM Trans. Model. Comput. Simul., 2003)

Generating AspectJ Programs with Meta-AspectJ. - David Zook; Shan Shan Huang; Yannis Smaragdakis (GPCE, 2004)

General adaptive replacement policies. - Yannis Smaragdakis (ISMM, 2004)

Portable and Efficient Distributed Threads for Java. - Eli Tilevich; Yannis Smaragdakis (Middleware, 2004)

Program generators and the tools to make them. - Yannis Smaragdakis; Shan Shan Huang; David Zook (PEPM, 2004)

Invited talk: program generators and the tools to make them. - Yannis Smaragdakis (PPDP, 2004)

Program Generators and the Tools to Make Them. - Yannis Smaragdakis (SAS, 2004)

Functional programming with the FC++ library. - Brian McNamara; Yannis Smaragdakis (J. Funct. Program., 2004)

Automatic Partitioning: Prototyping Ubiquitous-Computing Applications. - Nikitas Liogkas; Blair MacIntyre; Elizabeth D. Mynatt; Yannis Smaragdakis; Eli Tilevich; Stephen Voida (IEEE Pervasive Comput., 2004)

JCrasher: an automatic robustness tester for Java. - Christoph Csallner; Yannis Smaragdakis (Softw. Pract. Exp., 2004)

Check 'n' crash: combining static checking and testing. - Christoph Csallner; Yannis Smaragdakis (ICSE, 2005)

Binary refactoring: improving code behind the scenes. - Eli Tilevich; Yannis Smaragdakis (ICSE, 2005)

Appletizing: Running Legacy Java Code Remotely from a Web Browser. - Eli Tilevich; Yannis Smaragdakis; Marcus Handte (ICSM, 2005)

Transparent program transformationsin the presence of opaque code. - Eli Tilevich; Yannis Smaragdakis (GPCE, 2006)

Dynamically discovering likely interface invariants. - Christoph Csallner; Yannis Smaragdakis (ICSE, 2006)

Easy language extension with meta-aspectJ. - Shan Shan Huang; Yannis Smaragdakis (ICSE, 2006)

DSD-Crasher: a hybrid analysis tool for bug finding. - Christoph Csallner; Yannis Smaragdakis (ISSTA, 2006)

Adaptive Caches: Effective Shaping of Cache Behavior to Workloads. - Ranjith Subramanian; Yannis Smaragdakis; Gabriel H. Loh (MICRO, 2006)

cJ: enhancing java with safe type conditions. - Shan Shan Huang; David Zook; Yannis Smaragdakis (AOSD, 2007)

Morphing Software for Easier Evolution. - Shan Shan Huang; Yannis Smaragdakis (RAM-SE, 2007)

Morphing: Safely Shaping a Class in the Image of Others. - Shan Shan Huang; David Zook; Yannis Smaragdakis (ECOOP, 2007)

Building Scalable Libraries with cJ. - Shan Shan Huang; Yannis Smaragdakis (ICSE Companion, 2007)

Scalable automatic test data generation from modeling diagrams. - Yannis Smaragdakis; Christoph Csallner; Ranjith Subramanian (ASE, 2007)

Transactions with isolation and cooperation. - Yannis Smaragdakis; Anthony Kay; Reimer Behrends; Michal Young (OOPSLA, 2007)

Combining Static and Dynamic Reasoning for Bug Detection. - Yannis Smaragdakis; Christoph Csallner (TAP, 2007)

General and efficient locking without blocking. - Yannis Smaragdakis; Anthony Kay; Reimer Behrends; Michal Young (MSPC, 2008)

DySy: dynamic symbolic execution for invariant inference. - Christoph Csallner; Nikolai Tillmann; Yannis Smaragdakis (ICSE, 2008)

Expressive and safe static reflection with MorphJ. - Shan Shan Huang; Yannis Smaragdakis (PLDI, 2008)

Combining Static and Dynamic Reasoning for the Discovery of Program Properties. - Yannis Smaragdakis (SPIN, 2008)

DSD-Crasher: A hybrid analysis tool for bug finding. - Christoph Csallner; Yannis Smaragdakis; Tao Xie 001 (ACM Trans. Softw. Eng. Methodol., 2008)

Domain-specific languages and program generation with meta-AspectJ. - Shan Shan Huang; David Zook; Yannis Smaragdakis (ACM Trans. Softw. Eng. Methodol., 2008)

NRMI: Natural and Efficient Middleware. - Eli Tilevich; Yannis Smaragdakis (IEEE Trans. Parallel Distributed Syst., 2008)

Exception analysis and points-to analysis: better together. - Martin Bravenboer; Yannis Smaragdakis (ISSTA, 2009)

Strictly declarative specification of sophisticated points-to analyses. - Martin Bravenboer; Yannis Smaragdakis (OOPSLA, 2009)

Scalable satisfiability checking and test data generation from modeling diagrams. - Yannis Smaragdakis; Christoph Csallner; Ranjith Subramanian (Autom. Softw. Eng., 2009)

An overview of the Oregon programming languages summer school. - Jim Allen; Zena M. Ariola; Pierre-Louis Curien; Matthew Fluet; Jeffrey S. Foster; Dan Grossman; Robert Harper 001; Hugo Herbelin; Yannis Smaragdakis; David Walker 001; Steve Zdancewic (ACM SIGPLAN Notices, 2009)

J-Orchestra: Enhancing Java programs with distribution capabilities. - Eli Tilevich; Yannis Smaragdakis (ACM Trans. Softw. Eng. Methodol., 2009)

Using Datalog for Fast and Easy Program Analysis. - Yannis Smaragdakis; Martin Bravenboer (Datalog, 2010)

What can the GC compute efficiently?: a language for heap assertions at GC time. - Christoph Reichenbach; Neil Immerman; Yannis Smaragdakis; Edward Aftandilian; Samuel Z. Guyer (OOPSLA, 2010)

Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. - Matthew Might; Yannis Smaragdakis; David Van Horn (PLDI, 2010)

Adaptive locks: Combining transactions and locks for efficient concurrency. - Takayuki Usui; Reimer Behrends; Jacob Evans; Yannis Smaragdakis (J. Parallel Distributed Comput., 2010)

Taming the wildcards: combining definition- and use-site variance. - John Altidor; Shan Shan Huang; Yannis Smaragdakis (PLDI, 2011)

Pick your contexts well: understanding object-sensitivity. - Yannis Smaragdakis; Martin Bravenboer; Ondrej Lhoták (POPL, 2011)

Statically safe program generation with SafeGen. - Shan Shan Huang; David Zook; Yannis Smaragdakis (Sci. Comput. Program., 2011)

DOLAR: virtualizing heterogeneous information spaces to support their expansion. - Kostas Saidis; Yannis Smaragdakis; Alex Delis (Softw. Pract. Exp., 2011)

Morphing: Structurally shaping a class by reflecting on others. - Shan Shan Huang; Yannis Smaragdakis (ACM Trans. Program. Lang. Syst., 2011)

Declarative Datalog Debugging for Mere Mortals. - Sven Köhler 003; Bertram Ludäscher; Yannis Smaragdakis (Datalog, 2012)

Java Wildcards Meet Definition-Site Variance. - John Altidor; Christoph Reichenbach; Yannis Smaragdakis (ECOOP, 2012)

PQL: A Purely-Declarative Java Extension for Parallel Programming. - Christoph Reichenbach; Yannis Smaragdakis; Neil Immerman (ECOOP, 2012)

Sound predictive race detection in polynomial time. - Yannis Smaragdakis; Jacob Evans; Caitlin Sadowski; Jaeheon Yi; Cormac Flanagan (POPL, 2012)

High-level data structures: technical perspective. - Yannis Smaragdakis (Commun. ACM, 2012)

Efficient and Effective Handling of Exceptions in Java Points-to Analysis. - George Kastrinis; Yannis Smaragdakis (CC, 2013)

Reified type parameters using Java annotations. - Prodromos Gerakios; Aggelos Biboudis; Yannis Smaragdakis (GPCE, 2013)

SEDGE: Symbolic example data generation for dataflow programs. - Kaituo Li; Christoph Reichenbach; Yannis Smaragdakis; Yanlei Diao; Christoph Csallner (ASE, 2013)

Class hierarchy complementation: soundly completing a partial type graph. - George Balatsouras; Yannis Smaragdakis (OOPSLA, 2013)

Forsaking inheritance: supercharged delegation in DelphJ. - Prodromos Gerakios; Aggelos Biboudis; Yannis Smaragdakis (OOPSLA, 2013)

Set-based pre-processing for points-to analysis. - Yannis Smaragdakis; George Balatsouras; George Kastrinis (OOPSLA, 2013)

Hybrid context-sensitivity for points-to analysis. - George Kastrinis; Yannis Smaragdakis (PLDI, 2013)

Resolving and Exploiting the $k$-CFA Paradox. - Matthew Might; Yannis Smaragdakis; David Van Horn (CoRR, 2013)

Pointer Analysis (Dagstuhl Seminar 13162). - Ondrej Lhoták; Yannis Smaragdakis; Manu Sridharan (Dagstuhl Reports, 2013)

Refactoring Java generics by inferring wildcards, in practice. - John Altidor; Yannis Smaragdakis (OOPSLA, 2014)

Introspective analysis: context-sensitivity, across the board. - Yannis Smaragdakis; George Kastrinis; George Balatsouras (PLDI, 2014)

Second-Order Constraints in Dynamic Invariant Inference. - Kaituo Li; Christoph Reichenbach; Yannis Smaragdakis; Michal Young (Software Engineering, 2014)

Clash of the Lambdas. - Aggelos Biboudis; Nick Palladinos; Yannis Smaragdakis (CoRR, 2014)

Residual Investigation: Predictive and Precise Bug Detection. - Kaituo Li; Christoph Reichenbach; Christoph Csallner; Yannis Smaragdakis (ACM Trans. Softw. Eng. Methodol., 2014)

More Sound Static Handling of Java Reflection. - Yannis Smaragdakis; George Balatsouras; George Kastrinis; Martin Bravenboer (APLAS, 2015)

A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation. - Hilmar Ackermann; Christoph Reichenbach; Christian Müller; Yannis Smaragdakis (CC, 2015)

Streams a la carte: Extensible Pipelines with Object Algebras. - Aggelos Biboudis; Nick Palladinos; George Fourtounis; Yannis Smaragdakis (ECOOP, 2015)

Foo: a minimal modern OO calculus. - Prodromos Gerakios; George Fourtounis; Yannis Smaragdakis (FTfJP@ECOOP, 2015)

Structured Program Generation Techniques. - Yannis Smaragdakis; Aggelos Biboudis; George Fourtounis (GTTSE, 2015)

Automating ad hoc data representation transformations. - Vlad Ureche; Aggelos Biboudis; Yannis Smaragdakis; Martin Odersky (OOPSLA, 2015)

In defense of soundiness: a manifesto. - 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 (Commun. ACM, 2015)

jUCM: Universal Class Morphing (position paper). - Aggelos Biboudis; George Fourtounis; Yannis Smaragdakis (CoRR, 2015)

Streams à la carte: Extensible Pipelines with Object Algebras (Artifact). - Aggelos Biboudis; Nick Palladinos; George Fourtounis; Yannis Smaragdakis (Dagstuhl Artifacts Ser., 2015)

Pointer Analysis. - Yannis Smaragdakis; George Balatsouras (Found. Trends Program. Lang., 2015)

Structure-Sensitive Points-To Analysis for C and C++. - George Balatsouras; Yannis Smaragdakis (SAS, 2016)

Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. - Tony Antoniadis; Konstantinos Triantafyllou; Yannis Smaragdakis (SOAP@PLDI, 2017)

A Datalog model of must-alias analysis. - George Balatsouras; Kostas Ferles; George Kastrinis; Yannis Smaragdakis (SOAP@PLDI, 2017)

Stream fusion, to completeness. - Oleg Kiselyov; Aggelos Biboudis; Nick Palladinos; Yannis Smaragdakis (POPL, 2017)

Heaps don't lie: countering unsoundness with heap snapshots. - Neville Grech; George Fourtounis; Adrian Francalanza; Yannis Smaragdakis (Proc. ACM Program. Lang., 2017)

P/Taint: unified points-to and taint analysis. - Neville Grech; Yannis Smaragdakis (Proc. ACM Program. Lang., 2017)

An efficient data structure for must-alias analysis. - George Kastrinis; George Balatsouras; Kostas Ferles; Nefeli Prokopaki-Kostopoulou; Yannis Smaragdakis (CC, 2018)

Efficient Reflection String Analysis via Graph Coloring. - Neville Grech; George Kastrinis; Yannis Smaragdakis (ECOOP, 2018)

Defensive Points-To Analysis: Effective Soundness via Laziness. - Yannis Smaragdakis; George Kastrinis (ECOOP, 2018)

Static analysis of Java dynamic proxies. - George Fourtounis; George Kastrinis; Yannis Smaragdakis (ISSTA, 2018)

Shooting from the heap: ultra-scalable static analysis with heap snapshots. - Neville Grech; George Fourtounis; Adrian Francalanza; Yannis Smaragdakis (ISSTA, 2018)

Scalability-first pointer analysis with self-tuning context-sensitivity. - Yue Li 006; Tian Tan 001; Anders Møller; Yannis Smaragdakis (ESEC/SIGSOFT FSE, 2018)

Effectiveness of anonymization in double-blind review. - Claire Le Goues; Yuriy Brun; Sven Apel; Emery D. Berger; Sarfraz Khurshid; Yannis Smaragdakis (Commun. ACM, 2018)

Symbolic Reasoning for Automatic Signal Placement (Extended Version). - Kostas Ferles; Jacob Van Geffen; Isil Dillig; Yannis Smaragdakis (CoRR, 2018)

MadMax: surviving out-of-gas conditions in Ethereum smart contracts. - Neville Grech; Michael Kong; Anton Jurisevic; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (Proc. ACM Program. Lang., 2018)

Precision-guided context sensitivity for pointer analysis. - Yue Li 006; Tian Tan 001; Anders Møller; Yannis Smaragdakis (Proc. ACM Program. Lang., 2018)

Deep Static Modeling of invokedynamic. - George Fourtounis; Yannis Smaragdakis (ECOOP, 2019)

Gigahorse: thorough, declarative decompilation of smart contracts. - Neville Grech; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (ICSE, 2019)

Next-paradigm programming languages: what will they look like and what changes will they bring? - Yannis Smaragdakis (Onward!, 2019)

Deep Static Modeling of invokedynamic (Artifact). - George Fourtounis; Yannis Smaragdakis (Dagstuhl Artifacts Ser., 2019)

Static Analysis of Shape in TensorFlow Programs. - Sifis Lagouvardos; Julian Dolby; Neville Grech; Anastasios Antoniadis; Yannis Smaragdakis (ECOOP, 2020)

Identifying Java calls in native code via binary scanning. - George Fourtounis; Leonidas Triantafyllou; Yannis Smaragdakis (ISSTA, 2020)

Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. - Anastasios Antoniadis; Nikos Filippakis; Paddy Krishnan; Raghavendra Ramesh; Nicholas Allen; Yannis Smaragdakis (PLDI, 2020)

Ethainter: a smart contract security analyzer for composite vulnerabilities. - Lexi Brent; Neville Grech; Sifis Lagouvardos; Bernhard Scholz; Yannis Smaragdakis (PLDI, 2020)

Explaining bug provenance with trace witnesses. - Jixiang Shen; Xi Wu 005; Neville Grech; Bernhard Scholz; Yannis Smaragdakis (SOAP@PLDI, 2020)

MadMax: analyzing the out-of-gas world of smart contracts. - Neville Grech; Michael Kong; Anton Jurisevic; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (Commun. ACM, 2020)

Static Analysis of Shape in TensorFlow Programs (Artifact). - Sifis Lagouvardos; Julian Dolby; Neville Grech; Anastasios Antoniadis; Yannis Smaragdakis (Dagstuhl Artifacts Ser., 2020)

Precise static modeling of Ethereum "memory". - Sifis Lagouvardos; Neville Grech; Ilias Tsatiris; Yannis Smaragdakis (Proc. ACM Program. Lang., 2020)

Symbolic Reasoning for Automatic Signal Placement. - Kostas Ferles; Jacob Van Geffen; Isil Dillig; Yannis Smaragdakis (ACM SIGOPS Oper. Syst. Rev., 2020)

A Principled Approach to Selective Context Sensitivity for Pointer Analysis. - Yue Li 006; Tian Tan 001; Anders Møller; Yannis Smaragdakis (ACM Trans. Program. Lang. Syst., 2020)

Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts. - Yannis Smaragdakis; Neville Grech; Sifis Lagouvardos; Konstantinos Triantafyllou; Ilias Tsatiris (Proc. ACM Program. Lang., 2021)

Making pointer analysis more precise by unleashing the power of selective context sensitivity. - Tian Tan 001; Yue Li 006; Xiaoxing Ma; Chang Xu 001; Yannis Smaragdakis (Proc. ACM Program. Lang., 2021)

Elipmoc: advanced decompilation of Ethereum smart contracts. - Neville Grech; Sifis Lagouvardos; Ilias Tsatiris; Yannis Smaragdakis (Proc. ACM Program. Lang., 2022)

The Incredible Shrinking Context... in a Decompiler Near You. - Sifis Lagouvardos; Yannis Bollanos; Neville Grech; Yannis Smaragdakis (Proc. ACM Softw. Eng., 2025)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning). - Anastasios Antoniadis; Ilias Tsatiris; Neville Grech; Yannis Smaragdakis (CoRR, 2025)

Precise Static Identification of Ethereum Storage Variables. - Sifis Lagouvardos; Yannis Bollanos; Michael Debono; Neville Grech; Yannis Smaragdakis (CoRR, 2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights. - Yannis Smaragdakis; Neville Grech; Sifis Lagouvardos; Konstantinos Triantafyllou; Ilias Tsatiris; Yannis Bollanos; Tony Rocco Valentine (CoRR, 2025)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis. - Panagiotis Diamantakis; Thanassis Avgerinos; Yannis Smaragdakis (CoRR, 2025)