Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
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, Greece

Personal website: http://smaragd.org/

Contributions

SOAP 2020Author of Explaining Bug Provenance with Trace Witnesses within the SOAP 2020-track
Invited Speaker of Tool Talk: DOOP within the SOAP 2020-track
PLDI 2020Author of Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities within the PLDI Research Papers-track
Author of Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2020-profile
View general profile