ECOOP and ISSTA (series) / Yannis Smaragdakis

Registered user since Sat 4 Apr 2015
Name: Yannis Smaragdakis
Bio: Research Interests: applied programming languages and software engineering
- Language mechanisms for abstraction (declarative languages, program generation, DSLs, modules and components, generics, extensible languages, multi-paradigm programming)
- Program analysis and testing (pointer analysis, automatic test generation, invariant inference, symbolic execution)
- 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/
ECOOP and ISSTA Activities
- Co-chair in Organizers for Panathon 2018
- Author of Defensive Points-To Analysis: Effective Soundness via Laziness within the Research Papers-track in ECOOP 2018
- Author of Efficient Reflection String Analysis via Graph Coloring within the Research Papers-track in ECOOP 2018
- Committee Member in Program Committee for ISSTA 2018 Technical Papers
- Show activities from other conferences
Using general profile