SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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

SPLASH 2020 Precise Static Modeling of Ethereum ``Memory''
Committee Member in Steering Committee
Precise Static Modeling of Ethereum “Memory”
ECOOP 2020 Static Analysis of Shape in TensorFlow Programs
Static Analysis of Shape in TensorFlow Programs
Show activities from other conferences

SPLASH 2020-profile
View general profile