Yannis Smaragdakis

Registered user since Sat 4 Apr 2015

Name: Yannis Smaragdakis

Bio: Research Interests: applied programming languages and software engineering

  • Program analysis (pointer analysis, automatic 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

Panathon 2018Co-chair in Organizers
SPLASH 2018Committee Member in Review Committee
Committee Member in Steering Committee
HOPL IVCommittee Member in Program Committee
NJR 2017Author of Benchmarking for Program Analysis within the NJR 2017-track
NOOL 2017Panelist of Panel Discussion: Security in OO languages within the NOOL 2017-track
SOAP 2017Author 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
PLDI 2018Committee 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 2018Committee Member in Program Committee
PEPM 2017Author of Invited posters within the PEPM 2017-track
WODA 2016invited speaker of From Soundiness to Soundness within the WODA-track
OOPSLA 2016 PC MeetingOOPSLA 2016 PC Chair in Organizing Committee
Session Chair of Session 2 (part of Workshop)
POPL 2017Author of Stream Fusion, to Completeness within the POPL-track
ECOOP 2018Author 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 2018Author 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
Author of Static Analysis of Java Dynamic Proxies within the ISSTA Artifacts-track
SPLASH 2017Author 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
ECOOP 2017Committee Member in Program Committee
PLDI 2016Committee Member in Program Committee
ECOOP 2016Committee Member in External Review Committee
Modularity 2016 Committee Member in Program Committee
SPLASH 2016Program Chair in Program Committee
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 2016ERC member in External Reviewing Committee
ERC member in External Reviewing Committee
MASPEGHI 2015Author of jUCM: Universal Class Morphing within the MASPEGHI-track
FTfJP 2015Author of Foo: A minimal Modern OO Calculus within the FTfJP-track
GPCE 2015Committee Member in Program Committee
SPLASH 2015Author 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
Committee Member in Program Committee
PLDI 2015Session Chair of Analysis (part of Research Papers)
Author of Doop Framework 101 within the Tutorials-track
Committee Member in External Review Committee
ECOOP 2015Author 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 2014Session Chair of Domain Specific Languages (part of OOPSLA)
Committee Member in External Review Committee
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 2013Author of Reified Type Parameters Using Java Annotations within the Research Papers-track
SPLASH 2013Author 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
Committee Member in Program Committee
Author of Forsaking Inheritance: Supercharged Delegation in DelphJ within the OOPSLA-track