Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Yannis Smaragdakis

Registered user since Sat 4 Apr 2015

Name: Yannis Smaragdakis

Bio: Research Interests: applied programming languages and software engineering

  • Language mechanisms for abstraction (declarative languages, program generation, DSLs, modules and components, generics, extensible languages, multi-paradigm programming)
  • Program analysis and testing (pointer analysis, automatic test generation, invariant inference, symbolic execution)
  • Languages and tools for systems (programming models for concurrency, language support for distributed computing, memory management and program locality)

Affiliation: University of Athens

Personal website: http://smaragd.org/

Contributions

NJR 2017Author of Benchmarking for Program Analysis within the NJR 2017-track
NOOL 2017Panelist of Panel Discussion: Security in OO languages within the NOOL 2017-track
SPLASH 2017Author of P/Taint: Unified Points-to and Taint Analysis within the OOPSLA-track
Author of OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award within the Keynotes-track
OOPSLA 2016 PC Chair in Steering Committee
Presenter of SIGPLAN Town Hall within the Keynotes-track
Speaker of Why do a Ph.D. and how to pick an area? within the PL Mentoring Workshop (PLMW)-track
Author of Heaps Don't Lie: Countering Unsoundness with Heap Snapshots within the OOPSLA-track
Speaker in PLMW Speakers within the PL Mentoring Workshop (PLMW)-track
Show activities from other conferences

SPLASH 2017-profile
View general profile