Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Yannis Smaragdakis

Registered user since Sat 4 Apr 2015

Name:Yannis Smaragdakis

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/


SPLASH 2022 Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Elipmoc: advanced decompilation of Ethereum smart contracts
Committee Member in Steering Committee
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts
Show activities from other conferences

SPLASH 2022-profile
View general profile