PL Seminar: Inferring Phase Invariants from Phase Sketches

Infinite state systems such as distributed protocols are challenging to verify using interactive theorem provers or automatic verification tools. Of these techniques, deductive verification is highly expressive but requires the user to annotate the system with inductive invariants. Even if the rest of the proof is automatically checked, inductive invariants are challenging to find, even for experts, who must often go through many iterations before successfully proving safety.

Implications of the Meltdown & Spectre Hardware Security Flaws

Abstract: Two major hardware security design flaws--dubbed Meltdown and Spectre--were broadly revealed to the public in early January 2018 in research papers and blog posts that require considerable expertise and effort to understand. To complement these, this talk seeks to give a general computer science audience the gist of these security flaws and their implications. The goal is to enable the audience can either stop there or have a framework to learn more.

Google Maps - a Planet-Scale Playground for Computer Scientists

Abstract: Are there good soba noodle places nearby? How do I get to JFK by train? When does this park close? Show me Stonehenge! Helping people explore and get things done in the real world is the task our team has taken on, and it is a rather challenging one. In this talk I will describe the technical complexity of creating models that reflect the real world for products such as Google Maps, Search and Google Earth.

Making Parallelism Pervasive with the Swarm Architecture

With Moore's Law coming to an end, architects must find ways to sustain performance growth without technology scaling. The most promising path is to build highly parallel systems that harness thousands of simple and efficient cores. But this approach will require new techniques to make massive parallelism practical, as current multicores fall short of this goal: they squander most of the parallelism available in applications and are too hard to program.

SIPS Programmer



Degree and area of specialization: B.S. in Computer Science or related field.

Minimum number of years and type of relevant work experience: 

Student Assistant for Graduate Program in Clinical Investigation


UW Institute for Clinical and Translational Research (ICTR)

Position Title: Student Assistant for Graduate Program in Clinical Investigation (Part-time position in-house) 

Location: Health Science Learning Center 2112, 750 Highland Ave, Madison, WI, 53705 (on several bus lines including the 80) 

Degree/experience required: Sophomore/Junior student in Computer Sciences or related fields P

referred course taken: CS 302, CS367 or CS200, CS 300 and CS 400

US Ignite ParaDrop Day

This high-energy event will bring together partners from academia, non-profits, civic leadership, and industry to participate in a conversation about using edge computing and gigabit network technologies to solve challenges in city transportation. We will showcase the latest advances in edge computing platforms and applications that have come out of research at the university and will invite attendees to participate in a dialog that will set the direction for research yet to come.


Subscribe to UW-Madison Computer Sciences Department RSS