Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh]

Source URL: www.eecs.berkeley.edu

• Constraint programming
• Formal methods
• Programming paradigms
• Predicate logic
• Satisfiability Modulo Theories
• Program synthesis
• Algorithm
• First-order logic
• Function
• Mathematics
• Theoretical computer science
• Applied mathematics

A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania

Source URL: research.microsoft.com

• Computer science
• Applied mathematics
• Deterministic finite automaton
• Nondeterministic finite automaton
• DFA Records
• Finite-state machine
• Algorithm
• Counterexample
• Regular expression
• Automata theory
• Models of computation
• Theoretical computer science

Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science

Source URL: research.microsoft.com

• Model theory
• Models of computation
• Formal languages
• Abstraction
• Metalogic
• Deterministic finite automaton
• Nondeterministic finite automaton
• Interpretation
• DFA minimization
• Automata theory
• Mathematics
• Logic

15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois

Source URL: www.cs.rice.edu

• Computer science
• Rajeev Alur
• Finite-state machine
• Modal μ-calculus
• Model checking
• Tree automaton
• Formal verification
• Tree
• Temporal logic
• Automata theory
• Theoretical computer science
• Mathematical logic

Milo M. K. Martin Curriculum Vitae March 9, 2014 Computer and Information Sciences Department University of Pennsylvania

Source URL: www.cis.upenn.edu

• Symposium on Principles and Practice of Parallel Programming
• Programming Language Design and Implementation
• Rajeev Alur
• Rock
• Software engineering
• Computer science
• Computing
• XPL

Gérard DUSSILLOL Octobre 2013 Note d’actualité 14 PROJET DE LOI ALUR SUR LE

Source URL: www.institut-thomas-more.org

Par Nathalie Garnier, avocate. Les écueils du projet de Loi Alur sur l’extension du DPU aux droits sociaux Le projet de Loi Alur étendrait le DPU aux parts de toutes les SCI (et de sociétés à prépondérance immo

Source URL: www.degaullefleurance.com

A L’ISSUE DU VOTE AU SENAT DU PROJET DE LOI ALUR : LE CESE SE FELICITE D’AVANCEES POUR LES JEUNES QUI EN APPELLENT D’AUTRES Suite à l’adoption, en deuxième lecture au Sénat, du projet de loi sur l’accès au

Source URL: www.lecese.fr

Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR

Source URL: www.cis.upenn.edu

• External variable
• Futures and promises
• Environment variable
• Free variables and bound variables
• Variable
• Closure
• SystemVerilog
• Software engineering
• Computing
• Synchronous programming language

FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania

Source URL: homepages.inf.ed.ac.uk

• Applied mathematics
• Logic in computer science
• Nested word
• Words
• Formal methods
• Temporal logic
• Nesting
• Stack
• Model checking
• Theoretical computer science
• Automata theory
• Mathematical logic