Yannis Smaragdakis - ECOOP and ISSTA

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

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 2018	Author of Declarative Static Analysis and Zombies (ok, Soundness) within the DPA-track
Panathon 2018	Co-chair in Organizers within the Panathon-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	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
Show activities from other conferences

ECOOP and ISSTA-profile
View general profile