Yannis Smaragdakis

Registered user since Sat 4 Apr 2015

Name: Yannis Smaragdakis

Bio: Research Interests: programming languages and software engineering

  • Program analysis (static analysis, test generation, invariant inference, symbolic execution)
  • Language mechanisms for abstraction (declarative languages, program generation, DSLs, modules and components, generics, extensible languages, multi-paradigm programming)
  • 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

PLDI 2018 Committee Member in Program Committee
Symbolic Reasoning for Automatic Signal Placement
Session Chair of Multicore and More (part of PLDI Research Papers)
Show activities from other conferences

PLDI 2018-profile
View general profile