Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Thu 26 Oct 2017 18:15 - 18:30 at Regency C - Business Meeting and Awards

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)

Thu 26 Oct

splash-2017-keynotes
17:30 - 18:30: Keynotes - Business Meeting and Awards at Regency C
splash-2017-keynotes150903180000017:30 - 17:45
Talk
Tony HoskingAustralian National University / Data61
splash-2017-keynotes150903270000017:45 - 17:55
Talk
Gail MurphyUniversity of British Columbia
splash-2017-keynotes150903330000017:55 - 18:05
Talk
Jonathan AldrichCarnegie Mellon University
splash-2017-keynotes150903390000018:05 - 18:15
Talk
Emina TorlakUniversity of Washington, Robert BiddleCarleton University
splash-2017-keynotes150903450000018:15 - 18:30
Talk
Yannis SmaragdakisUniversity of Athens