Talk
Trading Networks
This talk will discuss some of the unique ways in which trading firms use (and misuse) various bits of technology (switches, layer-1 devices, microwaves, FPGAs), to build networking infrastructure that achieves their goals.
High-performance Graph Processing on GPUs
Back in 2013, implementing high-performance graph algorithms for GPUs required manual coding in CUDA, a slow and difficult process. To significantly lower the level of effort required, we created IrGL, a language and compiler specifically for generating high-performance graph algorithm impl
Panel Discussion on Transformations in Engineering and the Arts
Panel Discussion on Transformations in Engineering and the Arts, a Course Open to All Students
Panelists:
-Naomi Ehrich Leonard ’85, Professor of Mechanical and Aerospace Engineering, and Director, Council on Science and Technology
Changing the Game: A Different Approach to Cybersecurity
OPEN TO THE PUBLIC
Network-Centric Computing for Online Services
Modern datacenters offer an abundance of online services to billions of daily users. The most demanding online services come with tight response latency requirements, forcing service providers to keep their massive datasets memory-resident, distributed across the datacenter’s servers.
The Rise of Artificial Intelligence: Who Will Have Jobs in the Future?
A conversation with Brad Smith, President and Chief Legal Officer of Microsoft.
Women's Interactive Networking Event (WINE)
At this meeting, we will have a short talk by Margaret Martonosi, Professor of CS at Princeton followed by small group discussions to share personal experiences of success and failure at creating change to advance diversity.
Global Measurements of Internet Censorship
[[{"fid":"828","view_mode":"landscape_left","fields":{"format":"landscape_left","field_file_image_alt_text[und][0][value]":"Photo of Professor Nick Feamster","field_file_image_title_text[und][0][value]":false,"field_file_caption_credit[und][0][value]":"%3Cp%3EPhoto%20by%20David%20Kelly%20Crow%3C%
Interrupts in OS code: let’s reason about them. Yes, this means concurrency.
Existing modelled and verified operating systems (OS’s) typically run on uniprocessor platforms and run with interrupts mostly disabled. This makes formal reasoning more tractable: execution is mostly sequential.