Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

Source URL: www.pepper-project.org

• Cryptography
• Randomized algorithms
• Computational complexity theory
• Mathematics
• Probabilistically checkable proof
• Complexity classes
• Interactive proof system
• IP
• NP
• Soundness
• PCP theorem
• Commitment scheme

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

A Class of Greedy Algorithms And Its Relation to Greedoids Srinivas Nedunuri Dept. of Computer S ien es University of Texas at Austin

Source URL: www.kestrel.edu

• Mathematics
• Combinatorics
• Combinatorial optimization
• Greedoid
• Order theory
• Matroid theory
• Matroid
• Universal property
• Greedy algorithm

A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin

Source URL: www.cs.utexas.edu

• Transaction processing
• Computing
• Fault-tolerant computer systems
• Data management
• Application checkpointing
• Data
• Rollback
• Database transaction
• Checkpoint
• Communication protocol
• Two-phase commit protocol

Curriculum Vitae, Roozbeh Jafari, Updated OctoberROOZBEH JAFARI Texas A&M University

Source URL: jafari.tamu.edu

Notice of Nondiscrimination and Abuse Texas A&M University provides equal opportunity to all employees, students, applicants for employment or admission, and the public regardless of race, color, sex, religion, national

Source URL: urc.tamu.edu

• Human behavior
• Human sexuality
• Sex crimes
• Feminism
• Workplace bullying
• Labour law
• Harassment
• Sexual harassment
• Sexual assault
• Title IX
• Office for Civil Rights

Timothy Alden Davis Department Computer Science and Engineering Texas A&M University 3112 TAMU, College Station, Texasemail: web: http://faculty.cse.tamu.edu/davis

Source URL: faculty.cse.tamu.edu

A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

Source URL: www.pepper-project.org

Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Metaphysics
• Mathematical logic
• Temporal logic
• Computability theory
• Model theory
• Formal languages
• Finite-state machine
• Computation tree logic
• Abstraction
• Abstract interpretation
• IP

A publication of the Guadalupe-Blanco River Authority Using water more efficiently not only will save money, but also will help protect the quality of life for future Texans. Texas is the second largest state by both

Source URL: www.gbra.org