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
2021
SPLASH
- 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
SPLASH 2021-profile
View general profile
View general profile