Select a calendar:
Filter August Events by Event Type:
Workshops & Infosessions
Events for August
-
USC Graduate Engineering Info Session: Mumbai
Fri, Aug 05, 2016 @ 07:00 PM - 09: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: Vivanta by Taj President, Mumbai
Audiences: Students with an undergraduate background in engineering, computer science, math or physical science
Contact: Sudha Kumar
-
USC Graduate Engineering Info Session: Bangalore
Sat, Aug 06, 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.
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: ITC Windsor Manor, Bangalore
Audiences: Students with an undergraduate background in engineering, computer science, math or physical science
Contact: Sudha Kumar
-
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
-
Microsoft Info Session
Mon, Aug 29, 2016 @ 06:00 PM - 07:30 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Meet the Company Presentation!
Location: Seeley G. Mudd Building (SGM) - 101
Audiences: All Viterbi
Contact: RTH 218 Viterbi Career Connections
-
Microsoft Product Demo & Devices
Tue, Aug 30, 2016 @ 12:00 PM - 02:00 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
How does Microsoft design hardware?
What do all of these products have in common?
How does Microsoft take one design and make it into millions?
Find out answers to these questions and many more at Microsoft's Manufacturing & Supply Chain (MSC) and Devices Product Demo Booth. This will be your chance to interact with Microsoft employees and learn about the end to process of taking a product from a design to a product in the customer's hands.
Majors: ME, EE, IE & SCLocation: RTH LOBBY
Audiences: All Viterbi
Contact: RTH 218 Viterbi Career Connections
-
Introduction to Viterbi Gateway Workshop
Tue, Aug 30, 2016 @ 12:30 PM - 01:30 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Come to this presentation to learn how to navigate the Viterbi Career Gateway,a powerful job & internship search tool available ONLY to Viterbi students.
Location: Ronald Tutor Hall of Engineering (RTH) - 211
Audiences: All Viterbi
Contact: RTH 218 Viterbi Career Connections
-
Microsoft Info Session
Tue, Aug 30, 2016 @ 06:30 PM - 08:00 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Meet the company presentation!
Location: Seeley G. Mudd Building (SGM) - 101
Audiences: All Viterbi
Contact: RTH 218 Viterbi Career Connections
-
Microsoft Resume Exchange
Wed, Aug 31, 2016 @ 12:00 PM - 02:00 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Be amongst the first to be considered for career at Microsoft!We will be collecting resumes, offering insight and handling out swag on the 31st at Ronald Tutor Hall!
Location: Ronald Tutor Hall of Engineering (RTH) - 1st Floor Lobby
Audiences: All Viterbi
Contact: RTH 218 Viterbi Career Connections
-
Microsoft Coding Competition
Wed, Aug 31, 2016 @ 05:00 PM - 08:00 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Calling all Coders!! Put your programming skills to the test and score some AWESOME prizes and of course free food! Stand out on the spot by registering and competing in our annual Coding Competition on the 31st!
Location: Seeley G. Mudd Building (SGM) - 101
Audiences: All Viterbi
Contact: RTH 218 Viterbi Career Connections
