Los Angeles

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.

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

Twitter: @paperswelove_la

Sponsors

Chapter Meetups

Daniel Brice - Infinite sets that admit fast exhaustive search

Map Date/Time: 2017-09-07 07:00pm Location: Brainium - Santa Monica

From the intersection of data structures/algorithms, computability, type-level programming, and the high-generality branch of geometry called Topology comes a surprising theorem. The author applies the topological mantra that a compact set is a set that "behaves like" a finite set to the setting of programming, constructing a class of infinite data structures that have finite-time exhaustive search algorithms.

We seek to present all topics thoroughly while assuming as little background as possible. In particular, no prior knowledge of Topology is needed.

Paper: https://www.cs.bham.ac.uk/~mhe/papers/exhaustive.pdf

Read more about this Meetup

Jim Benvenuto - Why Are Organisms Different from Machines

Map Date/Time: 2017-04-26 07:00pm Location: Brainium - Santa Monica

Matthew Colborn in Pluralism and the Mind (2011) wrote:

“The major dilemma for Western science – and those who follow it – is how to fit subjective experiences in to a larger world-view that at least appears to preclude them.

As the philosopher John Searle put it:

“How can we square [the] self-conception of ourselves as mindful, meaning-creating, free, rational, etc. agents with a universe that consists of entirely mindless, meaningless, unfree, nonrational, brute physical particles?”.

Searle is claiming that the background assumptions of Western science conflict in some fundamental way with our everyday view of ourselves.”

As expressed by Colborn (and Searle), there is a discordance between the science we use to understand the world and how we view and understand ourselves as living beings. Can this be resolved by improving (and expanding) what science can…

Read more about this Meetup

Elwin Martin - Gravitational effects on and of vacuum decay

Map Date/Time: 2017-03-29 07:00pm Location: Brainium - Santa Monica

Vacuum instability is one of the most fascinating (and terrifying) topics of cosmology and particle physics. This paper asks and answers some of the early questions of vacuum decay and inflationary theory. The discussion ranges in tone from sanitized mathematical descriptions of field equations to humorous rhetorical musings on the fate of the universe in different scenarios. Despite its brevity and age, Coleman and Luccia's work continues to serve as a reference and inspiration for work in gravitation and cosmology today.  

https://www.sns.ias.edu/pitp2/2011files/PhysRevD.21.3305.pdf

Read more about this Meetup

Daniel Brice - Thompson Sampling

Map Date/Time: 2017-02-22 07:00pm Location: Brainium - Santa Monica

Daniel Brice will present "On the likelihood that one unknown probability exceeds another in view of the evidence of two samples" by William Thompson. It gives a solution to the multi-armed bandit problem that gives O(log(n)) regret that is today used in machine learning applications and goes by the name "Thompson Sampling" in this author's honor. Contrast this to A/B Testing, another multi-armed bandit algorithm that gives much worse O(n) regret.

https://www.dropbox.com/s/yhn9prnr5bz0156/1933-thompson.pdf

Read more about this Meetup

Jim Benvenuto on EPITAXIS

Map Date/Time: 2016-09-28 07:00pm Location: Yahoo Playa Vista - Los Angeles

This month, we'll hear from Jim Benvenuto on his research into EPITAXIS: A System for Syntactic and Semantic Software Queries using Deductive Retrieval and Symbolic Execution.  If you've not seen Jim speak before, it's a real treat.

---

EPITAXIS: A System for Syntactic and Semantic Software Queries using Deductive Retrieval and Symbolic Execution

The stubborn persistence of Moore's law has enabled dramatic increases in the size and complexity of software. In addition, the information content of a program is spread over several different layers of abstraction. Superficially (and in our typical mode of interaction with an editor) a program is a sequence of characters, where its syntactic, semantic, pragmatic, and apobetic layers lay latent under deeper layers of abstraction.

Epitaxis is a language independent system desi…

Read more about this Meetup

Lightning Talks

Map Date/Time: 2016-08-31 07:00pm Location: Yahoo Playa Vista - Los Angeles

This month we're trying something a little bit different: lightning talks!  The idea of lightning talks is that everyone can present a paper they love in 5 minutes.  No slides, no pressure. Remember to tell us who wrote it and why you like it! As time allows, you can present more than one. If you're not sure where to find a paper to read, reach out to me and I can point you in the right direction.  Feel free to comment on the event if you're concerned others might cover the same paper.

We're still going to have food and drinks and the usual timeline.

Read more about this Meetup

Sam Lecuyer on GOTO (Considered Harmful)+

Map Date/Time: 2016-07-27 07:00pm Location: Yahoo Playa Vista - Los Angeles

This month I'm presenting Edsger Dijkstra's classic GOTO Considered Harmful and the response <a>"GOTO Considered Harmful" Considered Harmful</a>.  We will be hosted by Yahoo again.

--

Despite all of his other contributions to computing science, Dijkstra's most well known paper continues to be GOTO Considered Harmful.  Cited by thousands of other papers and articles, it spawned numerous copycat papers and responses.  It is loved, loathed, and misunderstood.

But more than just the technical merits, the paper deserves a second look for how we discuss software and computing.  How does the way we convey our ideas affect our legacy?

--

Sam is a senior engineer in Yahoo's video org.  He enjoys plenty of things and vague bio-blurbs. He tweets at @cateches.

Read more about this Meetup

Mike Matuzak on On Criteria To Be Used in Decomposing Systems into Modules

Map Date/Time: 2016-06-29 07:00pm Location: Yahoo Playa Vista - Los Angeles

This month, Mike will present "On Criteria To Be Used in Decomposing Systems into Modules" by DL Parnas.

---

Most people would agree that writing modular programs is better than the alternative, but there is disagreement on how to structure modules within a system. In this presentation we are going to do some time travelin' to the 60s and 70s to see how these discussions got started, and explore two different ways of writing a modular system. In doing this we will explore some of the pros and cons of the different systems and determine if one structure is better for most cases.

</a> Michael Matuzak works at GoGuardian and in his spare time compiles JS to his Nintendo.  You can follow him on twitter at <a href="https://twitter.com/@mmatuzak">@mmatuzak

Read more about this Meetup

Dr Ray Toal on Communicating Sequential Processes

Map Date/Time: 2016-05-25 07:00pm Location: Yahoo Playa Vista - Los Angeles

This month, we have Dr Toal presenting C.A.R. Hoare's classic Communicating Sequential Processes.

--

This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra's guarded command, these concepts are surprisingly versatile. Their use is illustrated by sample solutions of a variety of familiar programming exercises.

--

We'll be back at Yahoo's Playa Vista campus, where food and drink will be provided.  The parking lot between Bluff Creek and Artisan's will be complimentary.

Read more about this Meetup

Gonzalo Maldonado on Why Functional Programming Matters

Map Date/Time: 2016-03-30 07:00pm Location: Yahoo Playa Vista - Los Angeles

This month Gonzalo Maldonado will present John Hughes' Why Functional Programming Matters at Yahoo's Playa Vista campus.  Food & drink will be provided.

--

Immutable Data, Data-Driven apps and Reactive UIs, these technologies are the latest industry buzzwords. All of them are based on functional programming principles, yet some of their users are not aware of that influence.
John Huges back in the 90s presented the idea that since modularity is the key to successful programming, functional programming matters because it enables well structured and easy to debug software.
This presentation will revisit his paper and compare how these principles are being applied in the new "Reactive technologies" and why Functional Programming Matters.

--

Since the days where computers had green screens, Gonzalo has been hacking any turing-complete device he has stumbled upon, f…

Read more about this Meetup

Paul Snively on Propositions as Types

Map Date/Time: 2016-02-24 07:00pm Location: Yahoo Playa Vista - Los Angeles

This month we have Paul Snively presenting "Propositions as Types" at Yahoo's brand new Playa Vista campus.  Food and drink will be provided.

--

Philip Wadler may be the most important computer scientist you’ve never heard of. However, as principal designer of the Haskell programming language, co-designer of generics in Java with Scala designer Martin Odersky, co-designer of XQuery for the W3C, and prolific (and humorous, cf. ’Threesomes, with and without blame’ from POPL 2010) writer and speaker, there is little doubt he has influenced you if you write software. His recent (March 2014) paper, ‘Propositions as Types,’ is his survey of the relationship between propositions, as in mathematical logic, and types, as in statically-typed programming language. Together, we’ll explore how and w…

Read more about this Meetup

Bill Berry on No Silver Bullet

Map Date/Time: 2016-01-27 07:00pm Location: Dollar Shave Club HQ - Marina del Rey

This month Bill will present "No Silver Bullet" by Fred Brooks. link

Abstract:

Some thirty years after Turing Award winner Fred Brooks’ seminal work 'No Silver Bullet' was published, the industry has paved over his enthusiastic skepticism, with an air of pessimism and apathy.  After tearing down the failed software development methodologies of our predecessors, I will leverage Brooks’ work to frame a critique of current industry themes such as DevOps, Microservices, and Cloud Computing.  Lest however, you be consumed by an unshakable hopelessness that, as an industry, we are bound to Santayana’s Sisyphean prophesy (‘those who don’t learn from history are bound to repeat it’), I will show that Brooks’ theories are alive, well and in fact thriving in niche communities paving our way forward.

About Bill:

In a previous life, Bill (@williamberryiii<…

Read more about this Meetup

Sam L’ecuyer on Macaroons: Cookies with Contextual Caveats

Map Date/Time: 2015-10-28 07:00pm Location: LMU-Pereira 109 - Los Angeles

This month Sam will present "Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud" by Arnar Birgisson and Joe Gibbs Politz and Úlfar Erlingsson and Ankur Taly and Michael Vrable and Mark Lentczner.

Cookies are the ubiquitous method of authorization on the Web, but they’re not without shortcomings. Subject to theft & forgery, cookies are essentially unsharable.

Sam will talk about macaroons as a way to safely share & delegate authorization between sites and services. Using very simple cryptographic methods, we can efficiently create and verify tokens allowing access under specified conditions.

The effects of this range from logging in to websites, increasing privacy on social media, and even more secure banking.

--
Sam is a sr software engineer at Yahoo where he builds the apps that play the videos that people want to watch. @cateches on twitter.

Read more about this Meetup

Jim Benvenuto on Metaobject Protocols Why We Want Them And What Else They Can Do

Map Date/Time: 2015-09-30 07:00pm Location: Brainium - Santa Monica

This month Jim will present "Metaobject Protocols: Why We Want Them And What Else They Can Do" by Kiczales, Ashley, Rodriguez, Vahdat & Bobrow.

Abstraction is one of the pillars of computer science. Software has traditionally been constructed according to the principle that a module should expose its functionality but hide its implementation. This principle, informally known as black-box abstraction, is a basic tenet of software design, underlying our approaches to portability, reuse,and many other important issues in computing. However, in some cases black-box abstraction causes the very problems it is supposed to eliminate.

As a programming languages becomes higher and higher level, its implementation in terms of the underlying machines involves more and more trade-offs on the part of the implementer, about what cases to optimize at the expense of other cases. This leaves a programmer victim to inefficie…

Read more about this Meetup

Eric Scrivner on Bitcoin: A Peer-to-Peer Electronic Cash System

Map Date/Time: 2015-08-26 07:00pm Location: Dollar Shave Club HQ - Marina del Rey

This month Eric Scrivner (@etscrivner) will present Bitcoin: A Peer-to-Peer Electronic Cash System

---

Bitcoin is many things - a critique, a currency, a protocol, and perhaps even acontemporary industrial revolution. More immediately, however, bitcoin and theoriginal paper that spawned it are of interest to the working programmer as astudy in the design of fault-tolerant, decentralized systems. Beginning fromthe crtique of trusted third parties we will see how bitcoin provides novelstarting points for system architecture in the age of increasingly cheap andubiquitous computing power, as well as speculate about what all this mightentail for the future.

Additional Reading / Context For The Paper:

* Shelling Out -- The Origin of Money (Nick Szabo)

htt…

Read more about this Meetup

Bill Berry on Hints for Computer System Design

Map Date/Time: 2015-07-29 07:00pm Location: Brainium - Santa Monica

This month, Bill Berry will present Hints for Computer System Design by Butler Lampson.

--

While technologies, methodologies and abstractions have waxed and waned over the years, Butler Lampson’s ‘Hints for Computer Systems Design’ remains relevant to the current challenges faced in software and hardware systems engineering.  Drawing against the backdrop of current development practices, we will discuss how Lampson’s hints can still be used, some thirty years later, to implement functionally accurate, high-performing fault-tolerant software systems.

-- 

In a previous life Bill (@williamberryiii) crafted scenery for Broadway, a la Pirates of Penzance, but now crafts software for the enterprise, a la Pirates of Silicon Valley.  In his roles as Technical Lead and Application Architect for The Retail Equation, Bill has le…

Read more about this Meetup

Phil Freeman on Principal type-schemes for functional programs

Map Date/Time: 2015-06-24 07:00pm Location: Brainium - Santa Monica

This month, Phil Freeman will present"Principal type-schemes for functional programs" by Damas and Milner.  

The Damas-Hindley-Milner type system is a classical system for the first-order polymorphic lambda calculus, and the ML family of programming languages. This paper introduces Algorithm W, a simple algorithm for type reconstruction in the DHM type system. I'll walk through the main results of the paper, and compare the DHM type system with other more modern systems.

Phil Freeman (@paf31) is an engineer at DicomGrid.  He is the original developer of the PureScript compiler, author of  PureScript by Example, a Haskeller & PLT enthusiast.

A huge thank-you to Brainium for hosting us this month!

Please do no…

Read more about this Meetup

Mark Masse on Architectural Styles and the Design of Network-based Software

Map Date/Time: 2015-05-27 07:00pm Location: Riot Games Campus - Los Angeles 90064

At this Papers We Love LA we will have Mark Masse presenting "Architectural Styles and the Design of Network-based Software Architectures" by Roy Fielding. This presentation will focus primarily on Chapter 5, which introduces the Representational State Transfer (REST) architectural style for distributed hypermedia systems. REST API design topics will also be covered in the presentation.

Dinner will be provided.

Thanks to Riot Games for hosting this event!

Bio:

Mark Masse spent his early career with Disney, architecting and developing the content management system (CMS) that powers ESPN.com, ABC.com and Disney.com. In 2011, Mark architected the API management system used by Walt Disney Theme Parks and Resorts and authored the "REST API Design Rulebook" for O'Reilly. In 2014, Mark joined Riot Games as an Engineering Manager supporting a team that is dedicated to leveling up other inter…

Read more about this Meetup

Ryan Nichols on An Axiomatic Basis for Computer Programming

Map Date/Time: 2015-04-29 07:00pm Location: Yahoo Center - Santa Monica 90404

Ryan Nichols will present An Axiomatic Basis for Computer Programming by C.A.R Hoare.

A brilliant paper written in 1969, which introduced some of the most influential components of programming which we all rely on today. We'll be discussing automatic verification of program properties, Hoare logic, and more.

Ryan Nichols (@rynodivino) is a front-end engineer at Yahoo. He enjoys <cool hobby> and <funny interest> (and making terrible jokes)!

Read more about this Meetup

Drinks We Love @ Daily Pint

Date/Time: 2015-03-25 06:00pm Location: Daily Pint - Santa Monica

Hey Everyone,

I couldn't find a speaker available this month & then we lost our room booking.  But let's not let that get us down.  I've got a couple speakers on the docket for April & May.

Let's meet at the Daily Pint, enjoy drinks we love, and geek out about computer science.

See you there!

Ps. It's buy-your-own-drinks in case that was ambiguous.

Read more about this Meetup

Sam L'ecuyer on The Join Calculus: a Language for Distributed Mobile Programming

Map Date/Time: 2015-02-25 07:00pm Location: Yahoo Center - Santa Monica 90404

Sam L'ecuyer will present The Join Calculus: a Language for Distributed Mobile Programming, by Cedric Fournet and Georges Gonthier.

--

Do semaphores and mutexes, distributed locks and clocks confound you? Does concurrency as an afterthought frustrate and bewilder you? In this paper, Fournet and Gonthier present the join calculus, a modeling language for clean, asynchronous distributed computing. This language builds upon well established techniques of pattern matching, static typing, and local variable declaration to lay the foundation for synchronizing data across multiple machines, code mobility, and failure detection.

--

Sam L'ecuyer (@cateches) is a front-end engineer at Yahoo.  You can find a lot of the code he writes at screen.yahoo.com. He enjoys static typing, text editors fr…

Read more about this Meetup