New York Chapter

Papers We Love NYC What was the last paper within the realm of computing you read and loved? What did it inspire you to build or tinker with? Come share the ideas in an awesome academic/research paper 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 (because of HARD MATH!). Otherwise, just come, listen, and discuss.

As the original Papers We Love chapter, we've been helping New Yorkers scratch their paper reading itch for most of 2014. We welcome everyone from the programming community for an evening of ideas, vibrant discussions and hanging out with your fellow travellers.

The New York Chapter meets monthly at different locations throughout the city. Keep an eye on our Meetup.com page to find out the latest address.

Our meets fill up fast, so please make sure to RSVP only if you plan on attending. You can find our schedule and RSVP here on Meetup.com.

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: @paperswelovenyc

Contact: contact AT paperswelove DOT org

Organizers: David Ashby, Sean Broderick, Andrew Gross, Lydia Gu, Jeremy Heiler, Zeeshan Lakhani, and Darren Newton

Sponsors

Chapter Meetups

Jessie Frazelle on SCONE: Secure Linux Containers with Intel SGX & a PWLMini

Map Date/Time: 2017-10-09 06:30pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

We're super excited to host Jessie Frazelle, software engineer at Microsoft, contributor to RunC and Golang, has served as Maintainer of Docker, and is the Keyser Söze of container security. She'll be presenting on SCONE: Secure Linux Containers with Intel SGX by Arnautov, et. al.

In addition to Jessie's talk, PWLNYC Organizer David Ashby will be opening the event with a lightning talk on the Secure Hash Standard, specifically SHA256, called SHAmwow: Poorly Re-implementing SHA256 for Fun and Profit.


Talks

Jessie Frazelle on SCONE:


Containers are the latest infrastructure trend. In 2016, the SCONE (

Read more about this Meetup

Gershom Bazerman on "Homological Computations for Term Rewriting Systems" & Mini

Map Date/Time: 2017-08-31 06:30pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

We're happy to be hosting Gershom Bazerman, software developer at S&P/Capital IQ, author of various Haskell libraries, and organizer/founder of the NY Haskell Users Group, who'll be presenting on Homological Computations for Term Rewriting Systems by Philippe Malbos and Samuel Mimram. 

In addition to Gershom's talk, Stephen Tu will be opening the event with a lightning talk on Least Squares Policy Iteration by Michail G. Lagoudakis and Ronald Parr. 


Talks

• Gershom Bazerman on Homological Computations for Term Rewriting Systems:


In 1987, C. Squier wrote "Wor…

Read more about this Meetup

Wes Chow on "Off-the-Record Communication, or, Why Not To Use PGP"

Map Date/Time: 2017-07-19 07:00pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

We're happy to be hosting Wes Chow, CTO of Chartbeat, who'll be presenting on Off-the-Record Communication, or, Why Not To Use PGP  by Borisov, Goldberg, and Brewer. 

Intro

Your intrepid reporter goes to a private location and meets with a key source who wishes to remain anonymous and off the record. The reporter understands that all information she learns from the source must be validated elsewhere and not directly quoted (private), that the source is who he says he is (authenticated), and that should their conversation become public they could both plausibly deny having said any of the recorded words (repudiable). How do we construct a digital version of an IRL meeting?

Nikita Borisov, Ian Goldberg, and Eric Brewer devise a communication protocol in Off-the-Record Communication, or Why Not To Use PGP that provides all of the above mentioned properties, as we…

Read more about this Meetup

Papers We Love - QCon NYC Edition w/ John, Matt, Charity, and Gwen

Map Date/Time: 2017-06-26 07:00pm Location: New York Marriott Marquis - 1535 Broadway, New York

This is going to be another special one! We're working with the QCon New York team to put together a series of 4 PWL "mini" (15~20-minute) presentations by 4 wonderful speakers: John Langford,  Matt Adereth (@adereth), Charity Majors (@mipsytipsy), and Gwen Shapira (@gwenshap) that will be announced very soon. Many of whom are also speaking at QCon! 

Abstracts


John Langford on Making Contextual Decisions with Low Technical Debt:


Applications and systems are constantly faced with decisions that require picking from a set of actions based on contextu…

Read more about this Meetup

Daniel Doubrovkine on "Auctions and Bidding" & PWLMini w/ Sophia Gold

Map Date/Time: 2017-05-24 07:00pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

We're thrilled to be hosting Daniel Doubrovkine, CTO of Artsy, who'll be presenting on Simon Parson's Auctions and bidding: A guide for computer scientists

In addition to Daniel's talk, Sophia Gold will be opening the event with a survey-oriented lightning talk on An Intellectual History of Automatic Differentiation

Talks

 Daniel Doubrovkine on Auctions and bidding: A guide for computer scientists:

There is a veritable menagerie of auctions — single dimensional, multi-dimensional, single sided, double sided, first price, second price, English, Dutch, Japanese, sealed bid — and these have been extensively discussed and anal…

Read more about this Meetup

William Byrd on "The most beautiful program ever written" & PWLMini w/ A. Turley

Map Date/Time: 2017-04-12 07:00pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

We're delighted to host William E. Byrd, Research Assistant Professor at the University of Utah's School of Computing. William is co-author of The Reasoned Schemer with Daniel P. Friedman and Oleg Kiselyov, co-designer of miniKanren and Barliman, a prototype interactive editor for exploring program synthesis. He'll be discussing what he considers to be the most beautiful program every written and much of the research and work behind it. 

In addition to William's talk, PWLNYC alumnus Andrew Turley, will be opening the event with a short lightning talk on 

Read more about this Meetup

Kiran Bhattaram on Failure Detectors

Map Date/Time: 2017-03-27 07:00pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

We're terrifically excited to host Kiran Bhattaram (https://kiranbot.com), software engineer at Stripe (https://stripe.com) and writer of amazing posts and paper reports (https://kiranbot.com/tags/computers) about computing and sewing (https://kiranbot.com/tags/sewing/)! She'll be presenting on a survey of work related to failure detectors for distributed systems.

Intro

The problem of consensus is central to many distributed systems algorithms. Failure detectors are central to the way we think about consensus algorithms. In a fully asynchronous system, the FLP impossibility result (https://groups.csail.mit.edu/tds/papers/Lynch/jacm85.pdf) shows tha…

Read more about this Meetup

Erich Ess on Imaging Vector Fields Using Line Integral Convolution

Map Date/Time: 2017-02-28 07:00pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

We're back in 2017 with Erich Ess, lead engineer on Jet.com's Core Platform team, presenting on foundational work to visualize fluid motion: Imaging Vector Fields Using Line Integral Convolution by Brian Cabral and Leith Leedom. 

Intro 

Line Integral Convolution is one of the most intuitive data visualization techniques around.  It's dropping paint in a river to see how the current is flowing:  to visualize a vector field simply take an image and have the vector field smear the colors.  The result is a powerful alternative to using arrows or stream lines.  And while the intuition is very straightforward, the actual mathematics that power the technique are very complex.

Bio

Erich Ess (

Read more about this Meetup

Wil Yegelwel on "The Rendering Equation"

Map Date/Time: 2016-11-29 07:00pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

We're back with Wil Yegelwel, an engineer on Two Sigma's Compute team, presenting on 3 related, foundational graphics papers on the topic(s) of illumination and renderingContinuous shading of curved surfacesIllumination for computer generated pictures, and The Rendering Equation

Intro 

Illumination in computer graphics deals with calculating the color of each pixel on the screen when trying to render a photorealistic scene. The problem is that generating increasingly realistic renderings requires a lot of processing and so a tradeoff must be made between compute time and image quality. We will first look at two foun…

Read more about this Meetup

Elizabeth Ramirez on A New Approach to Linear Filtering and Prediction Problems

Map Date/Time: 2016-09-29 07:00pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

It's with great pleasure to announce that we'll be hosting Elizabeth Ramirez, a senior software engineer at The New York Times and M.S. candidate in Applied Mathematics at Columbia University. She'll be presenting on a classic: A New Approach to Linear Filtering and Prediction Problems by Rudolf Kálmán. Kálmán, who passed away in July, was a luminary who shaped the field of modern control theory

There are many Kalman Filter tutorials to be found on the web, such as

Read more about this Meetup

David Nolen on Parsing With Derivatives

Map Date/Time: 2016-08-24 07:00pm Location: Twitter NYC - 249 W 17th St, New York, NY, FL 6, New York

It's been a long time coming, but we have the fantastic David Nolen, lead developer of Clojurescript (among other things) presenting at PWLNYC. He'll be presenting Parsing with Derivatives by Matthew Might, David Darais, & Daniel Spiewak. It's a heralded paper that has a super interesting follow-up (On the Complexity and Performance of Parsing with Derivatives), has influenced clojure.spec, and this helpful video!

Abstract

We present a functional ap…

Read more about this Meetup

Deniz Altınbüken on Chain Replication (old and new) & a PWL-Mini with Wes Chow

Map Date/Time: 2016-07-27 07:00pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

PWLNYC is extremely excited to be hosting Deniz Altınbüken, a Ph.D. candidate in Distributed Systems at Cornell University. We were first introduced to her work upon seeing her amazing Ricon 2015 talk and reading through Paxos: Made Moderately Complex. She's travelling from Cornell to join us in talking about the topic of Chain Replication (CR) and their new and improved protocol for it, which has a formally defined end-to-end specification. 

For those unfamiliar with CR, Christopher Meiklejohn gave a fantastic survey talk at Papers We Love S…

Read more about this Meetup

Papers We Love - QCon NYC Edition w/ Evelina, Eric, Ines, & Caitie

Map Date/Time: 2016-06-14 07:00pm Location: New York Marriott at the Brooklyn Bridge, 333 Adams St, Brooklyn, NY 11201 - New York Marriott at the Brooklyn Bridge, 333 Adams St, Brooklyn, NY 11201, New York 11201 11201

This is going to be a special one! We're working with the QCon New York team to put together a series of 4 PWL "mini" (15~20-minute) presentations by 4 wonderful speakers, all of whom are also speaking at QCon! So, we're extremely happy to welcome Evelina Gabasova (@evelgab), Eric Brewer (@eric_brewer), Ines Sombra (@randommood), and Caitie McCaffrey (@caitie) to PWLNYC!

Also, QCon New York is offering $100 off their conference ticket for our group. Just use the code "paperswelove" when registering!

Abstracts

- Evelina Gabasova presenting on 

Read more about this Meetup

John Allspaw on Common Ground and Coordination in Joint Activity

Map Date/Time: 2016-05-25 07:00pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

We're very happy to have John Allspaw, CTO of Etsy and author, presenting on Common Ground and Coordination in Joint Activity by Klein, Feltovich, and Woods.

Intro 

The paper I'm going to discuss is the result of what happens when people with backgrounds in mathematics, psychology, and artificial intelligence (Feltovich and Bradshaw) get together to ask questions about how teams operate alongside the originators of modern decision-making and cognitive systems engineering research (Klein and Woods). 

The concepts outlined in the paper have provided frames and directions in designing tools and environments where successful work requires multiple actors (whether they are people or software agents!) to succeed. This seminal paper takes a deep dive into not just people and teamwork, but what comprises the…

Read more about this Meetup

Bryan Cantrill on Jails & Solaris Zones

Map Date/Time: 2016-02-11 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 1 (Ground Floor), 10010, New York

We're **crazy** excited to have Bryan Cantrill, CTO of Joyent, formerly of Sun Microsystems, presenting on Jails: Confining the omnipotent root. by Poul-Henning Kamp and Robert Watson and Solaris Zones: Operating System Support for Consolidating Commercial Workloads by Dan Price and Andy Tucker!


You can also catch Bryan presenting at the NYC Container Summit on February 10th, which also is hosting an advanced technical track, which includes hand-on tutorials! Also, watch this amazing illumos presentation by Bryan in 2011! 

Read more about this Meetup

Ramsey Nasser on PushPull++

Map Date/Time: 2016-01-28 07:00pm Location: Two Sigma - 101 Ave. of the Americas, 23rd Fl. J, New York

We're excited to begin the new year with Ramsey Nasser, an amazing computer scientist, game designer, educator, and all-around person, presenting on PushPull++ by Lipp, Wonka, and Muller.

Intro 

Of all the ways to manipulate a 3D mesh, the “push/pull” technique popularized by SketchUp is one of the most approachable and fun. PushPull++ is a recent paper that elaborates on the technique, cleaning up a lot of edge cases and unlocking new features, using wonderfully straightforward math. The potential for 3D modeling tools or procedural mesh generation APIs built on these simple ideas is very exciting.

The paper presents the technique and the tool that the authors built. I will focus on the technique, as that’s the part I…

Read more about this Meetup

Tom Santero on Leslie Lamport's Buridan’s Principle

Map Date/Time: 2015-11-19 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 1 (Ground Floor), 10010, New York

We're delighted to have our old friend, Tom Santero, software engineer at Helium and current FOCO resident, presenting on Buridan's Principle, a paper by Turing Award-winner, Leslie Lamport.

Intro 

In 1984 Leslie Lamport began to observe the glitch problem [0] occurs in everyday life. Realizing this phenomenon had not been discussed by psychologists of the day, he set out to describe his observations using the classical formalization of Buridan's ass. Lamport initially failed to have this paper published in various scientific journals, being rejected on grounds of superficiality. It wasn't until 2011, when a reader suggested he resubmit to Foundations of Physics, that the paper was eventually published.

Those familiar with the works of Lamport know him as a logician, his life's work has pushed forward the state of…

Read more about this Meetup

Tomas Petricek on Paul Feyerabend's The Against Method

Map Date/Time: 2015-10-05 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 1 (Ground Floor), 10010, New York

It's with great pleasure to announce that we'll have Tomas Petricek, PhD student at University of Cambridge, functional programer, and F# enthusiast, presenting on the 1975 book -- Against Method: Outline of an Anarchist Theory of Knowledge by Paul Feyerabend.

This will be a little different! There's no open-access PDF version of the book around, but you can find at bookstores, Amazon, or on the Internet... or so I've heard. 

Intro 

How is computer science research done? What we take for granted and what we question? And how do theories in computer science tell us something about the real world? Those are some of the questions that may inspire computer scientist like me (and you!) to look into philosophy of science. I’ll prese…

Read more about this Meetup

Ryan Zezeski's Memory by the Slab: The Tale of Bonwick's Slab Allocator

Map Date/Time: 2015-09-15 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 1 (Ground Floor), 10010, New York

We're elated to have Ryan Zezeski, kernel hacker and Baltimorean, presenting on The Slab Allocator: An Object-Caching Kernel Memory Allocator by Jeff Bonwick. 

Intro 

In 1994 Jeff Bonwick presented his Slab Allocator at the USENIX SummerTechnical Conference. Over two decades later Google reports 35-thousand results for "slab allocator". CiteSeerX reports 93 citations. And many modern kernel allocators are based on his design, such as illumos, Linux, and FreeBSD. Jeff's design, along with the original paper, remains just as relevant today as it was 21 years ago. Join me as I tell the tale of the Slab Allocator: where it came from, what it is, why it's important, and where it's going.

Bio

</a>Ryan Zezeski (<a href="https://twitter.com/rzeze…

Read more about this Meetup

Michael Bernstein on Propositions as Types

Map Date/Time: 2015-08-17 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 1 (Ground Floor), 10010, New York

It's going to be a special evening. After taking the month of July off, we're coming back with the original Papers We Love speaker, Michael R. Bernstein, co-host of Beats, Rye, & Types and Code Climate hustler, and he’s very excited to be back, presenting on Propositions as Types by Philip Wadler and showcasing some work from The Little Prover by Friedman and Eastlund!

Intro 

I’ll (Michael) be talking about Philip Wadler’s paper "Propositions as Types," which starts ou…

Read more about this Meetup

Jason Ganetsky on Making a Fast Curry

Map Date/Time: 2015-06-23 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 10, 10010, New York

We're happy to have Jason Ganetsky, tech lead of storage for Google Cloud Pub/Sub, presenting on Making a Fast Curry: Push/Enter vs. Eval/Apply for Higher-order Languages by Simon Marlow and Simon Peyton Jones.


Intro 

Higher-order languages that encourage currying are typically implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative judgements to choose one model or the other. Our goal in this paper is to provide, for the first time, a more substantial basis for this choice, based on our qualitative and quantitative experience of implementing both models in a state-of-the-art compiler for Haskell.


Our conclusion is simple, and contradicts our initial intuition: compiled implementations should use eval/apply.


Bio

Jason Ganetsky

Read more about this Meetup

Samy Al Bahra on Making Lockless Synchronization Fast

Map Date/Time: 2015-05-26 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 1 (Ground Floor), 10010, New York

We're thrilled to have Samy Al Bahra, co-founder of Backtrace and founder of Concurrency Kit, presenting on Making Lockless Synchronization Fast: Performance Implications of Memory Reclamation by Hart, McKenney, and Brown.


Intro


Multicore systems are ubiquitous but modern concurrent programming techniques still do not see wide-spread adoption. Most concurrent software (developed in low-level languages) still relies on error-prone and unscalable memory management techniques for correctness despite the introduction of superior methods over 30 years ago. Safe memory reclamation allows for performant and robust memory management that is also suitable for advanced concurrent programming techniques such as non-blocking synchronization. If properly used, safe memory reclamation techniques allow improved performance …

Read more about this Meetup

Neha Narula on The Scalable Commutativity Rule

Map Date/Time: 2015-04-01 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 10, 10010, New York

We're so excited to have Neha Narula, a PhD student in PDOS, the Parallel and Distributed Operating Systems group at MIT, and an amazing speaker and researcher, presenting on The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors by Clements, Kaashoek, Zeldovich, Morris, and Kohler.


Intro


Moore's law is over, or at least, we won't be making programs go faster by running on faster processors, but instead by parallelizing our code to use more of them.  Reasoning about concurrent code is difficult; but it's also very hard to understand whether your design has latent scalability bottlenecks until you can actually run it on many cores.  And what if the problem is in your interface, instead of just the …

Read more about this Meetup

John Myles White on Fundamental Concepts in Programming Languages

Map Date/Time: 2015-03-16 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 10, 10010, New York

We're enthusiastic to have John Myles White, author and Julia programmer, presenting Fundamental Concepts in Programming Languages by Christopher Strachey.  


Intro


Strachey's lectures on "Fundamental Concepts in Programming Languages" provided an extremely broad survey of core issues in programming language design that provided much of the terminology we use today, including definitions of the kinds of polymorphism and the kinds of expressions we see in programming languages. Published as a paper many years later, Strachey's lectures provide an especially readable overview of programming languages concepts.

Bio

John Myles White (

Read more about this Meetup

Andrew Turley: Incremental Mature Garbage Collection Using the Train Algorithm

Map Date/Time: 2015-02-23 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 10, 10010, New York

We're riveted to have Andrew Turley, lead software engineer on the platform team atTheLadders, presentingIncremental Mature Garbage Collection Using the Train Algorithm by Jacob Seligmann & Steffen Grarup.  


Intro


Automatic garbage collection has spared programmers from an entire class of programming errors related to memory leaks and attempting to access objects that were incorrectly freed. As programs have grown in size and complexity, so have the systems that manage garbage collection. Each algorithm makes a different set of tradeoffs between factors such as the space used by objects, the space used by bookkeeping, the number of unused objects (garbage) that remain uncollected, the time spent in allocation, and the time spent in
col…

Read more about this Meetup

#13 - Sam Tobin-Hochstadt on Composable and Compilable Macros

Map Date/Time: 2015-02-05 07:00pm Location: Tumblr, Inc - 35 East 21st St, FL 10, 10010, New York

We're extremely thrilled to host Sam Tobin-Hochstadt, Assistant Professor in the School of Informatics and Computing at Indiana University, presenting Composable and Compilable Macros by Matthew Flatt of the University of Utah.

Intro

"Composable and Compilable Macros" introduces the Racket module system, which addresses the following problem: When you have macros that run programs at compile-time, how does this interact with separate compilation and ahead-of-time compilation. The paper introduces "phases", which enable Racket to behave the same regardless of when and how you compile your program. It also introduces the idea of writing different modules in different languages, which is now used for systems like Typed Racket.

A few related papers:

-

Read more about this Meetup

#11 => Jeff Larson - On the resemblance and containment of documents

Map Date/Time: 2014-12-16 07:00pm Location: Refinery29 - 225 Broadway, 23rd Floor, New York

We're thrilled to have Jeff Larson, data editor Data Editor at ProPublica, presenting On the resemblance and containment of documents by Andrei Z. Broder.


Intro

Increasingly Journalists are dealing with ever larger document dumps, and in order to find interesting stories in these troves, they have to cluster the documents to separate the wheat from the chaff. The size of these dumps often means that traditional algorithms either are too complex and take too long, or they rely on apriori constants like the number of clusters to search for.

Jeff Larson will present a novel algorithm called minhashing that was invented at AltaVista in order to loosely cluster similar documents. The paper " On the resemblance and containment of documents" relies on a hash collisions to create document fingerprints and shows that documents can be clustered in linear time …

Read more about this Meetup

#10 => Jean Yang on An Axiomatic Basis for Computer Programming

Map Date/Time: 2014-11-18 07:00pm Location: Viggle Inc - 902 Broadway 11, New York

We're thrilled to have Jean Yang, PhD student at MIT, presenting on An Axiomatic Basis for Computer Programming by C.A.R. Hoare. 


Intro

Our lives now run on software. Bugs are becoming not just annoyances for software developers, but sources of potentially catastrophic failures. A careless programmer mistake could leak our social security numbers or crash our cars. While testing provides some assurance, it is difficult to test all possibilities in complex systems--and practically impossible in concurrent systems. For the critical systems in our lives, we should demand mathematical guarantees that the software behaves the way the programmer expected.


A single paper influenced much of the work towards providing these mathematical guarantees. C.A.R. Hoare’s seminal 1969 paper “An Axiomatic Basis for Computer Programming” introduces a method of reasonin…

Read more about this Meetup

#9 Camille Fournier on The Chubby lock service for loosely-coupled dist. systems

Map Date/Time: 2014-10-20 07:00pm Location: Viggle Inc - 902 Broadway 11, New York

We're excited to have Camille Fournier , CTO at Rent the Runway, presenting on The Chubby lock service for loosely-coupled distributed systems by Mike Burrows.


Intro

Distributed consensus is often discussed in terms of algorithms: Paxos, ZAB, RAFT, etc. But while the algorithms may be more or less mind-bending, for me the more interesting aspect of distributed consensus is creating systems that support it for the general use case. This paper, on Google's Chubby lock service, is the story of happens when a system stops being a polite theory, and starts getting real-world use. 

To anyone who has worked in depth as a distributed systems engineer, Chubby is a beautiful paper. It is not a paper about algorithms and their limits, or a toy fringe system created by grad students to test a hypothesis.…

Read more about this Meetup

#8 Peter Burka - Crossing the Gap from Imp. to Func. Prog. through Refactoring

Map Date/Time: 2014-09-23 07:00pm Location: Viggle Inc - 902 Broadway 11, New York

We're excited to have Peter Burka , member of the software research team at Two Sigma, presenting on Crossing the Gap from Imperative to Functional Programming through Refactoring by Alex Gyori, Lyle Franklin, Danny Dig, and Jan Lahoda.

Intro

The introduction of lambdas to Java 8 might be the most significant change to the Java language since Java 2 was released in 1998. Lambdas and the accompanying functional operations like map and filter promise to allow Java programmers to write clearer, simpler code, and to take better advantage of parallelism.

While developers of new code will be able to start using the features immediately, what should we do with the billions of lines of code that have already been written? This paper proposes that we can automatically translate the existing body of Java code to make use of the new features.  This imp…

Read more about this Meetup

#7 => Leif Walsh on The LCA Problem Revisited

Map Date/Time: 2014-08-19 07:00pm Location: Viggle Inc - 902 Broadway 11, New York

We're elated to have Leif Walsh, engineer at Tokutek, presenting on The LCA Problem Revisited by Michael A. Bender and Martin Farach-Colton.


Intro

My favorite problems are always those with the highest ratio of difficulty in solving to difficulty in stating.  The lowest common ancestor problem exemplifies this.  It was first stated in 1973, and can be described to anyone in two sentences, or with one sentence and a picture.  But it took 11 years before an optimal solution was discovered, and another 16 before an understandable and implementable solution with the same bounds was presented, in this paper, The LCA Problem Revisited.  This problem is furthermore satisfying because its bounds are so tight: pre-processing takes as long as just re…

Read more about this Meetup

#6 Erik Hinton on The Derivative of a Reg. Type is its Type of One-Hole Contexts

Map Date/Time: 2014-07-09 07:00pm Location: Viggle Inc - 902 Broadway 11, New York

We're happy to have Erik Hinton, developer at the New York Times, presenting on The Derivative of a Regular Type is its Type of One-Hole Contexts by Conor McBride.


Intro

Papers are generally loved for one of two reasons. Either the paper is foundational, siring a lineage of important research, or the paper is useful, guiding readers toward clever optimizations, fault-tolerant solutions, and non-intuitive hacks. "The Derivative of a Regular Type is its Type of One-Hole Contexts" is neither. Only a few papers build on McBride's work and the conclusions of the paper, though promising, haven't yet found any real employ.

This paper is lovable, fun, and important because it is a radical thought experiment in the limits of abstraction. The paper poses the question: we call data types "algebraic", so can we "do calculus" on them? Surely…

Read more about this Meetup

#5 => Aysylu Greenberg on One VM to Rule Them All

Map Date/Time: 2014-06-18 07:00pm Location: Viggle Inc - 902 Broadway 11, New York

In June, we have the pleasure of hearing Aysylu Greenberg, Software Engineer at Google and maintainer of the Clojure library Loom, speaking on the paper "One VM to Rule Them All" by Thomas Wuerthinger, Christian Wimmer, et al.

Paper

You can find the paper in the PWL repository and here.

Intro


The paper explains how you can write an interpreter and get an optimizing just-in-time (JIT) compiler for free. This enables language designers to focus on features without worrying about the complexities of compiler optimizations and code generation. This paper presents a Java Virtual Machine (JVM) that allows the application to control the JIT compiler behavior at runtime. …

Read more about this Meetup

#4 Chas Emerick - A comp study of Convergent & Commutative Replicated Data Types

Map Date/Time: 2014-05-15 07:00pm Location: Viggle Inc - 902 Broadway 11, New York

We're ecstatic to have Chas Emerick presenting A comprehensive study of Convergent and Commutative Replicated Data Types by Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski (2011). 


Intro

'A comprehensive study of Convergent and Commutative Replicated Data Types' by Shapiro et al.

Conflict-free Replicated Data Types (CRDTs) are a formalism for providing practical data and programming primitives for use in distributed systems applications without necessitating expensive (and sometimes impractical) consensus mechanisms.  Their key characteristic is that they provide conflict-free "merging" of distributed concurrent updates given only the weak guarantees of eventual consistency.


While this paper did not coin the term 'CRDT', it was the first to provide a comprehensive treatment of the…

Read more about this Meetup

#3 => David Greenberg on Sparrow: Distributed, Low Latency Scheduling

Map Date/Time: 2014-04-28 07:00pm Location: Viggle Inc - 902 Broadway 11, New York

We're thrilled to have David Greenberg presenting Sparrow: Distributed, Low Latency Scheduling by Kay Ousterhout, Patrick Wendell, Matei Zaharia and Ion Stoica. 


Intro

When you need to execute code on a cluster of machines, deciding which machine should run that code becomes a complex problem, known as scheduling. We're all familiar with routing problems, such as the recent RapGenius incident. It turns out that simple improvements to randomized routing can dramatically improve the performance! Sparrow is a distributed scheduling algorithm for low latency, high throughput workloads. We'll review the Sparrow algorithm, and learn the tricks that they used. Then, we'll discuss other applications of Sparrow, besides the big-data map-reduce application it was create…

Read more about this Meetup

#2 => Brandon Bloom on Programming with Algebraic Effects and Handlers

Map Date/Time: 2014-03-17 07:00pm Location: Viggle Inc - 902 Broadway 11, New York

For our second meetup, we're excited to have Brandon Bloom presenting the paper Programming with Algebraic Effects and Handlers by Andrej Bauer and Matija Pretnar.

Intro

Some great papers embody insights, others package up those insights into digestible bites. "Programing with Algebraic Effects and Handlers" is the later sort of great paper. After two decades of fundamental research in to the nature of computation, a lot of mysterious ideas in computer science such as continuations and exception handling finally made sense to a number of mathematically inclined geniuses. Bauer and Pretnar's Eff programming language cuts right through the heart of the theory in a way that makes sense to anybody who has ever written a functional program. This paper uses the Eff language to explore…

Read more about this Meetup

Papers We Love #1 => Michael Bernstein on A Unified Theory of Garbage Collection

Map Date/Time: 2014-02-24 07:00pm Location: Viggle Inc - 902 Broadway 11, New York

This our inaugural Meetup, and we're excited to have Michael Bernstein presenting the paper A Unified Theory of Garbage Collection by David F. Bacon, Perry Cheng, and V.T. Rajan. 

Doors open at 7 pm; the presentation will begin at 7:30 pm; and, yes, there will be beer and pizza.   

After Michael presents the paper, we will open up the floor to discussion and questions.  

We hope that you'll read the paper before the Meetup (and if you don't, no worries, be happy now!), and if you have any questions, thoughts, or related information, please visit our *github-thread* on the matter: https://github.com/papers-we-love/papers-we-love/issues/1.

Additionally, if you have any papers you want t…

Read more about this Meetup