ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
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

DPA 2018Author of Declarative Static Analysis and Zombies (ok, Soundness) within the DPA-track
Panathon 2018Co-chair in Organizers within the Panathon-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 within the ISSTA Technical Papers-track
Author of Static Analysis of Java Dynamic Proxies within the ISSTA Artifacts-track
ECOOP and ISSTAAuthor 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
Show activities from other conferences

ECOOP and ISSTA-profile
View general profile