Students in the new, experimental AI Tools for Software Development course learn how to apply a software engineering mindset to make AI tools more reliable.

@inproceedings{chen2026eventpro, author = {Chen, Xuecheng and Xu, Jingao and Ding, Wenhua and Wang, Haoyang and Luo, Xinyu and Duan, Ruiyang and Chen, Jialong and Wang, Xueqian and Liu, Yunhao and ...

`Curiouser and curiouser!' cried Alice (she was so much surprised, that for the moment she quite forgot how to speak good English); `now I'm opening out like the largest telescope that ever was!

I’m beyond excited to be joining the Computer Science Department at Stanford University as an Assistant Professor starting Fall 2026! Until then, I will be a Visiting Researcher on Jane Street’s Ultra ...

I am an associate professor at Carnegie Mellon University, with joint appointments in the Machine Learning and Computer Science departments. My group's research is centered around the science of ...

There are many basic data structures that can be used to solve application problems. Array is a good static data structure that can be accessed randomly and is fairly easy to implement. Linked Lists ...

It was the White Rabbit, trotting slowly back again, and looking anxiously about as it went, as if it had lost something; and she heard it muttering to itself `The Duchess! The Duchess! Oh my dear ...

This course covers many of the concepts underlying the design, definition, implementation and use of modern programming languages. We emphasize formal techniques to study a variety of programming ...

I am interested in the performance analysis and design of computer systems, particularly distributed systems. I use analytical models to capture the important characteristics of a computer system, and ...

Farnam Jahanian was appointed the tenth president of Carnegie Mellon University by its Board of Trustees in March 2018. He was previously the university’s provost and later served as interim president ...

This document serves as an overview of the capabilities of Acme. It covers the basic language features and includes a few small examples. It is based on excerpts from the paper: Acme: An Architecture ...

Sample Complexity VC Dimension Based Bounds Mitchell: Ch 7 Notes on Generalization Guarantees Slides Mar 5 Model Selection, Regularization Slides Mar 7 Midterm Mar 12-16 No Class: Midsemester Break ...