Wed 25 May 2016 16:00 - 16:30 at Snijderszaal - Session 4 Chair(s): Sebastian Erdweg

Gradual Typing is quite popular in academia, I will use my thirty minutes of your time to live code, with your help, some use-cases of gradual types in different languages (JavaScript, Racket, Python). We may find out something about usability and performance tradeoffs of different designs. Or not.

Jan Vitek is a Professor of Computer Science at Northeastern University. Dr. Vitek was born in Czechoslovakia and educated in Switzerland. Over the years, he worked on topics related to programming languages, their design, use, and implementation. With Noble and Potter, he proposed the notion of flexible alias control which became know as Ownership Types. He led the Ovm project which produced the first real-time Java virtual machine to be flight tested on a ScanEagle drone (he claims no one was harmed). Outcomes of this project include the Schism real-time garbage collector and the FijiVM – a production VM for embedded systems. More recently, he worked on dynamic languages, trying to make sense of JavaScript and to design a new language called, Thorn. Nowadays, he spends his time with statisticians and data scientists. Jan believes that his 2012 election as Chair of SIGPLAN was an accident; since has been busy trying to rock the boat to ensure this does not happen again. In his spare time, Jan enjoys organizing conferences and sitting on PCs (over 25 in the last decade). He founded the MOS (mobile objects), IWACO (alias control), STOP (gradual typing), and TRANSACT (transactional memory) workshop series. He was the first program chair of VEE and chaired ESOP, ECOOP, Coordination and TOOLS. He was the general chair of PLDI (in Beijing!), ISMM and LCTES. He may still be sitting on the steering committees of ECOOP, JTRES, ICFP, OOPLSA, POPL, PLDI, LCTES, ESOP.

Wed 25 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00: Session 4Workshop at Snijderszaal
Chair(s): Sebastian ErdwegTU Delft
15:30 - 16:00
Talk
Workshop
Olivier TardieuIBM Research
16:00 - 16:30
Talk
Workshop
Jan VitekNortheastern University
16:30 - 17:00
Talk
Workshop
Richard JonesUniversity of Kent, Tomas KaliberaNortheastern University