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)

Affiliation: University of Athens

Personal website: http://smaragd.org/

Contributions

SPLASH 2021 Committee Member in Steering Committee
SPLASH 2010
PLDI 2021 Committee Member in Program Committee within the PLDI Research Papers-track
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
ISSTA 2021 PC Member in Program Committee
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
ISSTA 2020 Author of Identifying Java Calls in Native Code via Binary Scanning within the Technical Papers-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
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
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 2019 Committee Member in Program Committee within the SOAP-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)
DPA 2018 Author of Declarative Static Analysis and Zombies (ok, Soundness) within the DPA-track
NJR 2018 Author of Decompiling Ethereum Bytecode and Detecting Gas-Focused Vulnerabilities within the NJR-track
Panathon 2018 Co-chair in Organizers within the Panathon-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
HOPL IV Committee Member in Program Committee within the Papers-track
ICSE 2019 Author of Gigahorse: Thorough, Declarative Decompilation of Smart Contracts within the Technical Track-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
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
ESEC/FSE 2018 Author of Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity within the Research Papers-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
PEPM 2017 Author of Invited posters within the PEPM 2017-track
WODA 2016 Invited Speaker of From Soundiness to Soundness within the WODA-track
OOPSLA 2016 PC Meeting OOPSLA 2016 PC Chair in Organizing Committee
Session Chair of Session 2 (part of Workshop)
POPL 2017 Author of Stream Fusion, to Completeness within the POPL-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
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
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
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
PLDI 2016 Committee Member in Program Committee
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
Modularity 2016 Committee Member in Program Committee within the Research Results-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
POPL 2016 ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-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
GPCE 2015 Committee Member in Program Committee within the GPCE-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
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
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
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