UT Computer Science mourns the loss of Professor Emeritus E. Allen Emerson, winner of the most prestigious award in computer ...

FMCAD 2014 is the fourteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia ...

The last few OOPSLA's have had acceptance rates of around 12%, low by anyone's standards. The acceptance rate for OOPSLA'93 was 9%, due in part to a large number of submissions, and in part to a ...

Her research has produced scalable computational methods for design of next-generation engineered systems, with a particular focus on model reduction as a way to learn principled approximations from ...

Scheme and Common Lisp use different names for some of the basic system functions. Many Lisp programs can be translated to the other dialect simply by changing these names (or by providing the ...

I'm an assistant professor in the Computer Science Department and the Institute for Computational Engineering and Sciences (ICES) at the University of Texas at Austin. I was a PhD student at the ...

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 ...

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 ...

Nothing on my web pages should be taken as representing the official position of the University of Texas at Austin or any other part of the government of the State of Texas.

We are an interdisciplinary group of active researchers in data/web mining and associated subjects. Areas of expertise include: machine learning, adaptive pattern recognition, scalable and distributed ...

Greg Plaxton is a professor of Computer Science at the University of Texas at Austin. His research addresses the design and analysis of efficient algorithms for various basic computational problems, ...