University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks > Pony: Co-Designing a Type System and a Runtime

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Pony: Co-Designing a Type System and a Runtime

Download to your calendar using vCal

If you have a question about this talk, please contact .

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

Pony is an actor-model, capabilities-secure, native programming language. I will talk about reference capabilities (a type system for data-race freedom influenced by object capabilities and deny guarantee reasoning), the ORCA and MAC protocols for fully concurrent no-stop-the-world garbage collection of both objects and actors, and extending Pony to the distributed setting.

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

IfM Common Room, IfM, 17 Charles Babbage Road Centre for European Legal Studies Emmanuel College (College Museum)

Other talks

Fairy Tales Ice-core timescales and the synchronization of paleoclimate archives Title to be confirmed Group Presentation 3 Unveiling the curtain with ukubuyisa or go lata: complicated roles of museums and nation states in the cultural repatriation discourse and practice in southern Africa Using numerical simulations for solving spectral geometry problems
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity