Yannis Smaragdakis - ECOOP and ISSTA 2018

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

Contributions

DPA 2018	Declarative Static Analysis and Zombies (ok, Soundness)
Panathon 2018	Co-chair in Organizers within the Panathon-track
ECOOP 2018	Defensive Points-To Analysis: Effective Soundness via Laziness Efficient Reflection String Analysis via Graph Coloring
ISSTA 2018	Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Static Analysis of Java Dynamic Proxies Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Committee Member in Program Committee within the ISSTA Technical Papers-track Static Analysis of Java Dynamic Proxies
ECOOP and ISSTA 2018	Defensive Points-To Analysis: Effective Soundness via Laziness Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots Efficient Reflection String Analysis via Graph Coloring
Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile