Kristen Grauman, Ph.D., a professor in the Department of Computer Science, was awarded the prestigious 2026 Hill Prize in ...

MJRTY - A Fast Majority Vote Algorithm, with R.S. Boyer. In R.S. Boyer (ed.), Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series ...

Jump to section: This is the official site of the UT Austin Villa 3D Simulation team from the Department of Computer Science at the University of Texas at Austin. In the RoboCup 3D Simulation League ...

Fig.2 - Rectified flow between π 0 (magenta contour) and π 1 (red contour). Green and blue lines are the trajectories colored based on which mode of π 0 they are associated with for visualization.

I retired from UT in December, 2016. My last big project was FREGE, an online environment for learning introductory logic and discrete mathematics. It is an interactive textbook with over 500 problems ...

1 On our inability to do much. 4 On the reliability of mechanisms. 8 On our mental aids. 15 An example of a correctness proof. 19 On the validity of proofs versus the validity of implementations. 21 ...

Experience programming, teamwork, and real-world applications in this week-long residential program for high school students. Choose from Arduino microcontrollers in the Standard Edition or Python in ...

The AHEAD Tool Suite (ATS) is a set of tools that support Feature Oriented Programming (FOP). The goal of FOP is to raise the level of specifications of systems beyond source code to that of ...

This page shows you how to create a jar file (java archive) using the Eclipse IDE. The instructions are for bundling the source code (.java files) into a jar. These instructions do not cover how to ...

University of Texas, Austin 78712-0233.

ABSTRACT: This technical report describes the steps that we took to cross-compile PARSEC 2.1 for the Alpha architecture to run on M5. M5 is a full system multiprocessor simulator that is capable of ...