Pony: Making it easy to write efficient, concurrent, data race free programs
Curry On! Prague, 7th July 2015.
Sylvan Clebsch, Sebastian Blessing and Sophia Drossopoulou
Invited Talks
- JUNE 2015:15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming Bertinoro, Italy
- Towards Capability Policy Specification and Verification, iFM 2014, Bertinoro, Italy
- Reasoning about Recursive Predicates in Specifications, SFM-14:ESM, Bertinoro PhD Summer School
- The Benefits of putting Objects into Boxes (ESOP’06, and later Google’08)
- Polymorphic Bytecode & Flexible Linking (Cassis’05)
- Session Types and the Price of Progress (FMCO’05)
- Alias Control (Trustworthy Global Computing’08)
- Types for Alias Control and Verification (Discotec’09)
Recent Work
- Introduction to Pony: presented at the IFIP WG 2.16 (Programming Language Design) in Athens, May 2015 (*.pptx), and also in *pdf
- Zeno, a theorem prover for inductively defined properties (IFIP WG2.1, 2011)
- Trust the Clones (FoVeOOS, 2011)
- Multirole Session Types (Dagstuhl, 2010)
Slides from selected student projects supervised
- Chalice to Boogie, Chinmay Kakatkar, BEng 3 2012
- Generic Nullity and Immutability, James Elfrod, JMC 4, 2012
- Types for Deep and Shallow Cloning, Ka WeiCheng MEng 4, 2012
- Distributed Pony, Sebastian Blessing, MSc 2013