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

Date/Time: 2018-09-13 06:00pm Location: TimeEdit AB - Göteborg

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 …

Read more about this Meetup

Dan Rosén on "Algebraic Effects" at TimeEdit

Date/Time: 2017-10-05 06:00pm Location: TimeEdit AB - Göteborg

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…

Read more about this Meetup

Alejandro Russo on "Two Can Keep a Secret, If One of Them Uses Haskell"

Date/Time: 2017-05-11 06:00pm Location: Chalmers University of Technology - Gothenburg

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…

Read more about this Meetup

Suvash on "Impossibility of Distributed Consensus with One Faulty Process"

Date/Time: 2017-04-27 06:00pm Location: Zimpler - Göteborg

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

Read more about this Meetup

Kruthika on "Self-stabilizing systems in spite of distributed control"

Date/Time: 2017-03-22 06:00pm Location: Chalmers University of Technology - Gothenburg

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

Read more about this Meetup

K. V. S. Prasad on "Communication and Concurrency" at Zimpler

Date/Time: 2017-02-16 06:00pm Location: Zimpler - Göteborg

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."

- K. V. S. Prasad

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

Read more about this Meetup

Use of Formal Methods at Amazon Web Services by Nachi

Date/Time: 2017-01-25 06:30pm Location: Chalmers University of Technology - Gothenburg

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.

Read more about this Meetup

Propositions as Types By Víctor

Date/Time: 2016-12-01 05:30pm Location: false

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: 

Read more about this Meetup