Yannis Smaragdakis

co-located with SPLASH 2021

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

Contributions

SPLASH 2021	Committee Member in Onward! Steering Committee within the Onward! Papers-track Committee Member in Steering Committee Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts Session Chair of Security (part of OOPSLA) Future of Conferences Committee Member in Review Committee within the OOPSLA-track Committee Member in Onward! Steering Committee within the Onward! Essays-track
Show activities from other conferences

SPLASH 2021-profile
View general profile