See defun for relevant background. You may find it helpful to use a lexicographic order, the idea being to have a measure that returns a list of two arguments, where the first takes priority over the ...

The original query language is basically a first-order logical form augmented with some higher-order predicates or meta-predicates, for handling issues such as quantification over implicit sets. It ...

Software verification projects, tools, etc.

All four teams from the UT Programming Team finished top six, including taking first place, in the South Central USA Regional Competition of the International Collegiate Programming contest last month ...

2024 marks a pivotal year for Risto Miikkulainen, Professor of Computer Science at UT Austin, with several major achievements showcasing his leadership in artificial intelligence (AI) and neural ...

Our students and faculty are changing the world through their contributions to computing education, research, and industry. These awards received by members of the UT Computer Science community make ...

Abstract. One method for producing verified implementations of programming languages is to formally derive them from abstract machines. Tail recursive abstract machines provide efficient support for ...

I am currently conducting fundamental research in the area of distributed real-time systems. My primary concerns include specification techniques for real-time systems, algorithms for guaranteeing ...

The full paper can be found here. This page provides details on the optimization of walk parameters for an omnidirectional walk engine which was the key component in UT Austin Villa winning the 2011 ...