Yannis Smaragdakis -

Registered user since Sat 4 Apr 2015

Name:Yannis Smaragdakis

Bio:

Research Interests: 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)

Country:Greece

Affiliation:University of Athens

Personal website:http://smaragd.org/

Contributions

SPLASH 2023	Committee Member in Steering Committee
EVCS	Session Chair of Session 4: Scopes & Types (part of Eelco Visser Commemorative Symposium)
SPLASH 2022	Author of Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the COVID Time Papers In Person-track Author of Elipmoc: advanced decompilation of Ethereum smart contracts within the OOPSLA-track Committee Member in Steering Committee Author of Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts within the COVID Time Papers In Person-track
ISSTA 2022	Session Chair of Keynote (part of Keynotes) Program Chair in Organizing Comittee PC Chair of Award Presentations & Chair Report within the Keynotes-track Program Chair in Program Committee within the Technical Papers-track Session Chair of Keynote (part of Keynotes)
SPLASH 2021	Committee Member in Onward! Steering Committee within the Onward! Papers-track Committee Member in Steering Committee Author of Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity within the OOPSLA-track Author of Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts within the OOPSLA-track Session Chair of Security (part of OOPSLA) Author of Future of Conferences within the SIGPLAN Business-track Committee Member in Review Committee within the OOPSLA-track Committee Member in Onward! Steering Committee within the Onward! Essays-track
ESEC/FSE 2021	Committee Member in Program Committee within the Research Papers-track
ECOOP and ISSTA 2021	Author of ISSTA 2022 Preview within the 2022 Previews-track
ISSTA 2021	PC Member in Program Committee
PLDI 2021	Committee Member in Program Committee within the PLDI-track Author of Implementing smart contract security analyses using the MadMax/Gigahorse framework within the Tutorials-track
HOPL IV	Session Chair of Monday Early Afternoon (part of Papers) Committee Member in Program Committee within the Papers-track
SPLASH 2020	Author of Precise Static Modeling of Ethereum ``Memory'' within the OOPSLA Artifacts-track Committee Member in Steering Committee Author of Precise Static Modeling of Ethereum “Memory” within the OOPSLA-track
ECOOP 2020	Author of Static Analysis of Shape in TensorFlow Programs within the Artifacts-track Author of Static Analysis of Shape in TensorFlow Programs within the Research Papers-track
ISSTA 2020	Author of Identifying Java Calls in Native Code via Binary Scanning within the Technical Papers-track
PLDI 2020	Author of Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the PLDI Research Papers-track Author of Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room within the PLDI Research Papers-track
SOAP 2020	Author of Explaining Bug Provenance with Trace Witnesses within the SOAP 2020-track Invited Speaker of Tool Talk: DOOP within the SOAP 2020-track
SPLASH 2019	General Chair in Organizing Committee Session Chair of Dellaert keynote (closing) (part of Keynotes) Speaker of Why do a PhD? within the PLMW-track Steering Committee Member in Steering Committee Author of Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? within the Onward! Essays-track Speaker in Speakers & Panelists within the PLMW-track Chair of Welcome, Introduction within the Rebase-track Session Chair of Rebase Keynote (Might) (part of Rebase)
ECOOP 2019	Author of Static Analysis of Ethereum Smart Contracts within the Summer School-track Author of Deep Static Modeling of invokedynamic within the Artifacts-track Author of Deep Static Modeling of invokedynamic within the Research Papers-track Author of Deep Static Modeling of invokedynamic within the Posters-track Session Chair of Program Analysis 1 (part of Research Papers)
SOAP 2019	Committee Member in Program Committee within the SOAP-track
ICSE 2019	Author of Gigahorse: Thorough, Declarative Decompilation of Smart Contracts within the Technical Track-track
ESEC/FSE 2018	Author of Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity within the Research Papers-track
NJR 2018	Author of Decompiling Ethereum Bytecode and Detecting Gas-Focused Vulnerabilities within the NJR-track
SPLASH 2018	Committee Member in Review Committee within the OOPSLA-track Author of MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts within the Posters-track Author of Precision-Guided Context Sensitivity for Pointer Analysis within the Artifacts-track Committee Member in Steering Committee Author of Precision-Guided Context Sensitivity for Pointer Analysis within the OOPSLA-track Author of Precision-Guided Context Sensitivity for Pointer Analysis within the Posters-track Author of MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts within the OOPSLA-track
DPA 2018	Author of Declarative Static Analysis and Zombies (ok, Soundness) within the DPA-track
ECOOP 2018	Author of Defensive Points-To Analysis: Effective Soundness via Laziness within the ECOOP Research Papers-track Author of Efficient Reflection String Analysis via Graph Coloring within the ECOOP Research Papers-track
ECOOP and ISSTA 2018	Author of Defensive Points-To Analysis: Effective Soundness via Laziness within the Posters-track Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the Posters-track Author of Efficient Reflection String Analysis via Graph Coloring within the Posters-track
ISSTA 2018	Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Technical Papers-track Author of Static Analysis of Java Dynamic Proxies within the ISSTA Technical Papers-track Author of Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots within the ISSTA Artifacts-track Committee Member in Program Committee within the ISSTA Technical Papers-track Author of Static Analysis of Java Dynamic Proxies within the ISSTA Artifacts-track
Panathon 2018	Co-chair in Organizers within the Panathon-track
PLDI 2018	Committee Member in Program Committee Author of Symbolic Reasoning for Automatic Signal Placement within the PLDI Research Papers-track Session Chair of Multicore and More (part of PLDI Research Papers)
POPL 2018	Committee Member in Program Committee within the Research Papers-track
NJR 2017	Author of Benchmarking for Program Analysis within the NJR 2017-track
NOOL 2017	Panelist of Panel Discussion: Security in OO languages within the NOOL 2017-track
SPLASH 2017	Author of P/Taint: Unified Points-to and Taint Analysis within the OOPSLA-track Author of OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award within the Keynotes-track OOPSLA 2016 PC Chair in Steering Committee Presenter of SIGPLAN Town Hall within the Keynotes-track Speaker of Why do a Ph.D. and how to pick an area? within the PL Mentoring Workshop (PLMW)-track Author of Heaps Don't Lie: Countering Unsoundness with Heap Snapshots within the OOPSLA-track Speaker in PLMW Speakers within the PL Mentoring Workshop (PLMW)-track
ECOOP 2017	Committee Member in Program Committee within the ECOOP Research Papers-track
SOAP 2017	Author of A Datalog Model of Must-Alias Analysis within the SOAP-track Author of Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses within the SOAP-track
POPL 2017	Author of Stream Fusion, to Completeness within the POPL-track
PEPM 2017	Author of Invited posters within the PEPM 2017-track
SPLASH 2016	Program Chair in Program Committee within the OOPSLA-track OOPSLA 2016 PC Chair of OOPSLA Awards within the Keynotes and Awards-track OOPSLA 2016 PC Chair of OOPSLA 2016 Program Chair's Report within the Keynotes and Awards-track OOPSLA 2016 PC Chair in Steering Committee OOPSLA 2016 PC Chair of SIGPLAN Awards within the Keynotes and Awards-track Session Chair of Keynote Thursday (part of Keynotes and Awards) OOPSLA Program Chair in Organizing Committee
WODA 2016	Invited Speaker of From Soundiness to Soundness within the WODA-track
ECOOP 2016	Committee Member in External Review Committee within the Research Track-track
PLDI 2016	Committee Member in Program Committee
OOPSLA 2016 PC Meeting	OOPSLA 2016 PC Chair in Organizing Committee Session Chair of Session 2 (part of Workshop)
Modularity 2016	Committee Member in Program Committee within the Research Results-track
POPL 2016	ERC member in External Reviewing Committee ERC member in External Reviewing Committee within the Research Papers-track
SPLASH 2015	Author of Automating Ad-hoc Data Representation Transformations within the OOPSLA-track Author of Why Do a PhD and How to Pick an Area within the PLMW-track Author of Automating Ad-hoc Data Representation Transformations within the OOPSLA Artifacts-track Committee Member in Program Committee within the OOPSLA-track Committee Member in Program Committee within the Student Research Competition-track
GPCE 2015	Committee Member in Program Committee within the GPCE-track
ECOOP 2015	Author of Streams a la carte: Extensible Pipelines with Object Algebras within the Research Track-track Author of Streams a la carte: Extensible Pipelines with Object Algebras within the Artifacts-track
MASPEGHI 2015	Author of jUCM: Universal Class Morphing within the MASPEGHI-track
FTfJP 2015	Author of Foo: A minimal Modern OO Calculus within the FTfJP-track
PLDI 2015	Session Chair of Analysis (part of Research Papers) Author of Doop Framework 101 within the Tutorials-track Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014	Session Chair of Domain Specific Languages (part of OOPSLA) Committee Member in External Review Committee within the OOPSLA-track Author of Refactoring Java Generics by Inferring Wildcards, In Practice within the OOPSLA-track Presenter of Refactoring Java Generics by Inferring Wildcards, In Practice within the OOPSLA Artifacts-track
GPCE 2013	Author of Reified Type Parameters Using Java Annotations within the Research Papers-track
SPLASH 2013	Author of Set-Based Pre-Processing for Points-To Analysis within the OOPSLA-track Author of Class Hierarchy Complementation: Soundly Completing a Partial Type Graph within the OOPSLA-track Committee Member in External Review Committee within the OOPSLA-track Committee Member in Program Committee within the GPCE-track Author of Forsaking Inheritance: Supercharged Delegation in DelphJ within the OOPSLA-track
SPLASH 2011	Committee Member in External Reviewers within the OOPSLA-track