Speaker: Koushik Sen, UC Berkeley and Google DeepMind Abstract: Coding has emerged as an important application area for large language models (LLMs), with a proliferation of code-specific models and their applications across various domains and tasks such as program repair, performance optimization, debugging, test generation, documentation, and security hardening. In this talk, I will describe […]
Presenter: Roozbeh Mottaghi, University of Washington Abstract: Data has revolutionized progress across AI fields like natural language processing and computer vision. Yet, in robotics, data collection remains a significant challenge: robots must interact with complex, dynamic environments, making the process slow, costly, and difficult to scale. In this talk, I will discuss how simulation is […]
Presenter: Suresh Jagganathan, Purdue University Abstract: Unlike program verifiers, symbolic execution and property-based testing tools underapproximate program behavior: they aim to report only real bugs (no false positives), at the cost […]
If you are interested in pursuing a career in science, technology, engineering, mathematics or research, then take advantage of this opportunity to meet recruiters from companies looking to fill various positions (both technical and non-technical). Learn more about internships and full-time career opportunities. Undergraduate students, graduate students, and recent alumni are all welcome to attend!