-
CS Tea: Garrett Morris presents “On extensibility”
Thurs., January 4, 2024 • 3:30pm – 4:30pm • Anderson 329
Dr. Garrett Morris from the University of Iowa will speak about his research on programming languages.
This talk will introduce my research on programming languages, exemplified by some recent results on modularity and extensible data types, as well as briefly describing my career and highlighting the opportunities of graduate study, generally and at the University of Iowa.
My research into programming languages and their type systems is guided by two overarching goals. On the one hand, types should precisely specify program behavior, allowing programmers to rule out classes of erroneous behavior. On the other, types should enable expressive tools, allowing programmers to build modular, re-usable software and software components. My work inhabits the intersection of these ideas, refining generic programming mechanisms both to better enforce intended program behavior and to support more expressive abstractions.
-
The Upper Midwest Water Science Center announces the availability of eight positions focusing on web development (CSS, HTML, JavaScript) or processing spatial datasets (Python). Most positions are intended to be…
-
Tanya Amert, assistant professor of computer science, presented her paper “Work-in-Progress: Impacts of Critical-Section Granularity When Accessing Shared Resources” and its corresponding poster at the 44th IEEE Real-Time Systems Symposium…
