Write a Blog >>
Onward! 2018
Wed 7 - Thu 8 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
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)

Country: Greece

Affiliation: University of Athens

Personal website: http://smaragd.org/

Contributions

NJR 2018 Decompiling Ethereum Bytecode and Detecting Gas-Focused Vulnerabilities
SPLASH 2018 Committee Member in Review Committee within the OOPSLA-track
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Precision-Guided Context Sensitivity for Pointer Analysis
Committee Member in Steering Committee
Precision-Guided Context Sensitivity for Pointer Analysis
Precision-Guided Context Sensitivity for Pointer Analysis
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Show activities from other conferences

SPLASH 2018-profile
View general profile