Please note: time slots are allocated first-come, first-serve. If you have an urgent deadline, and you feel another already-allocated talk should be bumped to make room for yours, please talk to a systems faculty member to get approval. Rearranging the schedule can be disruptive and complicated, so I will only bump a scheduled talk by faculty request. If you anticipate a critical deadline (e.g., a conference or job talk that will need practice), please try to schedule in advance, so you don't risk missing out. Thanks!
Last updated: Jan. 25, 2024
Dashed lines with a blank "Date" column indicate multiple talks sharing the same time slot.
Slides and papers posted/linked below are copyright the respective author(s) with all rights reserved, unless otherwise noted. Please contact the author(s) for permission before redistributing, re-presenting or creating derivative works from them, unless a permissive license is declared on the document itself which permits otherwise. (Published academic papers are typically licensed permissively for personal and classroom use.)
Date ▼ | Speaker | _spacer_ Topic _spacer_ |
---|---|---|
Feb. 9 2023 & future dates |
To be updated _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ | |
Feb. 2, 2024 | February Group Roundtable | |
Jan. 26, 2024 |
Benjamin Valpey (Ph.D. Student, URCS) |
"Static Verification of CUDA's Warp Communication Instructions via Warp-Wide Symbolic Execution" |
Date ▼ | Speaker | Topic |
---|---|---|
Jan. 19, 2024 |
Dr. Jie Zhou (Postdoctoral Researcher, URCS) |
Faculty job talk practice (In person) |
Jan. 12, 2024 |
Rongcui Dong (Ph.D. Student, URCS) |
"Identifying Redundant Interactions between Cache Coherence Protocols and Synchronization Algorithms" |
Jan. 5, 2024 | January Group Roundtable | |
Dec. 15, 2023 |
Dr. Jie Zhou (Postdoctoral Researcher, URCS) |
Faculty job talk practice |
Dec. 8, 2023 |
No seminars held | |
Dec. 1, 2023 |
December Group Roundtable | |
Nov. 24, 2023 Nov. 17, 2023 Nov. 10, 2023 |
No seminars held | |
Nov. 3, 2023 |
November Group Roundtable | |
Oct. 27, 2023 Oct. 20, 2023 Oct. 13, 2023 |
No seminars held | |
Oct. 6, 2023 |
October Group Roundtable | |
Sept. 29, 2023 |
No seminars held | |
Sept. 22, 2023 |
Jiwon Chang, Ethan Chen (Ph.D. Students, URCS) |
"ColorLang - type checking and optimizing color science programs" |
Sept. 15, 2023 Sept. 8, 2023 |
No seminars held | |
Sept. 1, 2023 |
Jie Zhou (Postdoctoral Researcher, URCS) |
Practice talk for OOPLSA 2024: "Fat Pointers for Temporal Memory Safety of C" |
Aug. 18, 2023 |
Nisarg Ujjainkar (Ph.D. Student, URCS) |
"PDL: A High-Level Hardware Design Language for Pipelined Processors" |
Aug. 11, 2023 |
Available _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ | |
Aug. 4, 2023 |
Dylan McKellips (Undergraduate, REU Student, URCS) |
"20-minutes crash course on the basics of quantum computing" |
Jul. 28, 2023 |
Nisarg Ujjainkar (Ph.D. Student, URCS) |
Rescheduled "Cache-tries: concurrent lock-free hash tries with constant-time operations" |
Jul. 21, 2023 |
Yifan ZHU (Ph.D. Student, URCS) |
"Introduction to regular expression derivatives" [slides (PDF)] |
Jul. 14, 2023 |
Benjamin Valpey (Ph.D. Student, URCS) |
"Specifying the numerical behavior of NVIDIA's Volta Tensor cores using SMT" |
Jul. 7, 2023 |
Ding Chen (Prof., URCS) Michael Scott (Prof., URCS) Yifan Zhu (Ph.D. Student, URCS) |
FCRC 2023 trip report |
Jun. 30, 2023 Jun. 23, 2023 Jun. 16, 2023 Jun. 9, 2023 Jun. 2, 2023 May. 26, 2023 May. 19, 2023 May. 12, 2023 |
No seminars held | |
May. 5, 2023 |
Sreepathi Pai (Asst. Prof., URCS) |
"An Exercise in Program Synthesis for String Transformations" |
Apr. 28, 2023 |
Toranosuke Ozawa (Undergraduate, URCS) |
"A Survey on Type Theory and Logic" |
Apr. 21, 2023 |
Yanji Gao (Undergraduate, URCS) |
"Exploring the Behaviors of Warp Divergence on the Volta Architecture" |
Apr. 14, 2023 | No seminars held | |
Mar. 31, 2023 |
Pranay Mundra (Ph.D. Student, URCS) |
"Top-K Semantic Overlap Set Search" (Practice presentation for ICDE 2023) |
Mar. 24, 2023 |
John Criswell (Assoc. Prof., URCS) |
"Containing Computation Before Containers: The Argus PitBull Retrospective." |
Mar. 17, 2023 |
Visiting Day (Ph.D. Admission) | |
Mar. 10, 2023 |
Chen Ding (Prof., URCS) Michael L. Scott (Prof., URCS) Fangzhou Liu In thise (PhD student, URCS) Abhishek Tyagi (PhD student, URCS) Mingzhe Du (PhD student, URCS) Sudhanshu Gupta (PhD student, URCS) |
Trip Report on Applied Machine Learning in Compiler Optimization & Quantum Computation |
Mar. 3, 2023 Feb. 24, 2023 Feb. 17, 2023 Feb. 10, 2023 Feb. 3, 2023 Jan. 26, 2023 Jan. 20, 2023 Jan. 13, 2023 |
No seminars held | |
Jan. 6, 2023 Dec. 30, 2022 Dec. 23, 2022 |
No seminars held (Winter Break) | |
Dec. 16, 2022 | No seminar due to time overlap with Jie Zhou's PhD thesis defense | |
Dec. 9, 2022 |
Pranay Mundra (PhD student, 2nd year, URCS) |
"KOIOS: Top-k Semantic Overlap Search Set" (submitted to ICDE '23) |
Dec. 2, 2022 | No seminar held | |
Nov. 25, 2022 | No seminar this week due to Thanksgiving holiday | |
Nov. 18, 2022 |
Zhuojia Shen (PhD student, 7th year, URCS) |
"Randezvous: Making Randomization Effective on MCUs" (ACSAC '22 practice talk) |
Nov. 11, 2022 | Chen Ding (Prof., URCS) | Coq, Type Theory, Constructive Logic, and Curry-Howard Correspondence (a "trailer" for CSC 579) |
Nov. 4, 2022 |
Benjamin Valpey (PhD student, 4th year, URCS) |
"Equivalence Checking of GPU Binaries" (PhD thesis proposal practice talk) |
Oct. 28, 2022 |
Ethan Johnson (PhD student, 8th year, URCS) |
Practice talk for teaching faculty job interview |
Oct. 21, 2022 |
Mingzhe Du (PhD student, 4th year, URCS) |
"How to Build an Efficient Persistent B+ Tree" |
Oct. 14, 2022 |
Jie Zhou (PhD student, 6th year, URCS) |
"Isolating Unsafe Memory in Rust with Fast Summary-Based Whole-Program Analysis" (practice talk for NJPLS) |
Oct. 7, 2022 Sept. 30, 2022 Sept. 23, 2022 Sept. 16, 2022 Sept. 9, 2022 |
No seminars held | |
Sept. 2, 2021 | Systems students and faculty | General updates on recent and ongoing work within the group |
Aug. 26, 2022 Aug. 19, 2022 |
No seminars held | |
Aug. 12, 2022 | Pavlo Pastaryev (Undergraduate researcher, URCS) | "r3malloc: A Parallel Non-Blocking Memory Allocator in Rust" |
Adam Bobok (Undergraduate researcher, URCS) | ICS '22 trip report - part 2 | |
Aug. 5, 2022 | No seminar held | |
Jul. 29, 2022 | Ethan Ferland, Tora Ozawa, and Oliver (Boyang) Wang (Undergraduate researchers, URCS) | ICS '22 trip report - part 1 |
Jul. 22, 2022 |
Komail Dharsee (PhD student, 7th year, URCS) |
"The Practical Skills YOU NEED to Tamper with Binaries and Hijack Control Flow" |
Jul. 15, 2022 | Michael Scott (Prof., URCS) |
"How Should We Think about Persistent Data Structures?" (PODC '22 keynote practice talk) |
Jul. 8, 2022 |
Wentao Cai (PhD student, 6th year, URCS) |
"Fast Nonblocking Data Structures on Persistent Memory” (job talk practice for Google Systems Research Group) |
Jul. 1, 2022 | No seminar this week due to Jul. 4 holiday | |
Jun. 24, 2022 | No seminar to avoid conflict with Sandhya Dwarkadas's farewell party | |
Jun. 17, 2022 |
Ethan Johnson (PhD student, 8th year, URCS) |
"Hardening Hypervisors with Ombro" (ATC '22 practice talk) |
Jun. 10, 2022 |
Anshujit Sharma (PhD student, UR ECE) |
"Increasing Ising Machine Capacity with Multi-Chip Architectures" (ISCA '22 practice talk) |
Jun. 3, 2022 | No seminar held | |
May. 27, 2022 |
Rongcui Dong (PhD student, 2nd year, URCS) |
"Performance Characterization and Optimization of NFA on XS2 Embedded Controller" |
May. 20, 2022 | Justin Fargnoli (Undergraduate researcher, URCS) | "Implementing the Calculus of Inductive Constructions (CoIC)" (continued) |
May. 13, 2022 | No seminar this week due to commencement | |
May. 6, 2022 | Chen Ding (Prof., URCS) | "Cache-Coherent CLAM" (to appear at LCTES '22) |
Apr. 29, 2022 | Yudi Yang (Undergraduate researcher, URCS) |
"Extending Checked C with Invariant Expressions" (UG honors thesis defense) |
Apr. 22, 2022 | Justin Fargnoli (Undergraduate researcher, URCS) | "Implementing the Calculus of Inductive Constructions (CoIC)" |
Apr. 15, 2022 | John Criswell (Assoc. Prof., URCS) | "And Now for Something Completely Different" |
Apr. 8, 2022 | Chen Ding (Prof., URCS) |
"CARL: Compiler Assigned Reference Leasing" (published in ACM TACO March '22) |
Wes Smith (PhD student, 3rd year, URCS) |
"Beyond Time Complexity: Data Movement Complexity Analysis for Matrix Multiplication" (presented at PMHO '22) | |
Apr. 1, 2022 | No seminar to avoid conflict with Eileen Pullara's retirement party | |
Mar. 25, 2022 | Yuhao Zhu (Asst. Prof., URCS) | "Accelerating Neighbor Search Using Hardware Ray Tracing" |
Mar. 18, 2022 |
Isaac Richter (PhD student, UR ECE) |
"Using RISC-V Debug Registers to Implement Secure Return Addresses" |
Mar. 11, 2022 | No seminar held | |
Mar. 4, 2022 | Reserved for PhD recruiting visit weekend | |
Feb. 25, 2022 |
Ethan Johnson (PhD student, 7th year, URCS) |
"Securing and Accelerating Hypervisors with Lightweight Compiler-Based Enforcement" |
Feb. 18, 2022 | No seminar held | |
Feb. 11, 2022 |
Sudhanshu Gupta and Shuang Zhai (PhD students, 3rd year, URCS) |
"AutoTM: Automatic Tensor Movement in Heterogeneous Memory Systems
Using Integer Linear Programming" (ASPLOS '20 paper by Hildebrand et al.) |
Feb. 4, 2022 | Pavlo Pastaryev (Undergraduate researcher, URCS) | "Loop Parallelization on Deterministic Processors" |
Jan. 28, 2022 Jan. 21, 2022 |
No seminars held | |
Jan. 14, 2022 | No seminar held (faculty Plenary Advising Session all day) | |
Jan. 7, 2022 Dec. 31, 2021 Dec. 24, 2021 Dec. 17, 2021 Dec. 10, 2021 |
No seminars held (winter break) | |
Dec. 3, 2021 | No seminar to avoid conflict with Galen Hunt visit | |
Nov. 26, 2021 | No seminar this week due to Thanksgiving holiday | |
Nov. 19, 2021 | Systems students and faculty | General updates on recent and ongoing work within the group |
Nov. 12, 2021 |
Wes Smith (PhD student, 3rd year, URCS) |
"Portable and Ordinal Memory Complexity Analyses through Data Movement Distance" |
Nov. 5, 2021 |
Fangzhou Liu (PhD student, 5th year, URCS) |
"PLUSS: Parallel Locality Analysis using Static Sampling" (recap of CnC '21 talk) |
Oct. 29, 2021 Oct. 22, 2021 |
No seminars held | |
Oct. 15, 2021 |
Haosen Wen (PhD student, 6th year, URCS) |
"Improving I/O on Fast, Byte-Addressable NVM" [slides (PDF)] [slides (PowerPoint)] |
Oct. 8, 2021 |
Shuang Zhai (PhD student, 3rd year, URCS) |
"Multi-Generational LRU" |
Oct. 1, 2021 |
Wentao Cai (PhD student, 5th year, URCS) |
"Fast Nonblocking Persistence for Concurrent Data Structures" (DISC '21 practice talk) |
Sept. 24, 2021 |
Spyridoula Gravani (PhD student, 8th year, URCS) |
"Fast Intra-Kernel Isolation and Security with IskiOS" (RAID '21 practice talk) |
Sept. 17, 2021 |
Tanvir Ahmed Khan (PhD student, 5th year, University of Michigan) |
"Rescuing Data Center Processors" |
Sept. 10, 2021 Sept. 3, 2021 Aug. 27, 2021 Aug. 20, 2021 |
No seminars held | |
Aug. 13, 2021 | Jonathan Waxman (Undergraduate researcher, URCS) | "PAUL: Past Access Uniform Leasing" |
Aug. 6, 2021 Jul. 30, 2021 |
No seminars held | |
Jul. 23, 2021 |
Haosen Wen (PhD student, 6th year, URCS) |
"A Fast, General System for Buffered Persistent Data Structures" (ICPP '21 practice talk) |
Jul. 16, 2021 Jul. 9, 2021 |
No seminars held | |
Jul. 2, 2021 | No seminar this week due to Jul. 4 holiday | |
Jun. 25, 2021 | Joshua Sobel and Noah Bertram (Undergraduate researchers, URCS) | AWLCO: All Window Length Co-Occurrence |
Jun. 18, 2021 Jun. 11, 2021 Jun. 4, 2021 May. 28, 2021 May. 21, 2021 May. 14, 2021 |
No seminars held | |
May. 7, 2021 | Shoham Shitrit and Duong Phan (Undergraduate researchers, URCS) | "Using Stratified Sampling to Generate Better Tests" |
Apr. 30, 2021 |
Fatemeh Nargesian (Asst. Prof., URCS) |
"Tailoring Data Source Distributions for Fairness-Aware Data Integration" |
Apr. 23, 2021 |
Spyridoula Gravani (PhD student, 7th year, URCS) |
ASPLOS '21 conference report |
Apr. 16, 2021 |
Jie Zhou (PhD student, 4th year, URCS) |
A Discussion of Measurement Bias in Systems Evaluations |
Apr. 9, 2021 |
Fangzhou Liu (PhD student, 4th year, URCS) |
"When AI Meets the Cache": Applications of Deep Learning in Cache Management |
Apr. 2, 2021 |
Wentao Cai,
Fangzhou Liu (PhD students, 4th year, URCS); Shuang Zhai (PhD student, 2nd year, URCS); and Michael Scott (Prof., URCS) |
Conference reports (NVMW/PPoPP/CGO), continued |
Mar. 26, 2021 |
Haosen Wen,
Wentao Cai (PhD students, 5th and 4th year, URCS) and Michael Scott (Prof., URCS) |
Conference report: NVMW '21 and PPoPP '21 |
Mar. 19, 2021 |
Yuhao Zhuo
(Asst. Prof., URCS) and
Michael Scott
(Prof., URCS) ...and possibly others |
"Wild and Crazy Ideas" session |
Mar. 12, 2021 | Chen Ding (Prof., URCS) | "Data Movement Distance: An Asymptotic and Algorithmic Measure of Memory Cost" |
Mar. 5, 2021 | Systems faculty |
Research summaries for visiting students (visit weekend for '21-22 PhD student applicants) |
Feb. 26, 2021 |
Ruohuang Zheng (MS alumnus (2020), URCS) |
"Efficient Execution of Graph Algorithms on CPU with SIMD Extensions" (preview of upcoming CGO '21 talk) |
Feb. 19, 2021 |
No seminar to avoid conflict with GIDS talk "SLIDE: Commodity Hardware Is All You Need for Large-Scale Deep Learning" |
|
Feb. 12, 2021 |
Richard Afoakwa (PhD student, UR ECE) |
"BRIM: Bistable Resistively-Coupled Ising Machine" |
Feb. 5, 2021 | Systems students and faculty | General updates on recent and ongoing work within the group |
Jan. 29, 2021 Jan. 22, 2021 |
No seminars held | |
Jan. 15, 2021 | No seminar held (faculty Plenary Advising Session all day) | |
Jan. 8, 2021 Jan. 1, 2021 Dec. 25, 2020 |
No seminars held (winter break) | |
Dec. 18, 2020 |
Benjamin Valpey (PhD student, 2nd year, URCS) |
"Semantic Discovery of the SASS Instruction Set" |
Dec. 11, 2020 | Sreepathi Pai (Asst. Prof., URCS) | "The Plumbing of the ROCetta Project: An Engineering and Design Experience Report" |
Dec. 4, 2020 | Benjamin Carleton (Undergraduate researcher, URCS) | "Bit-Accurate Modeling of PTX Elementary Math Functions" |
Nov. 27, 2020 | No seminar this week due to Thanksgiving holiday | |
Nov. 20, 2020 Nov. 13, 2020 |
No seminars held | |
Nov. 6, 2020 |
Divya Ojha (PhD student, 4th year, URCS) |
"Defending Against Microarchitectural Side Channel Leaks" (PhD thesis proposal) |
Oct. 30, 2020 |
Fangzhou Liu (PhD student, 4th year, URCS) |
"The Tournament of Four Page Migration Policies on the Heterogeneous Memory System" (internship project report) |
Oct. 23, 2020 |
Komail Dharsee (PhD student, 5th year, URCS) |
"Identifying Security-Critical Hardware Based on ISA-Based Security Policies Via Semantic Slicing" (research in progress) |
Oct. 16, 2020 | No seminar held | |
Oct. 9, 2020 Oct. 2, 2020 |
Systems students and faculty | General updates on recent and ongoing work within the group |
Sept. 25, 2020 | Haosen Wen and Wentao Cai (PhD students, 5th and 4th year, URCS) | DISC '20 practice talk (both) and internship report (Wentao) |
Sept. 18, 2020 Sept. 11, 2020 |
No seminars held | |
Sept. 4, 2020 |
Zhuojia (Chaos) Shen (PhD student, 5th year, URCS) |
"PicoXOM: Fast Execute-Only Memory for Embedded Systems" (SecDev '20 practice talk) |
Aug. 28, 2020 Aug. 21, 2020 Aug. 14, 2020 Aug. 7, 2020 |
No seminars held | |
Jul. 31, 2020 |
Shuang Zhai (PhD student, 2nd year, URCS) |
USENIX ATC '20 trip report |
Jul. 24, 2020 | No seminar held | |
Jul. 17, 2020 |
Jie Zhou (PhD student, 4th year, URCS) |
"Silhouette: Efficient Protected Shadow Stacks for Embedded Systems" (USENIX Security '20 practice talk) [slides] [conference video and paper] |
Jul. 10, 2020 | Chen Ding and Michael Scott (Profs., URCS); Wes Smith (PhD student, 2nd year, URCS); and Katherine Seeman (REU student) | ISMM/PLDI/PDBS '20 trip reports |
Jul. 3, 2020 | No seminar this week due to Jul. 4 holiday | |
Jun. 26, 2020 |
Ben Reber (PhD student, 2nd year, URCS) |
"CLAM and PRL: Implementing a Hardware Lease Cache and Optimizing the Existing Lease Assignment Algorithm for Fixed Size Cache" (paper submitted to MEMSYS '20) |
Jun. 19, 2020 | No seminar held | |
Jun. 12, 2020 |
Wes Smith and Sudhanshu Gupta (PhD students, 2nd year, URCS) |
"CLUsivity: Managing Hybrid Key-Value Caches with Model-Guided Partitioning" (paper submitted to OSDI '20) |
Jun. 5, 2020 |
Sudhanshu Gupta (PhD student, 2nd year, URCS) |
ISCA '20 trip report |
May. 29, 2020 | Alan Beadle and Haosen Wen (PhD students, 4th year, URCS) | "Key-Value Stores through the Lens of Shared Memory" [slides] |
May. 22, 2020 May. 15, 2020 May. 8, 2020 |
No seminars held | |
May. 1, 2020 |
Isaac Richter (PhD student, UR ECE) |
"Memory Management and Object Allocation in the FreeBSD Kernel" [slides] |
Apr. 24, 2020 |
Spyridoula Gravani (PhD student, 6th year, URCS) |
"PKU-Based User/Kernel Isolation and Intra-Kernel Compartmentalization" |
Apr. 17, 2020 |
Yufei (Edward) Du (MS student, URCS) |
"Protecting Applications on Real-Time Embedded Systems from Control-Flow Hijacking with Kage" |
Apr. 10, 2020 | No seminar held | |
Apr. 3, 2020 | Junhan Duan (Undergraduate researcher, URCS) | "Modifying the FreeBSD Kernel with Checked C" |
Mar. 27, 2020 Mar. 20, 2020 Mar. 13, 2020 Mar. 6, 2020 |
No seminars held | |
Feb. 28, 2020 | Systems faculty |
Research summaries for visiting students (visit weekend for '20-21 PhD student applicants) |
Feb. 21, 2020 |
Divya Ojha (PhD student, 3rd year, URCS) |
"Timestamp-Based Defense Against Cache Side Channels" |
Feb. 14, 2020 | No seminar held | |
Feb. 7, 2020 |
Wentao Cai (PhD student, 3rd year, URCS) and Michael Scott (Prof., URCS) |
"Understanding and Optimizing Persistent Memory Allocation" and "Durable Data Structures" |
Jan. 31, 2020 |
Fangzhou Liu (PhD student, 3rd year, URCS) |
"PLUM: Static Parallel Program Locality Analysis under Uniform Multiplexing" (PPoPP '20 practice talk) |
Jan. 24, 2020 | No seminar held | |
Jan. 17, 2020 | No seminar held (faculty Plenary Advising Session all day) | |
Jan. 10, 2020 Jan. 3, 2020 Dec. 27, 2019 Dec. 20, 2019 |
No seminars held (winter break) | |
Dec. 13, 2019 | Matthew Boddewyn (Under-graduate researcher, URCS) | Independent study work with Prof. Sreepathi Pai |
Dec. 6, 2019 | Avi Saven (Undergraduate researcher, URCS) | Independent study work with Prof. Sreepathi Pai |
Nov. 29, 2019 | No seminar this week due to Thanksgiving holiday | |
Nov. 22, 2019 | No seminar due to CSUG grad school research forum | |
Nov. 15, 2019 |
Ruiqin Tian (Visiting PhD student, College of William and Mary) |
"Analyzing Memory Accesses in x86 Executables" (ICCC '04 paper by Balakrishnan and Reps) |
Nov. 8, 2019 | No seminar held | |
Nov. 1, 2019 | Michael Scott (Prof., URCS) | Introduction to Non-Blocking Concurrent Data Structures |
Oct. 25, 2019 | Chen Ding (Prof., URCS) | "Compiler Leasing of Cache Memory on Commodity Processors and on Accelerators" (work presented at MLIR and LCPC '19) |
Oct. 18, 2019 |
Jie Zhou (PhD student, 3rd year, URCS) |
"Enhancing Checked C with Temporal Memory Safety" [slides] [project homepage] [related foundational paper] |
Oct. 11, 2019 | No seminar held | |
Oct. 4, 2019 | No seminar due to Meliora Weekend and inauguration festivities for the new University president | |
Sept. 27, 2019 | Tiancheng Xu (MS student, 2nd year, URCS) and Boyuan Tian (MS alumnus (2019), URCS) | MICRO '19 practice talk |
Sept. 20, 2019 |
Yu Feng (PhD student, 2nd year, URCS) |
"ASV: Accelerated Stereo Vision System" (MICRO '19 practice talk) |
Shuang Zhai (PhD student, 1st year, URCS) |
"KVell: The Design and Implementation of a Fast Persistent Key-Value Store" (SOSP '19 paper by Lepers et al.) | |
Sept. 13, 2019 | Systems faculty | Introductions of systems research for new students |
Sept. 6, 2019 | No seminar held | |
Aug. 30, 2019 |
Jie Zhou (PhD student, 3rd year, URCS) |
"Silhouette: Efficient Address-Space Isolation for Protected Shadow Stacks on Embedded Systems" (GLSD '19 practice talk) |
Ethan Johnson (PhD student, 5th year, URCS) |
"Secure Guest Virtual Machine Support in Apparition" (GLSD '19 practice talk) | |
Aug. 23, 2019 | No seminar this week due to faculty retreat | |
Aug. 16, 2019 | No seminar held | |
Aug. 9, 2019 |
Edward Danso Ansong (Lecturer, Dept. of CS, KNUST) |
"The Design and Implementation of Convoluted OS Kernel Architecture (CKA)" |
Aug. 2, 2019 | No seminar held | |
Jul. 26, 2019 |
Yufei (Edward) Du (MS student, URCS) |
"Efficient Intra-Address Space Isolation for Embedded Systems" |
Jul. 19, 2019 | Lele Ma (Visiting PhD student, College of William and Mary) | "CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-Time Environment" [expanded TR version] |
Jul. 12, 2019 | No seminar held | |
Jul. 5, 2019 | No seminar this week due to Jul. 4 holiday | |
Jun. 28, 2019 |
Mohammad Hedayati (PhD student, 6th year, URCS) |
"Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries" (Usenix ATC '19 practice talk) |
Jun. 21, 2019 | John Criswell (Assoc. Prof., URCS) | "PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use" (DSN '19 practice talk) |
Jun. 14, 2019 | Qiuyue Sun (Undergraduate researcher, URCS) |
"Energy-Efficient Video Processing for Virtual Reality" (ISCA '19 practice talk) |
Jun. 7, 2019 |
Isaac Richter (PhD student, UR ECE) |
"BOGO: Buy Spatial Memory Safety, Get Temporal Memory Safety (Almost) Free" (ASPLOS '19 paper by Zhang et al.) |
May. 31, 2019 May. 24, 2019 |
No seminars held | |
May. 17, 2019 | No seminar held (faculty Plenary Advising Session all day) | |
May. 10, 2019 |
Yu Feng (PhD student, 1st year, URCS) |
ISCA '19 practice talk |
May. 3, 2019 |
Lusine Keshishyan and Youssef Hussein (Undergraduate researchers, URCS) |
Independent study work with Prof. Sreepathi Pai |
Apr. 26, 2019 |
Spyridoula Gravani (PhD student, 5th year, URCS) |
"Operating System Support for Lightweight Defense Against Code-Reuse Attacks" (PhD thesis proposal) |
Apr. 19, 2019 |
Haosen (Hensen) Wen (PhD student, 3rd year, URCS) |
"Persistent Object-Based M-CAS" |
Apr. 12, 2019 | Selcuk Kose (Assoc. Prof., UR ECE) |
"POWERT Channels: A Novel Class of Covert Communication Exploiting
Power Management Vulnerabilities" (work presented at HPCA '19) |
Apr. 5, 2019 |
Zhuojia (Chaos) Shen (PhD student, 3rd year, URCS) |
"Restricting Control Flow During Speculative Execution with
Venkman"
[slides (PDF, no animations)] [slides (ODP/LibreOffice Impress)] |
Mar. 29, 2019 |
Ethan Johnson (PhD student, 4th year, URCS) |
"Secure Guest Virtual Machine Support in Apparition" (to be presented at VEE '19) [slides (PDF, no animations)] [slides (PowerPoint)] (slides are final version from conference) |
Mar. 22, 2019 |
Pengcheng Li (PhD alumnus (2017), URCS) |
"Beating OPT with Statistical Clairvoyance and Variable Size Caching" (to be presented at ASPLOS '19) |
Mar. 15, 2019 | Sayak Chakraborti (PhD student, 3rd year, URCS), Michael Scott, and Chen Ding (Profs., URCS) | PPoPP/HPCA/CGO/CC '19 trip report [slides] |
Mar. 8, 2019 |
Divya Ojha (PhD student, 2nd year, URCS) |
"CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests" (MICRO '18 paper by Trippel et al.) |
Mar. 1, 2019 |
Tianran Hu (PhD student, 6th year, URCS) |
"Decoding Human Behavior from Social Media" |
Feb. 22, 2019 | Systems faculty |
Research summaries for visiting students (visit weekend for '19-20 PhD student applicants) |
Feb. 15, 2019 |
Louis Jenkins (PhD student, 1st year, URCS) |
Introduction to Intel's Persistent Memory Development Kit |
Feb. 8, 2019 | Chen Ding (Prof., URCS) | Introduction to writing executable (machine-checked) proofs with the Coq system |
Feb. 1, 2019 Jan. 25, 2019 |
No seminars held | |
Jan. 18, 2018 | No seminar held (faculty Plenary Advising Session all day) | |
Jan. 11, 2019
Jan. 4, 2019 Dec. 28, 2018 Dec. 21, 2018 |
No seminars held (winter break) | |
Dec. 14, 2018 Dec. 7, 2018 |
No seminars held | |
Nov. 30, 2018 |
Louis Jenkins (PhD student, 1st year, URCS) |
"The
Chapel Aggregation Library (CAL)" (talk given at PAW-ATM '18) [slides] |
Nov. 23, 2018 | No seminar this week due to Thanksgiving holiday | |
Nov. 16, 2018 |
Onur Kayiran
(AMD) |
"Design and Analysis of Large-Scale GPU Architectures" [More information] |
Nov. 9, 2018 |
Isaac Richter (PhD student, UR ECE) |
SecDev '18 trip report [slides] |
Nov. 2, 2018 |
Sonia Lopez Alarcon (Assoc. Prof., RIT ECE) |
"Scheduling Heuristics on Heterogeneous Systems" |
Oct. 26, 2018 | Lucinda Liu and Daniel Busaba (Undergraduate researchers, URCS) |
"All Timescale Window Co-occurrence" (CASCON '18 practice talk) |
Michael Scott (Prof., URCS) | "iDO: Compiler-Directed Failure Atomicity for Nonvolatile Memory" (CDP '18 practice talk) [slides] | |
Oct. 19, 2018 | Xiaowan Dong (PhD student, 7th year, URCS) | Practice talk for technical interview presentation at Intel |
Oct. 12, 2018 | Chen Ding (Prof., URCS) | LCPC '18 trip report | Oct. 5, 2018 | No seminar held (conflicted with Bruce Schneier seminar for Meliora Weekend) |
Sept. 28, 2018 |
Fangzhou Liu (PhD student, 2nd year, URCS) |
"Footprint Modeling of Cache Associativity and Granularity" (MEMSYS '18 practice talk, round 2/2) [slides (PDF, no animations)] [slides (Keynote)] |
Sept. 21, 2018 (2 - 3 PM) | Xiaochen Guo (Asst. Prof., ECE, Lehigh University) | "Toward 'More Moore' and 'More than Moore' in Memory Systems" (department seminar in systems seminar timeslot) |
Sept. 21, 2018 (11 AM - noon) |
Jie Zhou (PhD student, 2nd year, URCS) |
"Transforming Code to Drop Dead
Privileges" (SecDev '18 practice talk) [slides] |
Sept. 14, 2018 |
Fangzhou Liu (PhD student, 2nd year, URCS) |
"Footprint Modeling of Cache Associativity and Granularity" (MEMSYS '18 practice talk, round 1/2) [slides (PDF, no animations)] [slides (Keynote)] |
Yuhao Zhu (Asst. Prof., URCS) | Research introduction for new students | |
Sept. 7, 2018 |
Systems faculty (all available - Sandhya, Chen, Sree, Michael) |
Introductions of systems research for new students |
Aug. 31, 2018 | Sreepathi Pai (Asst. Prof., URCS) | "Taking Stock of Graph Processing on GPUs" |
Aug. 24, 2018 |
Mingyang Jiao (PhD student, 1st year, URCS) |
"Practical Null Pointer Dereference Detection via Value-Dependence Analysis" |
Wes Smith (Visiting undergraduate researcher, Edinburgh University) | "Trace Analysis and a New Working-Set Metric" | |
Aug. 17, 2018 | No seminar held | |
Aug. 10, 2018 |
Xiaowan Dong (PhD student, 7th year, URCS) |
"Shielding Software
from Privileged Side-Channel Attacks" (USENIX Security '18 practice talk, round 2/2) |
Aug. 3, 2018 |
Xiaowan Dong (PhD student, 7th year, URCS) |
"Shielding Software
from Privileged Side-Channel Attacks" (USENIX Security '18 practice talk, round 2/2) |
Jul. 27, 2018 | Lucinda Liu (Undergraduate researcher, URCS) | "All Timescale Window Co-Occurrence" |
Jul. 20, 2018 | Xiaowan Dong and Zhuojia Shen (7th and 3rd year PhD students, URCS) | ISCA/HASP '18 trip report |
Jul. 13, 2018 | No seminar held | |
Jul. 6, 2018 |
Chen Ding
(Prof., URCS), Sreepathi Pai (Asst. Prof., URCS), and Fangzhou Liu (PhD student, 2nd year, URCS) |
PLDI/ISMM '18 trip report [slides] |
Jun. 29, 2018 | All attendees | Overview of summer research plans |
Jun. 22, 2018 | No seminar held | |
Jun. 15, 2018 |
Ethan Johnson (PhD student, 4th year, URCS) |
"Getting to 'Hello World' with Intel VMX: An Introduction to Hardware-Assisted Virtualization" |
Jun. 8, 2018 |
Mohammad Kazemi (PhD student, UR ECE) |
"Scalable Spin-Orbit Device/Circuit Co-Design for High-Performance Memory and In-Memory Computing" |
Jun. 1, 2018 |
Ben Feinberg (PhD student, UR ECE) |
"Enabling Scientific Computing on Memristive Accelerators" |
May. 25, 2018 |
Xiaowan Dong (PhD student, 7th year, URCS) |
"Spectres, Virtual Ghosts, and Hardware Support" (HASP '18 practice talk) |
May. 18, 2018 | No seminar held | |
May. 11, 2018 | No seminar held (faculty Plenary Advising Session all day) | |
May. 4, 2018 |
Hunter Johnston
(Undergraduate researcher, URCS) and Sreepathi Pai (Asst. Prof., URCS) |
Research report: Domain-specific languages for specifying graph computations |
Apr. 27, 2018 | Haosen Wen and Dong Chen (2nd and 4th year PhD students, URCS) | Report: Experience with artifact evaluation processes |
Apr. 20, 2018 |
Spyridoula Gravani (PhD student, 4th year, URCS) and Shuyang Liu (Undergraduate researcher, URCS) |
ASPLOS/VEE '18 trip reports, part 3/3 |
Apr. 13, 2018 |
Jie Zhou and
Divya Ojha (PhD students, 1st year, URCS) |
ASPLOS/VEE '18 trip reports, part 2/3 |
Apr. 6, 2018 |
Spyridoula Gravani (PhD student, 4th year, URCS) |
ASPLOS/VEE '18 trip reports, part 1/3 |
Mar. 30, 2018 | No seminar held | |
Mar. 16, 2018 |
Wentao Cai and
Alan Beadle (PhD students, 2nd year, URCS) |
PPoPP '18 trip report |
Mar. 9, 2018 | Yuhao Zhu (Asst. Prof., URCS) | Research introduction (repeated from last week) |
Mar. 2, 2018 | Yuhao Zhu (Asst. Prof., URCS) | Research introduction (officially canceled due to snowstorm, talk given for those who were around anyway) |
Feb. 23, 2018 | Systems faculty |
Research summaries for visiting students (visit weekend for '18-19 PhD student applicants) |
Feb. 16, 2018 |
Haosen Wen (PhD student, 2nd year, URCS) |
"Interval-Based Memory
Reclamation" (PPoPP '18 practice talk) |
Mohsen Mohammadi (PhD student, 1st year, URCS) |
"Transactional Boosting: A Methodology for Highly-Concurrent Transactional Objects" (classic paper by Herlihy et al.) | |
Feb. 9, 2018 |
Jacob Brock (PhD student, 6th year, URCS) |
"PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation" |
Feb. 2, 2018 | No seminar held (conflicted with Marty Guenther's retirement party) | |
Jan. 26, 2018 | Chen Ding (Prof., URCS) | "Cache Exclusivity and Sharing: Theory and Optimization" |
Jan. 19, 2018 Jan. 12, 2018 Jan. 5, 2018 Dec. 29, 2017 Dec. 22, 2017 |
No seminars held (winter break) | |
Prior dates | Many more... (see systems mailing list archives) |
Page originally created and maintained by Ethan
Johnson (PhD student, URCS) © 2018-2023.
Maintained by Yifan ZHU © 2023-[date of last
update].