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/

Contributions

SPLASH 2015 Automating Ad-hoc Data Representation Transformations
Why Do a PhD and How to Pick an Area
Automating Ad-hoc Data Representation Transformations
Committee Member in Program Committee within the OOPSLA-track
Committee Member in Program Committee within the Student Research Competition-track
GPCE 2015 Committee Member in Program Committee within the GPCE-track
Show activities from other conferences

SPLASH 2015-profile
View general profile