Trends and Challenges in Algorithmic Software Verification Rajeev Alur Department of Computer and Information Science University of Pennsylvania Email:

Source URL: vstte.ethz.ch

Systems Computing Challenges in the Internet of Things Rajeev Alur, Emery Berger, Ann W. Drobnis, Limor Fix, Kevin Fu, Gregory D. Hager, Daniel Lopresti, Klara Nahrstedt, Elizabeth Mynatt, Shwetak Patel, Jennifer Rexford

Source URL: cra.org

• Computing
• Technology
• Internet of Things
• Ambient intelligence
• Cryptography
• Cyber-physical system
• Smart city
• Computer security
• IOT
• Cloud computing
• Cisco Jasper
• SensorThings API

Automated Analysis of Java Methods for Confidentiality? ˇ Pavol Cern´ y and Rajeev Alur University of Pennsylvania

Source URL: ecee.colorado.edu

Regular Functions Rajeev Alur University of Pennsylvania 1

Source URL: www.cis.upenn.edu

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

SÉMINAIREFocus COPROPRIÉTÉ l Loi ALUR : où en est-on ? l Travaux d’économie d’énergie et certification de travaux Vendredi 3 juillet 2015 de 9h30 à 17h30

Source URL: www.actioncoproprietaires.org

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: users.dcc.uchile.cl

Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi

Source URL: sygus.seas.upenn.edu

• Predicate logic
• Theoretical computer science
• Formal methods
• NP-complete problems
• First-order logic
• Satisfiability Modulo Theories
• Expression
• Type system
• Function
• Mathematics
• Logic
• Mathematical logic

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: www.cis.upenn.edu

Representation Dependence Testing using Program Inversion Aditya Kanade Rajeev Alur

Source URL: www.cis.upenn.edu