CurryOn/PWL Special Event

In collaboration with Curry On 2019 (www.curry-on.org), PWL London is organising a special afternoon of love for our favourite papers! Six speakers, six papers, six meetups in one and the unique opportunity to chat with attendees and speakers before the conference.

-Schedule-

• 13:50-14:00 PWL London - CurryOn introduction

• 14:00-14:30 Heather Miller (https://heather.miller.am) - "A retrospective on distributed programming languages"

• 14:30-15:00 Derek Jones (http://www.knosof.co.uk) - "The available experimental evidence for the benefits of strong typing" (https://shape-of-code.coding-guidelines.com/2014/08/27/evidence-for-the-benefits-of-strong-typing-where-is-it/)

BREAK

• 15:30-16:00 Nate Foster (http://www.cs.cornell.edu/~jnfoster) - "Hyperproperties" (https://dl.acm.org/citation.cfm?id=1891830)

• 16:00-16:30 Vilem Liepelt (https://www.cs.kent.ac.uk/people/rpg/vl200/) - "Quantitative program reasoning with graded modal types" (https://www.cs.kent.ac.uk/people/staff/dao7/publ/granule-icfp19.pdf)

BREAK

• 17:00-17:30 Jan Vitek (http://janvitek.org) - "A large-scale study of programming languages and code quality in GitHub" (https://doi.org/10.1145/3126905 https://arxiv.org/abs/1901.10220)

• 17:30-18:00 Jaseem Abid (https://blog.jabid.in) - "An Incremental Approach to Compiler Construction" (http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)

Drinks and snacks provided. Feel free to stay longer for a friendly pint afterwards (7pm Craft Beers Co., 233 Old St, London, EC1V 9HE). For any info, please get in touch: paperswelove.london[at]gmail.com

Location:

Microsoft Reactor London
70 Wilson Street
EC2A 2DB
https://goo.gl/maps/JjGrPNB8a9N2

The nearest tube station is Moorgate, Old Street, Liverpool St.