Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
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

ICSE 2019Author of Gigahorse: Thorough, Declarative Decompilation of Smart Contracts within the Technical Papers-track
Show activities from other conferences

Using general profile