Tag: Baskin Engineering
-
When Less is More: Applications of Type-Based Underapproximate Reasoning
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…
-
Torres, S. (ECE) – An Integrated Platform for Real-time Monitoring and Support of 3D Tissue Growth
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…
-
CSE Colloquium: A Journey from Programming Systems Research to AI Agents
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…
-
CSE Colloquium: Mitigating Data Scarcity via Simulation by Roozbeh Mottaghi
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…