conf.researchr.org / 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
2023
2022
SPLASH
- 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
2021
SPLASH
- 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
PLDI
2020
SPLASH
ECOOP
PLDI
2019
SPLASH
- 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
- 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)
2018
SPLASH
- 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
ECOOP
ECOOP/ISSTA
ISSTA
- 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
PLDI
2017
SPLASH
- 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
SOAP
2016
SPLASH
- 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
OOPSLA-PC
2015
SPLASH
- 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
ECOOP
2014
SPLASH
- 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
2013
SPLASH
- 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