June Meetups

We have another great line-up of meet-ups scheduled for June across a number of our chapters:

Toronto 6/1: James MacAulay on Peter Landin’s The Mechanical Evaluation of Expressions

London 6/7: Philip Wadler Definitional Interpreters for Higher-Order Programming Languages

Chattanooga 6/7: Neil Menne on Building Robust Systems

Seattle 6/9: : Liquid Haskell / PayWord and Micromint

New York 6/14: QCon NYC Edition w/ Evelina, Eric, Ines, & Caitie

Boston 6/16: Steve Willis on Xerox Network Systems (XNS)

Vienna 6/20: Apache Kafka

Saint Louis 6/20: What Makes Paris Look Like Paris?

Montréal 6/22: A Streaming Algorithm for the Convex Hull

Bucharest 6/23: June Meetup

San Francisco 6/23: Kiran Bhattaram on A Mathematical Theory of Communication

Portland 6/28: Caitie McCaffrey on “Detection of Mutual Inconsistency in Distributed Systems”

Los Angeles 6/29: Mike Matuzak on On Criteria To Be Used in Decomposing Systems into Modules

May Meetups

We have another great line-up of meet-ups scheduled for May across a number of our chapters:

Chattanooga 5/3: Inaugural !

Toronto 5/4: Donny Nadolny on Rowhammer.js

Hyderabad 5/8: Object Space Visibility: Its applications to Games and Smart City(IoT)

Madrid 5/11: HyParView: a membership protocol for reliable gossipbased broadcast

Seattle 5/12: : CFA: A Practical Prediction System for Video QoE Optimization

Vienna 5/17: Elm (part of )

London 5/17: tef on “Endto-End Arguments In System Design” by Saltzer, Reed, and Clark

Montréal 5/18: The medcouple — a robust measure of skewness

San Francisco 5/19: Gilbert Bernstein on Spacetime Constraints

Amsterdam 5/25: NonBlocking and Blocking Concurrent Queue Algorithms

London 5/25: Gareth Morgan on “The Rendering Equation” by James Kajiya

New York 5/25: John Allspaw on Common Ground and Coordination in Joint Activity

Winnipeg 5/25: On Computable Numbers

Los Angeles 5/25: Dr Ray Toal on Communicating Sequential Processes

Boston 5/26: Douglas Creager on The Early History Of Smalltalk by Alan C. Kay

Bucharest 5/27: May Meetup

April Meetups

We have another great line-up of meet-ups scheduled for April across a number of our chapters:

Hyderabad 4/2: Review of the FLP Impossibility result

Madrid 4/6: Epidemic Broadcast Trees

Toronto 4/6: Andrew Louis on Memex & Designing the “Internet” Before Digital Computers

Bengaluru 4/9: FLP: Impossibility of Distributed Consensus with One Faulty Process by Vaidhy

Bucharest 4/11: April Meetup

Vienna 4/11: Elm (part of )

Seattle 4/14: : ConflictFree Replicated Data Types

Saint Louis 4/18: The Molecular Fossil Record of Oleanane and Its Relation to Angiosperms

London 4/19: Conflict Free Synchronization Gettogether

Philadelphia 4/19: Maurício Linhares on “Harvest, Yield and Scalable Tolerant Systems”

Montréal 4/20: Practical Reasoning with Qualified Number Restrictions

Winnipeg 4/20: A Critical Evaluation of Website Fingerprinting Attacks

Boston 4/21: Peter Bailis on Streaming Queries Over Streaming Data

San Francisco 4/21: João Taveira on Congestion Control

March Meetups

We have another great line-up of meet-ups scheduled for March across a number of our chapters:

Toronto 3/2: Nate Smith on Dynamo: Amazon’s Highly Available KeyValue Store

Vienna 3/7: Prolog

Seattle 3/10: : Fuzzing: The State of the Art

London 3/16: Fouad Mardini on Christofides on The Travelling Salesman

San Francisco 3/17: Caitie McCaffrey on “Sagas”

Bangalore 3/19: Gradual Typing for Functional Languages

Saint Louis 3/21: A Survey of Network Control Systems

Winnipeg 3/23: Molecular Computation of Solutions to Combinatorial Problems

Montréal 3/24: Metropolis Light Transport

Bucharest 3/28: March Meetup

Seattle 3/29: .: Immutability Changes Everything

Los Angeles 3/30: Gonzalo Maldonado on Why Functional Programming Matters

February Meetups

We have another great line-up of meet-ups scheduled for February across a number of our chapters:

Toronto 2/3: Scott Rostrup on Tracing the MetaLevel: PyPy’s Tracing JIT Compiler

Madrid 2/10: Building Program Vector Representations for Deep Learning

New York 2/11: Bryan Cantrill on Jails & Solaris Zones

Seattle 2/11: : Chord

Winnipeg 2/12: Petuum: A New Platform for Distributed Machine Learning on Big Data

Saint Louis 2/15: Drawing Rooted Trees in Linear Time

London 2/17: Phil Potter on Dolstra’s “The Purely Functional Software Deployment Model”

94107 2/18: Matt Adereth on “A Scalable Bootstrap for Massive Data”

Bucharest 2/22: February Meetup

Montréal 2/24: Abstract Interpretation by Cousot and Cousot

Los Angeles 2/24: Paul Snively on Propositions as Types