PLaST research group

The PLaST research group at the Department of Informatics and Telecommunications of the University of Athens focuses on applied programming languages and software engineering:

• Program analysis (static analysis, test generation, invariant inference, symbolic execution)
• Language mechanisms for abstraction (declarative languages, program generation, DSLs, modules and components, generics, extensible languages, multi-paradigm programming)
• Languages and tools for systems (programming models for concurrency, language support for distributed computing, memory management and program locality)

Head: Yannis Smaragdakis

@plast_lab

Some Recent Publications

• “Identifying Java Calls in Native Code via Binary Scanning” (ISSTA’20)
• “Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities” (PLDI’20)
• “Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room” (PLDI’20)
• “Gigahorse: Thorough, Declarative Decompilation of Smart Contracts” (ICSE’19)
• “Deep Static Modeling of invokedynamic” (ECOOP’19)
• “MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts” (OOPSLA’18)
• “Defensive Points-To Analysis: Effective Soundness via Laziness” (ECOOP’18)
• “Efficient Reflection String Analysis via Graph Coloring” (ECOOP’18)
• “Static Analysis of Java Dynamic Proxies” (ISSTA’18)
• “Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots” (ISSTA’18)
• “P/Taint: Unified Points-to and Taint Analysis” (OOPSLA’17)
• “Porting Doop to Souffle: A Tale of Inter-Engine Portability for Datalog-Based Analyses” (SOAP’17)
• “A Datalog Model of Must-Alias Analysis” (SOAP’17)
• “Stream Fusion, to Completeness” (POPL’17)
• “Heaps Don’t Lie: Countering Unsoundness with Heap Snapshots” (OOPSLA’17)
• “Structure-Sensitive Points-To Analysis for C and C++” (SAS’16)
• “More Sound Static Handling of Java Reflection” (APLAS’15)
• “Automating Ad hoc Data Representation Transformations” (OOPSLA’15)
• “Pointer Analysis” (Foundations and Trends in PL)
• “Foo: A Minimal Modern OO Calculus” (FTfJP’15)
• “jUCM: Universal Class Morphing” (MASPEGHI’15)
• “Streams a la carte: Extensible Pipelines with Object Algebras” (ECOOP’15)
• “In Defense of Soundiness: A Manifesto” (CACM, Feb’15)
• “Clash of the Lambdas” (ICOOOLPS’14)
• “Introspective Analysis: Context-Sensitivity, Across the Board” (PLDI’14)
• “Class Hierarchy Complementation: Soundly Completing a Partial Type Graph” (OOPSLA’13)
• “Forsaking Inheritance: Supercharged Delegation in DelphJ” (OOPSLA’13)
• “Set-Based Pre-Processing for Points-To Analysis” (OOPSLA’13)
• “Reified Type Parameters Using Java Annotations” (GPCE’13)
• “Hybrid Context Sensitivity for Points-To Analysis” (PLDI’13)
• “Efficient and Effective Handling of Exceptions in Java Points-To Analysis” (CC’13)

Team Members

• Faculty: Yannis Smaragdakis
• Post-Doctoral researchers: Neville Grech, Kostas Saidis
• Ph.D. students: Anastasis Antoniadis, George Kollias, Sifis Lagouvardos, Panagiotis Diamantakis, Konstantinos Triantafyllou
• M.Sc. students: Markella Gioka, Ilias Tsatiris
• Former Post-Doctoral researchers: George Fourtounis, George Kastrinis
• Former Ph.D. students: George Balatsouras, Aggelos Biboudis, George Kastrinis, Efthymios Hadjimichael
• Former M.Sc. students: Kostas Ferles, Petros Pathoulas, Eirini Psallida