ECOOP and ISSTA 2018 (series) / 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
2018
ECOOP
ECOOP/ISSTA
ISSTA
- 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-profile
View general profile
View general profile