Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Tue 24 Oct 2017 08:50 - 09:30 at Prince of Wales - Session 1
Presentation (smaragdakis-plmw-2017.pdf)67KiB

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)

Tue 24 Oct

splash-2017-PLMW
08:30 - 10:00: PL Mentoring Workshop (PLMW) - Session 1 at Prince of Wales
splash-2017-PLMW150882480000008:00 - 08:10
Day opening
Barbara RyderVirginia Tech, Lori PollockUniversity of Delaware, USA
File Attached
splash-2017-PLMW150882540000008:10 - 08:50
Talk
File Attached
splash-2017-PLMW150882780000008:50 - 09:30
Talk
Yannis SmaragdakisUniversity of Athens
File Attached
splash-2017-PLMW150883020000009:30 - 10:10
Talk
Benjamin ZornMicrosoft Research
Media Attached File Attached