Blogs (61) >>
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 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