Events

Feb 26

Closing the Loop on Secure System Design

11:30 AM to 12:30 PM

CEPSR 750

Amit Levy (security, operating systems, and programming languages)

Despite decades of research building secure operating systems, many deployed systems must still choose between flexible application APIs and security. As a result, the vast majority of programmers are unable to improve these systems. This is not merely a result of poor system building. It is hard to design highly extensible systems that are both secure and useful. Moreover, evaluating novel designs with actual developers is critical in order to make sure system builders can adopt research systems in practice.

Fortunately, in emerging application domains, such as the Internet of Things, there are no entrenched operating systems and application portability is less important. This makes it possible evaluate research techniques for building more secure and extensible systems with developers who are willing to adopt them.

I'll describe Tock, an operating system for microcontrollers that enables third-party developers to extend the system. Tock uses the Rust type-system to isolate kernel extensions and the hardware to isolate applications. I'll discuss how we continuously evaluate Tock by engaging with practitioners, and how lessons from practitioners have fed back into the system's design.

Feb 27

Data Driven Discovery and Decision Making - A Paradigm Shift for Large Scale Experimental Science

11:00 AM to 1:30 PM

Davis Auditorium

Kerstin Kleese van Dam, Brookhaven National Laboratory

New instrument technologies are enabling a new generation of in-situ and in-operando experiments, with extremely fine spatial and temporal resolution, that allows researchers to observe as physics, chemistry and biology are happening. These new methodologies go hand in hand with an exponential growth in data volumes and rates - petabyte scale data collections and terabyte/sec.

At the same time, scientists are pushing for a paradigm shift. As they can now observe processes in intricate details, they want to analyze, interpret and control those processes. Given the multitude of voluminous, heterogenous data streams involved in every single experiment, novel realtime, data-driven analysis and decision support approaches are needed to realize their vision.

This talk will discuss state-of-the-art streaming analysis for experimental facilities, its challenges and early successes. It will present work currently carried out at Brookhaven National Laboratory and identify areas for collaboration.

Feb 27

Transparency, Fairness, and Privacy challenges with targeted advertising in social medias

2:30 PM to 3:30 PM

CS Conference Room. Pre-talk coffee and refreshments at 2:00

Patrick Loiseau, Univ. Grenoble-Alpes (UGA), France

Social media sites such as Facebook or Twitter are funded by advertising and now constitute the primary advertisement channel for many users. They collect very detailed data about their users and, through their advertisement platform, make it available to advertisers for ads targeting. In this talk, we present three key challenges with social media advertisement platforms: (i) Transparency: how can users learn what data is known about them and how it is being used? (ii) Fairness: can advertisers target users in a discriminatory manner and if so how can we detect that? (iii) Privacy: does the advertisement platform leak personal information of users? For each of these challenges, we present initial solutions and discuss remaining open questions.

(joint work with A. Andreou, G. Venkatadri, M. Ali, T. Speicher, Y. Liu, F. Nunes Ribeiro G. Arvanitakis, F. Beneveuto, K. P. Gummadi, A. Mislove, and O. Goga.)

Feb 28

TBD

11:30 AM to 12:30 PM

CEPSR 750

Brian Smith (HCI)

Mar 05

TBD

11:30 AM to 12:30 PM

CEPSR 750

Tim Althoff (data science)

Mar 07

TBD

11:30 AM to 12:30 PM

CEPSR 750

Aaditya Ramdas (machine learning)

Mar 12

Start of spring break. Classes resume March 19.

12:00 AM to 11:45 PM

Mar 19

TBD

11:30 AM to 12:30 PM

Danqi Chen (NLP)

Mar 20

TBD

11:30 AM to 12:30 PM

CEPSR 750

Nicolas Papernot (security and machine learning)

Mar 21

TBD

11:30 AM to 1:00 PM

CEPSR 750

Derry Wijaya (NLP)

Mar 22

Last Day to Drop Class

12:00 AM to 11:45 PM

Mar 23

ADI+Faculty Research Panel

1:00 PM to 3:00 PM

CS Lounge

Mar 28

Data Science Day

9:00 AM to 5:00 PM

Roone Arledge Auditorium, Lerner Hall, Columbia University

Celebrating 5 years of Data Science at Columbia University

Join us for demos and lightning talks by Columbia researchers presenting their latest work in data science. The event provides a forum for innovators in academia, industry and government to connect.

Roone Arledge Auditorium
Lerner Hall | Columbia University
2920 Broadway, New York, NY 10027

Networking reception for industry, faculty and students following the event.

Register and buy tickets here.

Mar 28

BA Major Declaration Open House

6:30 PM to 7:30 PM

CS Lounge

Mar 29

Coffee Hour

3:30 PM to 5:15 PM

Apr 02

TBD

11:30 AM to 12:30 PM

CEPSR 750

Sebastian Angel (systems, security, privacy, and networking)

Apr 06

ADI+Faculty Mentorship Lunch

1:00 PM to 3:00 PM

Feb '19 13

test

10:00 AM to 12:00 PM