SPLASH 2013
Sat 26 - Thu 31 October 2013 Indianapolis, United States
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

GPCE 2013Author of Reified Type Parameters Using Java Annotations within the Research Papers-track
SPLASH 2013Author of Set-Based Pre-Processing for Points-To Analysis within the OOPSLA-track
Author of Class Hierarchy Complementation: Soundly Completing a Partial Type Graph within the OOPSLA-track
Committee Member in External Review Committee within the OOPSLA-track
Committee Member in Program Committee within the GPCE-track
Author of Forsaking Inheritance: Supercharged Delegation in DelphJ within the OOPSLA-track
Show activities from other conferences

SPLASH 2013-profile
View general profile