Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria

Source URL: www.cs.purdue.edu

• Boolean algebra
• Forcing
• Theoretical computer science
• Mathematics
• Complete Boolean algebra
• Order theory
• Assertion
• Mathematical logic

Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University

Source URL: www.cs.purdue.edu

• Mathematical logic
• Theoretical computer science
• Mathematics
• Formal methods
• Boolean algebra
• Temporal logic
• Edsger W. Dijkstra
• Predicate transformer semantics
• Model theory
• Hoare logic
• True quantified Boolean formula
• Linear temporal logic

An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Source URL: www.cs.purdue.edu

• Concurrency control
• Computing
• Edsger W. Dijkstra
• Concurrent computing
• Computer programming
• Concurrency
• Transaction processing
• Synchronization
• Lock
• Monitor
• Parallel computing
• Granularity

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

Source URL: rishabhmit.bitbucket.io

• Machine learning
• Computing
• Data management
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Computational linguistics
• Meta learning
• Supervised learning
• Support vector machine
• Deep learning
• SQL syntax

1 Securing Augmented Reality Output Kiron Lebeck, Kimberly Ruth, Tadayoshi Kohno, Franziska Roesner Paul G. Allen School of Computer Science & Engineering University of Washington

Source URL: www.ieee-security.org

• Humancomputer interaction
• Reality
• Computing
• User interface techniques
• Augmented reality
• Mixed reality
• Virtual reality
• Multimodal interaction
• Microsoft HoloLens
• Head-mounted display
• Internet privacy
• JavaScript

Allen Hatcher Copyright c 2002 by Cambridge University Press Single paper or electronic copies for noncommercial use may be made freely without explicit permission from the author or publisher. All other rights reserved

Source URL: www.math.ru.nl

A Control Framework for Interactive Deformable Image Registration Ivan Kolesov1 , Liangjia Zhu1 , Peter Karasev2 , and Allen Tannenbaum13 1 Department of Computer Science, Stony Brook University, Stony Brook, NY 11790

Source URL: interactivemedical.org

A Cognitive Model for Collaborative Agents George Ferguson and James Allen Department of Computer Science, University of Rochester, Rochester, NY, USA {ferguson,james}@cs.rochester.edu Abstract

Source URL: www.georgeferguson.com

2010 Clarke Prize Laureate Jerald L. Schnoor, Ph.D. Allen S. Henry Chair of Engineering University of Iowa Dr. Schnoor has focused much of his career on improving human

Source URL: www.nwri-usa.org