Işıl Dillig, a professor in the Department of Computer Science at The University of Texas at Austin, earned the 2025 Robin ...

Cmodels is a system that computes answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine for ...

SCRAM for RoboCup 3D For the RoboCup 3D simulation competition UTAustinVilla uses a SCRAM dynamic role assignment and formation positioning system in order to coordinate movement of the team. Each ...

NOTE: If you intend to obtain an incremental release (e.g. 2.9.4 as opposed to 2.9), please see the ACL2 News for instructions. Otherwise, continue reading here. A collection of books (ACL2 input ...

Futures and promises are a popular abstraction for asynchronous programming, especially in the context of distributed systems. We'll cover the motivation for and history of these abstractions, and see ...

I am faced with a basic problem of presentation. What I am really concerned about is the composition of large programs, the text of which may be, say, of the same size as the whole text of this ...

You need to have downloaded and installed BlueJ before completing the following steps. Download the java files you need from the class web site. You don't have to put ...

Dong Li, May 2014 Dissertation: "Orchestrating Thread Scheduling and Cache Management to Improve Memory System Throughput in Throughput Processors" First employment: Senior Engineer, Qualcomm Research ...

Ewin Tang, a 2018 University of Texas at Austin graduate in computer science and mathematics, is receiving national attention for a feat accomplished at the age of 18 by disproving, as part of an ...

The 2024-2025 rankings tout undergraduate computer science at The University of Texas at Austin as among the ten best nationally. The UT Computer Science undergraduate program is recognized as a top ...

Notice that this code essentially does the same thing as previously: it redirects output to a file. However, there’s a very important difference here. If the process forks-and-execs, the child process ...

Department of Computer Science The University of Texas at Austin CS 313E - Elements of Software Design (Spring 2023) Section: 52038, MW 3:30 PM - 5:00 PM, PAI 2.48 Instructor: Dr. Shyamal Mitra Office ...