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

The faculty as a whole have the responsibility to formulate a curriculum that will prepare you for a lifetime of work in the field of computing. Yes, some of what you learn will get you a job right ...

The UT Austin Villa team, led by Prof. Peter Stone at the University of Texas at Austin, competes in the Standard Platform League (SPL). UT Austin Villa won the international SPL championship at ...

E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare "Proof of Program ...

Automatic programming is the generation of programs by computer, usually based on specifications that are higher-level and easier for humans to specify than ordinary programming languages. Generation ...

This was a statement in my opening invited talk at the ACL 2014 Workshop on Semantic Parsing, the slides are available on this site. As I said at the talk, you can use your language model of informal ...

Copyright © 2011 by Gordon S. Novak Jr. Permission is granted for individuals to make copies of these notes for personal use, or for instructors to make copies for ...

This is a survey of the theory of logic programs with classical negation and negation as failure. The semantics of this class of programs is based on the notion of an answer set. The operation of ...

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

My primary research interest is in algorithm design and analysis, and my current research interests are in graph algorithms, parallel and distributed computing, and fine-grained complexity. Postscript ...

Welcome! This course strives to provide an ethical understanding within the framework of the computer science field. Given that computer science is now affecting many other fields as well as everyday ...