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