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
2019
SPLASH
- General Chair in Organizing Committee
- Session Chair of Dellaert keynote (closing) (part of Keynotes)
- Why do a PhD?
- Steering Committee Member in Steering Committee
- Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
- Speaker in Speakers & Panelists within the PLMW-track
- Welcome, Introduction
- Session Chair of Rebase Keynote (Might) (part of Rebase)
SPLASH 2019-profile
View general profile
View general profile