Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
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

WODA 2016invited speaker of From Soundiness to Soundness within the WODA-track
SPLASH 2016Program Chair in Program Committee within the OOPSLA-track
OOPSLA 2016 PC Chair of OOPSLA Awards within the Keynotes and Awards-track
OOPSLA 2016 PC Chair of OOPSLA 2016 Program Chair's Report within the Keynotes and Awards-track
OOPSLA 2016 PC Chair in Steering Committee
OOPSLA 2016 PC Chair of SIGPLAN Awards within the Keynotes and Awards-track
Session Chair of Keynote Thursday (part of Keynotes and Awards)
OOPSLA Program Chair in Organizing Committee
Show activities from other conferences

SPLASH 2016-profile
View general profile