sygus.org

excape.cis.upenn.edu

Webinars | ExCAPE

https://excape.cis.upenn.edu/webinars.html

Skip directly to: content. Programing for Mobile Platofrms. The webinar session for the current academic year is now on recess. 4 April 2016, 1pm EST:. Type- and Example-Directed Program Synthesis. Adaptable yet provably correct autonomous systems. Control synthesis for large collections of dynamical systems with counting constraints. Can we control a swarm of systems and give guarantees on their collective behavior? Testing System Conformance for Cyber-Physical Systems. Intervention and Adaptation for E...

excape.cis.upenn.edu

Networked Systems | ExCAPE

https://excape.cis.upenn.edu/cp_networked_systems.html

Skip directly to: content. Programing for Mobile Platofrms. Theme Leaders: Boon Thau Loo (Penn) and George Pappas (Penn). Shows that Route Shepherd can result in fast recovery times that outperform random strategies. We have developed a prototype of Route Shepherd demonstrated at SIGCOMM'12 .[ GHLL12. As ongoing work, we are continuing our work with traffic engineering in mind, where the resulting policies should not only be safe, but also meet traffic engineering goals of the network operator. Over the ...

excape.cis.upenn.edu

Knowledge Transfer | ExCAPE

https://excape.cis.upenn.edu/knowledge_transfer.html

Skip directly to: content. Programing for Mobile Platofrms. Leaders: Stephane Lafortune (University of Michigan) and Steve Zdancewic (Penn). Provides an excellent opportunity for the community to learn about different aspects of synthesis on a regular basis. Each talk is attended by aroud 50 participants from all over the country. Organizers: Bodik (Berkeley), Lafortune (Michigan) and Zdancewic (Penn). Reactive Synthesis by Vardi and Ehlers,. Synthesis for Cyber-Phisical Systems by Tabuada and Rungger.

excape.cis.upenn.edu

Postdoc Openings | ExCAPE

https://excape.cis.upenn.edu/postdoc-openings.html

Skip directly to: content. Programing for Mobile Platofrms. Massachusetts Institute of Technology. University of California, Berkeley. University of California, Los Angeles University of Illinois, Urbana-Champaign. University of Maryland, College Park. Expeditions in Computer Augmented Program Engineering (ExCAPE) is a multi-university multi-disciplinary project funded by US National Science Foundation as part of the Expeditions in Computing program. Review of applications will begin upon receipt and con...

excape.cis.upenn.edu

News and Events | ExCAPE

https://excape.cis.upenn.edu/news-events.html

Skip directly to: content. Programing for Mobile Platofrms. Took place at Penn, May 9-10, 2016. June 23-26, 2015:. Summer School on Software Synthesis. Was held at MIT, Cambridge, USA. June 21-22, 2015:. Was held June 21-22 MIT, Cambridge, USA. Was held at Penn. Awards medals to its winners [as part of FLoC Olympyc Games. First place awarded to Abhishek Udupa. For the Enumerative-CEGIS Solver. Programming Languages Technology for Massive Open Online Courses (PLOOC 2014). Co-Located with PLDI 2014]. ExCAP...

syntcomp.org

SYNTCOMP 2015: Results | The Reactive Synthesis Competition

http://www.syntcomp.org/syntcomp-2015-results

The Reactive Synthesis Competition. SYNTCOMP 2015 has been another big success, as witnessed by a greatly extended benchmark library and impressive improvements in most of the participants. The results have been presented at the SYNT workshop ( slides. And are available on the web-frontend of our EDACC instance. Most notably, the following tools had the best results in some of the categories:. Solved 195 out of 250 problems in the Realizability Track). This entry was posted in Uncategorized. July 20, 2015.

syntcomp.org

June | 2014 | The Reactive Synthesis Competition

http://www.syntcomp.org/2014/06

The Reactive Synthesis Competition. Monthly Archives: June 2014. Testing Phase started, Submission of Last-Minute Entrants. The deadline for submission of synthesis tools for SYNTCOMP 2014 has passed, and we are now starting testing in the competition environment. We are happy to say that we have submissions of a good number of solvers from 6 different research groups. This entry was posted in News. June 2, 2014. SYNTCOMP News * *. July 20, 2016. SYNTCOMP 2016: Updated Schedule. May 23, 2016.

cis.upenn.edu

Rajeev Alur

http://www.cis.upenn.edu/~alur

Department of Computer and Information Science. 3330 Walnut Street, Philadelphia, PA 19104-6389. Email: alur at cis upenn edu. Phone: 1 (215) 573-7483. And I also collaborate with Penn's PL Club. And Theory Research Group. Textbook: Principles of Cyber-Physical Systems, MIT Press, 2015. My current research is focused on two directions:. Synthesis for System Design:. I am leading NSF Expeditions in Computer Augmented Program Engineering (ExCAPE). For scenario-based programming of network policies). We...

excape.cis.upenn.edu

Robotic Controllers | ExCAPE

https://excape.cis.upenn.edu/cp_robotics.html

Skip directly to: content. Programing for Mobile Platofrms. Theme Leaders: Hadas Kress-Gazit (Cornell) and Lydia Kavraki (Rice). Imagine a robot waiter having to surve customers with plates. Can we formalize its specification and automatically synthesize his behavior? How can he cope with the different data on the menu? If another waiter robot broke a glass, can he avoid trumpling over it on his way to the kitchen? How can we design it in a composite way, leveraging working provable subcomponents? We add...