BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Events - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Events
X-ORIGINAL-URL:https://events.ucsc.edu
X-WR-CALDESC:Events for Events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20250309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20251102T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20260308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20261101T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20270314T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20271107T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20260609T103000
DTEND;TZID=America/Los_Angeles:20260609T130000
DTSTAMP:20260601T101123
CREATED:20260526T194326Z
LAST-MODIFIED:20260526T194445Z
UID:10014873-1781001000-1781010000@events.ucsc.edu
SUMMARY:Shen\, G. (CSE) - Library-Level Choreographic Programming
DESCRIPTION:Modern software increasingly relies on distributed systems to provide accessible\, scalable\,\nand reliable services. Choreographic programming brings a global perspective to distributed\nsystem development: programmers write a single program that describes the behavior of a\nwhole system\, and a compiler projects that global description into local programs run by each\nnode. By making distributed control flow explicit\, choreographic programming can rule out\nimportant classes of errors\, including deadlocks. This dissertation investigates library-level\nchoreographic programming\, an approach that embeds choreographic abstractions in existing\nhost languages rather than implementing them as standalone languages. The central claim\nis that the library approach can retain the safety and global reasoning principles of chore-\nographic programming while taking advantage of the host language’s features\, tools\, and\necosystem. First\, we present HasChor\, a first-of-its-kind library-level choreographic program-\nming language in Haskell\, built using freer monads. Next\, we generalize the design underlying\nHasChor to algebraic effects\, giving library-level implementations in Agda and OCaml. Fi-\nnally\, we present Parkour\, a backward-compatible extension to HasChor that adds a construct\nfor expressing parallel behavior in choreographies. Together\, these systems show that chore-\nographic programming can be implemented\, generalized\, and extended at the library level\,\nmaking global programming techniques available within practical host-language settings. \nEvent Host: Gan Shen\, Ph.D. Candidate\, Computer Science & Engineering  \nAdvisor: Lindsey Kuper  \nZoom: https://ucsc.zoom.us/j/93790633483?pwd=Jg8JlISsrwjLBaQIi1KdHk36bNMIv7.1 \nPasscode: 902041 \n 
URL:https://events.ucsc.edu/event/shen-g-cse-library-level-choreographic-programming/
LOCATION:Engineering 2\, Engineering 2 1156 High Street\, Santa Cruz\, CA\, 95064
CATEGORIES:Ph.D. Presentations
ATTACH;FMTTYPE=image/jpeg:https://events.ucsc.edu/wp-content/uploads/2026/04/ph.d.-presentation-graphic-option-1.jpg
GEO:37.0009723;-122.0632371
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Engineering 2 Engineering 2 1156 High Street Santa Cruz CA 95064;X-APPLE-RADIUS=500;X-TITLE=Engineering 2 1156 High Street:geo:-122.0632371,37.0009723
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20260609T120000
DTEND;TZID=America/Los_Angeles:20260609T130000
DTSTAMP:20260601T101123
CREATED:20260526T161617Z
LAST-MODIFIED:20260526T161617Z
UID:10014865-1781006400-1781010000@events.ucsc.edu
SUMMARY:Kim\, C. (CSE)- Toward Adaptive Graph Processing and Fault-Tolerant Agentic Inference on Heterogeneous Distributed Systems
DESCRIPTION:Edge computing and distributed AI systems increasingly operate under heterogeneous resources\, dynamic workloads\, and frequent failures\, requiring both adaptivity and fault tolerance for efficient execution. In heterogeneous edge clusters\, nodes differ significantly in CPU throughput\, memory capacity\, and network bandwidth\, while modern distributed GPU clusters supporting agentic LLM inference must recover large amounts of runtime state under routine failures. This dissertation addresses these challenges through two systems: Zsiga\, an adaptive distributed graph processing system for heterogeneous edge clusters\, and Forte\, a fault-tolerant KV cache recovery system for distributed agentic LLM inference. \nZsiga improves connected component computation through capacity-aware graph partitioning and runtime-adaptive boundary migration\, reducing execution time by up to 90.9% while eliminating out-of-memory failures under heterogeneous resource constraints. Forte addresses KV cache recovery for long-running agentic inference workloads\, where failures can erase accumulated reasoning trajectories and tool interaction histories. Forte exploits the observation that not all KV blocks are equally critical\, introducing criticality-aware erasure coding\, domain-diverse placement\, and prioritized foreground recovery to enable efficient recovery under correlated failures. Experimental results show that Forte is the only evaluated scheme that successfully resumes execution under correlated domain failures\, reducing foreground stall by 89.7% and end-to-end recovery latency by 50.6–58.9% at 2.0$\times$ memory overhead. Together\, these systems demonstrate how adaptivity and fault tolerance can improve the efficiency and resilience of distributed systems in heterogeneous and failure-prone environments. \nEvent Host: Chaeeun Kim\, Ph.D. Student\, Computer Science & Engineering \nAdvisor: Chen Qian & Liting Hu \nZoom: https://ucsc.zoom.us/j/9863615188?pwd=kTka0aZXJ070tor1EKvrt3X6AveBRp.1 \nPasscode:  cG5SL8 \n  \n 
URL:https://events.ucsc.edu/event/kim-c-cse-toward-adaptive-graph-processing-and-fault-tolerant-agentic-inference-on-heterogeneous-distributed-systems/
LOCATION:Engineering 2\, Engineering 2 1156 High Street\, Santa Cruz\, CA\, 95064
CATEGORIES:Ph.D. Presentations
ATTACH;FMTTYPE=image/png:https://events.ucsc.edu/wp-content/uploads/2026/04/ph.d.-presentation-graphic-option-3.png
GEO:37.0009723;-122.0632371
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Engineering 2 Engineering 2 1156 High Street Santa Cruz CA 95064;X-APPLE-RADIUS=500;X-TITLE=Engineering 2 1156 High Street:geo:-122.0632371,37.0009723
END:VEVENT
END:VCALENDAR