Scholar
Yannis Smaragdakis
Google Scholar ID: XCJuXcgAAAAJ
University of Athens
Citations & Impact
Citations
3,864
H-index
32
i10-index
54
Publications
20
Co-authors
25
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published numerous papers, including 'Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)' (OOPSLA'25), 'The Incredible Shrinking Context... in a Decompiler Near You' (ISSTA'25), etc. Research areas include static analysis of smart contracts, general static program analysis (especially pointer analysis), and developed the Doop framework.
Research Experience
- Taught a variety of courses such as Compilers, Analysis of Smart Contracts on Blockchain Platforms, OO Languages and Systems/Advanced Programming Techniques, Advanced Compilers and Static Analysis, Operating Systems, Systems Programming, SE. In the US, taught SE, OO Languages and Systems, Graduate Seminar, Distributed Systems, Intro OO, Advanced OS, Memory Management.
Education
- Information not provided
Background
- Professor at the Department of Informatics, University of Athens (part-time 35%, also at Dedaub). Research interests include 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), and languages and tools for systems (programming models for concurrency, language support for distributed computing, memory management and program locality). Gratefully acknowledging funding by the ERC (Advanced grant, '24-'29) and HFRI.
Miscellany
- Has a personal YouTube channel for lab-related activities.
