Berlin Chapter

What was the last paper within the realm of computing you read? What did it inspire you to build or tinker with? Come share the ideas in an awesome academic/research publication with fellow engineers, programmers, and paper-readers. Lead a session and show off code that you wrote that implements these ideas or just give us the lowdown about the paper. Otherwise, just come, listen, learn, and discuss.

We'll be using papers-we-love's curated repository. Please contribute by adding PR's for papers, code, and/or links to other repositories.

PWL Berlin strictly adheres to the Code of Conduct set forth by all PWL charters.

Chapter details

Location: ThoughtWorks Berlin - Zimmerstraße 23, Berlin, Germany

Sign-up: Please RSVP for meetings via Meetup.com

Twitter: @PapersWeLoveBln

Organizers: Haskell Pointer, Igor Wiedler, and Michael Kleen

Sponsors

Chapter Meetups

Experiments on the mechanization of game-learning

Map Date/Time: 2018-02-22 07:00pm Location: METRO @ Umspannwerk - Ohlauer Strasse 43, Berlin

• What we'll do
Knut will be presenting the paper "Experiments on the mechanization of game-learning
Part I. Characterization of the model and its parameters" authored by Donald Michie and published in an 1963 issue of The Computer Journal.

View the abstract and download the full contents here: https://academic.oup.com/comjnl/article/6/3/232/360077

• What to bring


• Important to know

Read more about this Meetup

The Correctness-Security Gap in Compiler Optimization

Map Date/Time: 2018-01-18 06:00pm Location: METRO @ Umspannwerk - Ohlauer Strasse 43, Berlin

Alex Denisov will be presenting "The Correctness-Security Gap in Compiler Optimization" by Vijay D’Silva, Mathias Payer, and Dawn Song.
Link to the paper: https://nebelwelt.net/publications/files/15LangSec.pdf

There will be food and drink at the meetup this time! Location, food and drink sponsored by METRO. Thanks METRO!

Read more about this Meetup

Papers We Will Love & A Model for Reasoning About JavaScript Promises

Map Date/Time: 2017-11-23 07:00pm Location: ThoughtWorks - Zimmerstraße 23, 10969, Berlin

For an introduction, Martin Kavalar will be discussing how dynamic mediums can improve scientific publishing in a talk titled "Papers We Will Love."

The second presentation at this month's meetup will be about the paper "A Model for Reasoning About JavaScript Promises" by Magnus Madsen, Ondrej Lhotak, and Frank Tip. The paper is available here: http://www.franktip.org/pubs/oopsla2017promises.pdf and a brief summary/write-up can be found here: https://blog.acolyer.org/2017/11/10/a-model-for-reasoning-about-javascript-promises/

If you are interested in presenting a paper, please get in touch, because we'll have another meeting next month as well. Thanks!

Food sponsors also welcome. :)

Read more about this Meetup

#2 => Programming concepts pioneered by McCarthy's 1960 paper on Lisp

Map Date/Time: 2015-05-21 06:30pm Location: SoundCloud - Rheinsberger Str. 76/77 10115, Berlin

At this Papers We Love Berlin Meetup we will have Marijn Haverbeke (https://twitter.com/marijnjh) presenting the original Lisp paper "Recursive Functions of Symbolic Expressions and Their Computation by Machine" by John McCarthy.

PDF: http://www-formal.stanford.edu/jmc/recursive.pdf 

Thanks to Soundcloud for hosting this event! 


Abstract:

There are works that, rather than continuing in an existing research tradition, invent a whole new direction. John McCarthy's original paper on Lisp is definitely one such work. It obviously set the stage for the various Lisps and Lisp-inspired languages, but it also pioneered a number of concepts, ranging from garbage collection to the call stack, that are deeply ingrained in today's programming reality. This talk…

Read more about this Meetup

#1 => Erik Michaels-Ober on Soft Typing

Map Date/Time: 2014-12-09 07:30pm Location: ResearchGate - Invalidenstr. 115, Berlin

For the very first Papers We Love Berlin Meetup, we will have Erik Michaels-Ober from SoundCloud presenting the paper Soft Typing by Robert Cartwright and Mike Fagan.

This is particularly interesting for Rubyists, because Ruby 3.0 might ship with such a type system.

Abstract:

This paper presents a soft type systems that retains the expressiveness of dynamic typing, but offers the early error detection and improved optimization capabilities of static typing. The key idea underlying soft typing is that a type checker need not reject programs containing "ill-typed" phrases. Instead, the type checker can insert explicit run-time checks, transforming "ill-typed" programs into type-correct ones.

PDF: http://citeseerx.ist.psu.edu/viewdoc/download…

Read more about this Meetup