Gothenburg
The Gothenburg chapter of Papers We Love
Papers We Love has a Code of Conduct. Please contact one of the Meetup's organizers if anyone is not following it. Be good to each other and to the PWL community!
Chapter details
Sign-up: Please RSVP for meetings via Meetup.com
Slack: #pwlgot
Twitter: @pwlgot
Organizers: Nachi Vpn
Sponsors
Chapter Meetups
Matthías on "Suggesting Valid Hole Fits for Typed-Holes" at TimeEdit
We're back after a (very) long hibernation! Come join us at TimeEdit for a talk on a brand new extension to Haskell. This time, we have the author of the paper himself give us the talk!
-------------------------------------------
Abstract
Type systems allow programmers to communicate a partial specification of their program to the compiler using types, which can then be used to check that the implementation matches the specification. But can the types be used to aid programmers during development? In this talk I describe the design and implementation of my lightweight and practical extension to the typed-holes of GHC, partially available in GHC 8.4, and fully available in GHC 8.6 and onwards. The extension improves user experience by adding a list of valid hole fits and refinement hole fits to the error message of typed-holes. By leveraging the type checker, these fits are selected from identifiers in scope such that if the hole is substituted with a valid hole …
Dan Rosén on "Algebraic Effects" at TimeEdit
We're back from summer for more on functional programming! :D
Dan Rosén will be giving a talk on Algebraic effects at this meetup based on the paper "Type Directed Compilation of Row-Typed Algebraic Effects" by Daan Leijen.
For who ever is wondering, algebraic effects are an alternative to monads for modeling side-effects (e.g. input/output, state, or exceptions) in an otherwise
pure functional language. The paper can be read online here: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/algeff.pdf
The wonderful folks at TimeEdit have agreed to host this event. They will be providing some food and drinks too! ;)
Below, you can find the abstract for the talk and the speaker's bio.
--------------------
Algebraic effect…
Alejandro Russo on "Two Can Keep a Secret, If One of Them Uses Haskell"
Alejandro Russo will give a talk on the paper "Two Can Keep a Secret, If One of Them Uses Haskell" authored by him!
Alejandro Russo is an associate professor at Chalmers University of Technology working on the intersection of functional languages, security, and systems. He is the recipient of a Google Research Awards and several grants from the Swedish research agencies Vetenskapsrådet, STINT, and Barbro Osher foundation. Internationally, Prof. Russo worked on prestigious research institutions like Stanford University, where he was appointed visiting associate professor. His research ranges from foundational aspects of security to developing tools to secure software written in Haskell, Python, and JavaScript. ( http://www.cse.chalmers.se/~russo/ ).
The paper presents a monadic API in Haskell which takes advantage of the type system to protect confidentiality of data. Since the API utilizes the type syst…
Suvash on "Impossibility of Distributed Consensus with One Faulty Process"
Suvash will be talking at this meetup! The event will be hosted by Zimpler.
You can download/read the paper here: https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/impossibility-of-consensus-with-one-faulty-process.pdf
To know more about Papers We Love in Gothenburg, checkout our what-is
…
Kruthika on "Self-stabilizing systems in spite of distributed control"
We're going to be talking about distributed systems this time!
Kruthika will give a talk on Dijkstra's paper.
You can download the paper from here: https://github.com/papers-we-love/papers-we-love/raw/master/distributed_systems/self-stabilizing-systems-in-spite-of-distributed-control.pdf
And Zimpler will sponsor pizza!
To know more about Papers We Love in Gothenburg, checkout our what-is
…K. V. S. Prasad on "Communication and Concurrency" at Zimpler
A big shout out to Zimpler for agreeing to host us! They will be sponsoring pizza and drinks too! :)
This meetup is going to be about:
"An introduction to Robin Milner’s work on concurrent computation, focusing mostly on his monograph “A Calculus of Communicating Systems (1980)” (CCS) and its expanded version, the textbook “Communication and Concurrency (1989)”. Some earlier background, and some later material and related work will also be covered, and an attempt made to evaluate the impact of Process Calculus (or Process Algebra), as the field that grew up around CCS is called."
The monograph can be read online here: http://www.lfcs.inf.ed.ac.uk/reports/86/ECS-LFCS-86-7/ECS-LFCS-86-7.pdf
Use of Formal Methods at Amazon Web Services by Nachi
We meet again after winter break! This time we'll be discussing Amazon's paper on using formal methods for verifying distributed systems.
I'll be doing a short presentation on the paper (and maybe TLA+ and similar tools) prior to the discussion.
You can find an online version of the PDF here:
http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf
To know more about Papers We Love in Gothenburg: checkout our what-is.
…Propositions as Types By Víctor
We'll be discussing "Propositions as Types" by Philip Wadler on our first meetup. Víctor will be presenting the paper to us.
You can download the paper here: https://github.com/papers-we-love/papers-we-love/blob/master/plt/propositions-as-types.pdf?raw=true
---------
[UPDATE] At the event:
• You will be able to access WiFi on request. Just ask Victor or Nachi
• There aren't many power slots in the conference room to plug your laptop.
• There will be no food or drinks provided at the event. You can feel free to get something from the baguetteria nearby:
