Home

Calendar

Filter

Search
FEATURED EVENTS
FILTER EVENTS Clear all filters
FILTER RESULTS
Feb 14, 2025

Feb 14, 2025

3:30 PM - 4:30 PM

Save to My Events

Speaker McKenna McCall Abstract Formal methods research involves using mathematical techniques to specify and verify properties of software and hardware systems. In security and privacy research, formal methods can lead to strong, provable security guarantees—and typically leave questions about how humans might interact with these systems unanswered. Indeed, formal methods and usable security are traditionally distinct areas of research. In this talk, I will demonstrate how techniques fro...

Feb 22, 2025

Feb 22, 2025

10:00 AM - 7:00 PM

Save to My Events

"The UICC is hosted by the students and for the students to promote computing as a science and a profession." Date: Feb. 22 Check out past conferences! [ 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024] ACM@UIowa welcomes students, faculty, and all members of the community to our annual UIowa Computing Conference! The theme for UICC 2025 is "Finance and Technology." On Feb. 22, join us at the AJB and the Main Library SHAM auditorium for a deep exploration of how computer science and ...

Feb 24, 2025

Feb 24, 2025

3:30 PM - 4:30 PM

Save to My Events

Speaker Tarikul Islam Papon Abstract Data-intensive applications stress the memory hierarchy with unnecessary data movement and the need to integrate new storage technologies. My research addresses these challenges through two main approaches: unlocking the potential of modern storage devices via faithful modeling and minimizing data movement through hardware specialization. Solid-state drives (SSDs), now dominant in secondary storage, exhibit read/write asymmetry and access concurrency....

Feb 26, 2025

Feb 26, 2025

3:30 PM - 4:30 PM

Save to My Events

Speaker Yi Liu Abstract Cloud computing has revolutionized how we manage and process data, yet traditional database architectures struggle to fully leverage the benefits of cloud infrastructure. This talk explores the design and optimization of disaggregated database systems, where computational and storage resources are separated into distinct pools and interconnected via high-speed networks to maximize resource utilization and scalability. This talk will discuss two key approaches for b...

Mar 5, 2025

Mar 5, 2025

3:30 PM - 4:30 PM

Save to My Events

Speaker Zhiyuan Yu Abstract Cyber-physical systems (CPS), powered by emerging artificial intelligence (AI) technologies, have become integral to various critical domains such as the Internet of Things (IoTs), medical devices, and autonomous vehicles. A unique aspect of these systems lies in their interactions with the physical world, by perceiving environments through heterogeneous modalities (perception), processing digital data with intelligence algorithms (computing), and autonomously ...

Mar 13, 2025

Mar 13, 2025

3:30 PM - 4:30 PM

Save to My Events

On the occasion of our 60th anniversary, the Department of Computer Science at Iowa cordially invites you to attend our 3rd Annual Founders Day Celebration. This event will be held Thursday, March 13, from 3:30 to 4:30 p.m. in 2520D UCC (On 2nd floor of Old Capitol Mall). Please join us for ice cream sundaes as we celebrate the achievements of the extraordinary students and faculty in our department! RSVP by Monday, March 10.