Update 2017sp.erb
This commit is contained in:
parent
242c923164
commit
3e227f87cc
|
@ -31,9 +31,18 @@ schedule:
|
|||
Washington, and obtained her Ph.D. from the University of Pennsylvania.
|
||||
She is a recipient of the NSF CAREER award and a Google PhD Fellowship.
|
||||
- when: March 9; Time TBD
|
||||
what: Title TBD
|
||||
what: Software Synthesis for Networks
|
||||
who: Hossein Hojjat
|
||||
where: Location TBD
|
||||
details:
|
||||
abstract: |
|
||||
Software synthesis is a powerful technique that can dramatically increase the productivity of programmers by automating the construction of complex programs.
|
||||
One area where synthesis seems particularly promising is in computer networks.
|
||||
Although Software-Defined Networking (SDN) makes it possible to build rich applications in software, programmers today are forced to deal with numerous low-level details such as encoding high-level policies using low-level hardware primitives, processing asynchronous events and dealing with unexpected failures.
|
||||
This talk will present highlights from our recent works using synthesis to generate correct-by-construction network programs. In the first part of the talk, I will describe an approach for generating configuration updates that are guaranteed to preserve specified invariants. In the second part of the talk, I will present an extension that supports finer-grained updates triggered by data-plane events. In the last part of the talk, I will describe a repair technique that uses Horn clause models to repair buggy network configurations.
|
||||
(Joint work with Nate Foster (Cornell University), Pavol Cerny (University of Colorado at Boulder), Jedidiah McClurg (University of Colorado at Boulder), Philipp Ruemmer (Uppsala University))
|
||||
bio: |
|
||||
Hossein Hojjat is an assistant professor in the Computer Science department at the Rochester Institute of Technology (RIT). Before joining RIT, he was a postdoctoral researcher at Cornell University. He earned a PhD in Computer Science from EPFL in 2013. His research interests center on program synthesis and computer-aided verification.
|
||||
- when: April 6; Time TBD
|
||||
what: Title TBD
|
||||
who: Amol Deshpande
|
||||
|
|
Loading…
Reference in a new issue