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

A Hierarchical Neural Model of Data Prefetching Zhan Shi, Akanksha Jain, Kevin Swersky, Milad Hashemi, Partha Ranganathan, Calvin Lin ASPLOS, 2021 Combining Branch History and Value History For ...

Generative modeling: This is the case when π 1 is an empirically observed unknown distribution (of e.g., images), and π 0 an elementary distribution, such as the standard Gaussian distribution. We are ...

Programming as a discipline of mathematical nature by Edsger W. Dijkstra In this article I intend to present programming as a mathematical activity without undertaking the arduous task of supplying a ...

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

This paper presents recent work using the CHILL parser acquisition system to automate the construction of a natural-language interface for database queries. CHILL treats parser acquisition as the ...

Computer ethics as a field of study was founded by MIT professor Norbert Wiener during World War Two (early 1940s) while helping to develop an antiaircraft cannon capable of shooting down fast ...

Marijn J. H. Heule (2018). Schur Number Five. Proceedings of AAAI-18, pp. 6598-6606. [link, arXiv] Marijn J. H. Heule, Oliver Kullmann, and Armin Biere (2018). Cube and Conquer for Satisfiability.

Research: I am particularly interested in physical simulation, particularly of thin, elastic materials like cloth, hair, and paper, as they deform and collide; geometry processing and design, using ...

No. Both grades will remain on your transcript and both will be averaged into your GPA. Students in the College of Natural Sciences are not permitted to repeat a course for which they have already ...

Ambiguous Errors This is a list of error classes with ambiguos error messages. Here either the errors are have different causes and the message output is same or else ...

AI addresses the challenges of machine cognition, spanning the theoretical and empirical across diverse subfields such as machine learning, computer vision, NLP, and robotics.