GPCE 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Yannis Smaragdakis

Registered user since Sat 4 Apr 2015

Name:Yannis Smaragdakis

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:


SPLASH 2021 Committee Member in Onward! Steering Committee within the Onward! Papers-track
Committee Member in Steering Committee
Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Session Chair of Security (part of OOPSLA)
Future of Conferences
Committee Member in Review Committee within the OOPSLA-track
Committee Member in Onward! Steering Committee within the Onward! Essays-track
Show activities from other conferences

SPLASH 2021-profile
View general profile