Summer Internships

Company: Amazon AWS Project: Solvers’ portfolio for the Dafny verification language Student: Eric Mugnier Company Supervisor: Sean McLaughlin Advisor: YY Zhou Company:

Company: AT&T Lab Project: Risk Aggregation Framework Student: Zezen Zhang Company Supervisor: Deon Whitlock Advisor: Aaron Schulman Company: AWS Project: Dafny compilation

Company: Brave Software Project: Trackers Bounce Back Student: Audrey Randall Company Supervisor: Pete Snyder Advisor: Aaron Schulman, Geoffrey Voelker, and Stefan Savage

Company: Amazon Project: NA Student: John Renner Company Supervisor: NA Advisor: Deian Stefan Company: Amazon Project: NA Student: Supun Nakandala Company Supervisor: NA Advisor:

Company: Akamai, Web Division Foundry Team Project: Automatic detection (and prevention) of data exfiltration on requests sent to a content

Company: Akamai Student: Alex Gamero-Garrido Advisor: Alex Snoeren and kc claffy Company: Amazon Student: Rami Gokhan Kici Advisor: Ranjit Jhala Company: Bloomberg

Company: Facebook Project: Detection Systems Infrastructure Student: Louis Dekoven Company Supervisor: Nektarious Leontiadis Advisor: Stefan Savage and Geoff Voelker Company: Google

Company: Google Project: Sorting Large Data Sets on Google’s Cluster Infrastructure Student: Rob McGuinness Company Supervisor: Steve Gribble, Mike Conley

Company: Google Project: Google Maps Spam Student: Danny Yuxing Huang Company Supervisor: Elie Burzstein Advisor: Alex Snoeren Company: Google Project: Shopping Express Student: Wilson

Company: Google (Zurich) Project: Click Fraud Student: Joe DeBlasio Company Supervisor: NA Advisor: Alex Snoeren Company: Google (Mountain View) Project: Fraudulent Crypto Currency Mining