Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Mathematical software
• Computing
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Solver
• Benchmark
• Nl

Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech

Source URL: qav.comlab.ox.ac.uk

The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama

Source URL: www.react.uni-saarland.de

• Theoretical computer science
• Mathematics
• Logic
• Synthesis
• Satisfiability modulo theories
• Symbol
• Expression

1 Regular Functions and Cost Register Automata Rajeev Alur∗ , Loris D’Antoni∗ , Jyotirmoy Deshmukh† , Mukund Raghothaman∗ and Yifei Yuan∗ ∗ University of Pennsylvania † Toyota Technical Center (Invited P

Source URL: www.andrew.cmu.edu

NetEgg: Programming Network Policies by Examples Yifei Yuan Rajeev Alur Boon Thau Loo

Source URL: www.andrew.cmu.edu

Preserving Secrecy Under Refinement ˇ Rajeev Alur, Pavol Cern´ y, and Steve Zdancewic University of Pennsylvania

Source URL: ecee.colorado.edu

On the Feasibility of Automation for Bandwidth Allocation Problems in Data Centers Yifei Yuan, Anduo Wang, Rajeev Alur, and Boon Thau Loo University of Pennsylvania Abstract—Mapping virtual networks to physical networ

Source URL: www.andrew.cmu.edu

Synthesis of Interface Specifications for Java Classes Rajeev Alur ˇ Pavol Cern´ y

Source URL: ecee.colorado.edu

Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania

Source URL: sygus.seas.upenn.edu

Curriculum Vitae1 Rajeev Alur Address Department of Computer and Information Science 3330 Walnut Street, Levine Hall University of Pennsylvania

Source URL: www.cis.upenn.edu