Three day required training for new CS TAs. TA training is offered once a year just prior to start of fall semester. Exact times and locations for day 2 and day 3 will be announced on first day.
Wednesday, August 22, 2018 - 10:00am to Friday, August 24, 2018 - 4:00pm1240 Computer SciencesUW-Madison CS Department
Thursday, August 23, 2018 -11:00am to 12:00pm4310 CSYotam FeldmanTel Aviv University
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. Thus, to further increase automation, one might hope to instead automatically infer the necessary invariants, but... Read More
Monday, August 27, 2018 - 8:30am1240 CSUW-Madison CS Department
Required orientation for incoming graduate students in the CS MS/PhD and Professional MS program. Orientation 8:30-Noon, followed by lunch with faculty.
Monday, September 10, 2018 -4:00pm to 5:00pm1240 CSDaniel SanchezMIT
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.
I will present Swarm, a new architecture that successfully parallelizes algorithms that are often considered sequential and... Read More
Tuesday, September 11, 2018 -4:00pm to 5:00pm1240 CSLuiz Barosso
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.
Bio: Luiz André Barroso, VP of Engineering and a Google Fellow. His team is responsible for collecting and curating maps, local knowledge and imagery data that powers... Read More
Wednesday, September 12, 2018 -5:00pm to 7:00pmCS 2310Liberty Mutual
- Brief overview of Liberty Mutual and positions we're recruiting for
- "Plan/Prepare/Perform" themed activities and action items for attendees
- Giveaways to attendees will include tote bags, padfolios, and printed workshop materials
- We're also working on establishing connections between prep workshop participants and our 70+ Liberty Mutual attendees (via Slack Channel or other platform) for networking, advice, support, etc. during the conference
Monday, September 17, 2018 -1:00pm to 5:00pm1240 Computer Sciences
Tuesday, September 18, 2018 -4:00pm to 5:00pm1240 CSMark D. HillUniversity of Wisconsin-Madison
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. A non-goal is exploring many details of flaw exploitation and patch status, in part, because the speaker is a computer architect,... Read More
Friday, September 21, 2018 -4:00pm to 5:00pmCS 1240Sanjam GargUniversity of California-Berkeley
Abstract: In this talk, I will describe new ideas leading to a construction of identity-based encryption based on the hardness of the (Computational) Diffie-Hellman Problem (without using groups with pairings). This construction achieves the standard notion of identity-based encryption as considered by Boneh and Franklin [CRYPTO 2001]. The presented construction bypasses known impossibility results using garbled circuits that make a non-black-box use of the underlying cryptographic primitives. (Based on joint work with Nico Döttling)
Bio: Sanjam Garg is an Assistant Professor at the... Read More
Wednesday, October 3, 2018 -1:00pm to 5:00pmUnion South
Tuesday, October 30, 2018 - 6:00pmCS 1240Codecinella and WACMWomen from Various Madison-Area Companies
Interviewing can be stressful. Come practice your interview skills with local
professional women software developers. We are not recruiters, we are not
representing our companies or hiring. As your peers we hope to give you some
practice with a technical interview and feedback on your resume. Bring at
least three copies of a current resume. Volunteers will give you feedback on
your resume as well as on your interview.
The spirit of this event is to practice interview skills in a supportive
environment. Please no recruiters.
To participate... Read More