Select a calendar:
Filter August Events by Event Type:
Events for the 2nd week of August
-
Petroleum Engineering Graduate Seminar
Mon, Aug 08, 2016 @ 12:00 PM - 01:00 PM
Mork Family Department of Chemical Engineering and Materials Science
Conferences, Lectures, & Seminars
Speaker: Janeen Judah, 2017 President of the Society of Petroleum Engineers
Talk Title: Why I Love the Oil Business
Abstract: Big Risk. Big Reward. Big Money. High Tech. Geopolitics. Complex economics. World Travel. Yes, it's a cyclical business, as most are. The big, messy, politically incorrect oil business is what I love. Let me tell you why.
Host: Petroleum Engineering Department
Webcast: https://bluejeans.com/665833553More Information: Janeen Judah 8_8_16.pdf
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
WebCast Link: https://bluejeans.com/665833553
Audiences: Everyone Is Invited
Contact: Juli Legat
-
USC Graduate Engineering Info Session: Chennai
Mon, Aug 08, 2016 @ 03:00 PM - 05:00 PM
Viterbi School of Engineering Graduate Admission
Workshops & Infosessions
These events will be hosted by Sudha Kumar, Director of the USC India Office.
Each 2-hour information session will include a presentation on:
Master's & Ph.D. Programs in Engineering and Computer Science
How to Apply
Scholarships and Funding
Student Life at USC and in Los Angeles
Attendees will also have the chance to ask questions and receive official brochures and handout information from USC.
Register to Attend
Location: Raintree Anna Salai, Chennai
Audiences: Students with an undergraduate background in engineering, computer science, math or physical science
Contact: Sudha Kumar
-
USC Graduate Engineering Info Session: Delhi
Tue, Aug 09, 2016 @ 03:00 PM - 05:00 PM
Viterbi School of Engineering Graduate Admission
Workshops & Infosessions
These events will be hosted by Sudha Kumar, Director of the USC India Office. Special guest speaker Dr. Sandeep Gupta, Professor and Chair of the Ming Hsieh Department of Electrical Engineering, will also join this event.
Each 2-hour information session will include a presentation on:
Master's & Ph.D. Programs in Engineering and Computer Science
How to Apply
Scholarships and Funding
Student Life at USC and in Los Angeles
Attendees will also have the chance to ask questions and receive official brochures and handout information from USC.
Register to Attend
Location: Shangri-La's Eros Hotel, Delhi
Audiences: Students with an undergraduate background in engineering, computer science, math or physical science
Contact: Sudha Kumar
-
PhD Defense Luis Pedrosa
Tue, Aug 09, 2016 @ 03:00 PM - 05:00 PM
Thomas Lord Department of Computer Science
Workshops & Infosessions
Title: "Systematic Analysis of Network Protocol Implementations"
Location: SAL 213
Time: 3:00pm -“ 5:00pm, Tuesday, August 9th 2016
PhD Candidate: Luis Pedrosa
Committee Members:
Ramesh Govindan
William G.J. Halfond
Murali Annavaram
Todd Millstein
Ratul Mahajan
Abstract:
As networked systems become more complex, and as interactions between distributed entities become more subtle, our ability to analyze such systems has fallen behind. Failing to keep up with the ever increasing amount of software interactions that these systems can potentially be subject to can lead to software glitches which, if unmitigated, can lead to costly and embarrassing outages and even data loss. It is clear the community needs better tools to analyze these systems and to better understand their behavior under varying circumstances.
Towards this end we start by presenting one such analysis specifically tailored towards the problem of protocol interoperability: the Protocol Interoperability Checker or PIC. PIC uses symbolic execution to explore the space of messages used by a protocol sender and receiver to communicate. By finding messages the sender can generate but that the receiver subsequently determines to be invalid, PIC can find scenarios where interoperability breaks down. To scale such an analysis to real-world implementations we make several key novel contributions, including joint symbolic execution that constrains the receiver-side analysis based on results from the sender, and a custom form of directed symbolic execution, that guides the analysis towards meaningful results. On mature implementations of two protocols, PIC found thousands of instances of non-interoperabilities, across multiple message types and fault causes. Many of the issues have been acknowledged as undesirable by developers and some have already been fixed.
We then move on to generalize our work on PIC to address two new challenges, handling arbitrary networked systems and checking more general correctness properties. By extending joint symbolic execution with concepts borrowed from model checking, we build a more general conversational analysis. Conversational analysis implements a detailed symbolic network model that supports communication with multiple messages between multiple parties, while also considering the effects of concurrency, and message loss and reordering. In effect, we create a novel approach to exploring the outcomes of a distributed system while varying both its inputs and the underlying network dynamics. We show that conversational analysis is able to analyze Redis, a popular key-value store, and reproduce a complex known bug, as well as nuanced injected faults.
Finally, we address the challenge of checking more general correctness properties. By exporting our analysis capabilities as a set of operations in a toolkit we call the Systematic Protocol Analysis Framework or SPA, we allow users to 'script' new analyses more flexibly.
These scripts then produce direct value to developers, enabling, as we show, novel systematic analyses for interoperability, security, correctness, and reliability.
Location: Henry Salvatori Computer Science Center (SAL) - 213
Audiences: Everyone Is Invited
Contact: Ryan Rozan
-
USC Graduate Engineering Info Session: Pune
Wed, Aug 10, 2016 @ 03:00 PM - 05:00 PM
Viterbi School of Engineering Graduate Admission
Workshops & Infosessions
These events will be hosted by Sudha Kumar, Director of the USC India Office.
Each 2-hour information session will include a presentation on:
Master's & Ph.D. Programs in Engineering and Computer Science
How to Apply
Scholarships and Funding
Student Life at USC and in Los Angeles
Attendees will also have the chance to ask questions and receive official brochures and handout information from USC.
Register to Attend
Location: Le Meridien, Pune
Audiences: Students with an undergraduate background in engineering, computer science, math or physical science
Contact: Sudha Kumar
-
USC Graduate Engineering Info Session: Hyderabad
Thu, Aug 11, 2016 @ 03:00 PM - 05:00 PM
Viterbi School of Engineering Graduate Admission
Workshops & Infosessions
These events will be hosted by Sudha Kumar, Director of the USC India Office.
Each 2-hour information session will include a presentation on:
Master's & Ph.D. Programs in Engineering and Computer Science
How to Apply
Scholarships and Funding
Student Life at USC and in Los Angeles
Attendees will also have the chance to ask questions and receive official brochures and handout information from USC.
Register to Attend
Location: Taj Deccan Hyderabad
Audiences: Students with an undergraduate background in engineering, computer science, math or physical science
Contact: Sudha Kumar
-
New Masters Students Welcome Lunch
Fri, Aug 12, 2016 @ 11:30 AM - 01:30 PM
Thomas Lord Department of Computer Science
Receptions & Special Events
The welcome lunch for all new USC Computer Science Masters students. A casual event for new MS students, CS faculty and staff to meet and mingle. Join us for a BBQ lunch and enjoy the warm Southern California weather out on SAL Lawn in front of the Salvatori Computer Science Center.
By invitation only. Invitations were sent via email.
Location: Henry Salvatori Computer Science Center (SAL) - Lawn
Audiences: By invitation only.
Contact: Assistant to CS chair
