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: Luis Lamb, Catholic Institute of Technology Abstract: Neurosymbolic AI brings together the statistical nature of machine learning with the formal reasoning capabilities of symbolic AI. It seeks to offer a […]
Presenter: Ranjit Jhala, UCSD Abstract: Rust has risen as a language of choice for new systems code — from OS kernels to hypervisors, firmware and run-times — as it is memory safe and provides the sort of abstractions needed for efficient low-level systems implementation. We present Flux, a refinement type checker for Rust that shows how […]
Organoids are three-dimensional tissue cultures that model real organs and serve as valuable tools for studying development, disease, and treatment response. Traditional methods, which rely on manual handling and incubators, limit consistency and real-time monitoring. To address these issues, we developed a modular microfluidic platform that integrates automated feeding, live fluorescence imaging, and environmental control […]
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 of potentially missing some (false negatives). Recent work has sought to place such tools on a more formal footing, primarily through the development of incorrectness […]
Presenter: Andrew Myers, Cornell University Abstract: Modern civilization depends on complex, interconnected software systems that must safeguard trustworthy or private data. We have ever-growing mountains of code yet lack principled ways to build large systems that are secure. What is missing is a way to securely build these systems compositionally: module by module and layer […]
Presenter: Dr. Truong Vu, IPAM and MSU Description: We present a framework for the gradient flow of sharp-interface surface energies that couple to embedded curvature active agents. We use a penalty method to develop families of locally incompressible gradient flows that couple interface stretching or compression to local flux of interfacial mass. We establish the […]