Yannis Smaragdakis

Registered user since Sat 4 Apr 2015

Name: Yannis Smaragdakis

Bio: 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).

Country: Greece

Affiliation: University of Athens

Personal website: http://smaragd.org/

Research interests: applied programming languages and software engineering

SPLASH 2018 Activities

SPLASH 2018-profile
View general profile