![Yannis Smaragdakis](https://2016.onward-conference.org/getProfileImage/yannissmaragdakis/950b119c-6d23-4b17-a696-277ccbcefdc3/small.jpg?1711460890000)
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/
Contributions
2016
SPLASH
SPLASH 2016-profile
View general profile
View general profile