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: January 17, 2023
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_ |
|---|---|---|
| All 2023 dates | Available _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ _spacer_ | |
| Date | Speaker | Topic |
|---|---|---|
| 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 Sep. 30, 2022 Sep. 23, 2022 Sep. 16, 2022 Sep. 9, 2022 |
No seminars held | |
| Sep. 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 | |
| July 29, 2022 | Ethan Ferland, Tora Ozawa, and Oliver (Boyang) Wang (Undergraduate researchers, URCS) | ICS '22 trip report - part 1 |
| July 22, 2022 |
Komail Dharsee (PhD student, 7th year, URCS) |
"The Practical Skills YOU NEED to Tamper with Binaries and Hijack Control Flow" |
| July 15, 2022 | Michael Scott (Prof., URCS) |
"How Should We Think about Persistent Data Structures?" (PODC '22 keynote practice talk) |
| July 8, 2022 |
Wentao Cai (PhD student, 6th year, URCS) |
"Fast Nonblocking Data Structures on Persistent Memory” (job talk practice for Google Systems Research Group) |
| July 1, 2022 | No seminar this week due to July 4 holiday | |
| June 24, 2022 | No seminar to avoid conflict with Sandhya Dwarkadas's farewell party | |
| June 17, 2022 |
Ethan Johnson (PhD student, 8th year, URCS) |
"Hardening Hypervisors with Ombro" (ATC '22 practice talk) |
| June 10, 2022 |
Anshujit Sharma (PhD student, UR ECE) |
"Increasing Ising Machine Capacity with Multi-Chip Architectures" (ISCA '22 practice talk) |
| June 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) |
| Sep. 24, 2021 |
Spyridoula Gravani (PhD student, 8th year, URCS) |
"Fast Intra-Kernel Isolation and Security with IskiOS" (RAID '21 practice talk) |
| Sep. 17, 2021 |
Tanvir Ahmed Khan (PhD student, 5th year, University of Michigan) |
"Rescuing Data Center Processors" |
|
Sep. 10, 2021 Sep. 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 July 30, 2021 |
No seminars held | |
| July 23, 2021 |
Haosen Wen (PhD student, 6th year, URCS) |
"A Fast, General System for Buffered Persistent Data Structures" (ICPP '21 practice talk) |
|
July 16, 2021 July 9, 2021 |
No seminars held | |
| July 2, 2021 | No seminar this week due to July 4 holiday | |
| June 25, 2021 | Joshua Sobel and Noah Bertram (Undergraduate researchers, URCS) | AWLCO: All Window Length Co-Occurrence |
|
June 18, 2021 June 11, 2021 June 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 |
| Sep. 25, 2020 | Haosen Wen and Wentao Cai (PhD students, 5th and 4th year, URCS) | DISC '20 practice talk (both) and internship report (Wentao) |
|
Sep. 18, 2020 Sep. 11, 2020 |
No seminars held | |
| Sep. 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 | |
| July 31, 2020 |
Shuang Zhai (PhD student, 2nd year, URCS) |
USENIX ATC '20 trip report |
| July 24, 2020 | No seminar held | |
| July 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] |
| July 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 |
| July 3, 2020 | No seminar this week due to July 4 holiday | |
| June 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) |
| June 19, 2020 | No seminar held | |
| June 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) |
| June 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 | |
| Sep. 27, 2019 | Tiancheng Xu (MS student, 2nd year, URCS) and Boyuan Tian (MS alumnus (2019), URCS) | MICRO '19 practice talk |
| Sep. 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 |
| Sep. 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 | |
| July 26, 2019 |
Yufei (Edward) Du (MS student, URCS) |
"Efficient Intra-Address Space Isolation for Embedded Systems" |
| July 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] |
| July 12, 2019 | No seminar held | |
| July 5, 2019 | No seminar this week due to July 4 holiday | |
| June 28, 2019 |
Mohammad Hedayati (PhD student, 6th year, URCS) |
"Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries" (Usenix ATC '19 practice talk) |
| June 21, 2019 | John Criswell (Assoc. Prof., URCS) | "PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use" (DSN '19 practice talk) |
| June 14, 2019 | Qiuyue Sun (Undergraduate researcher, URCS) |
"Energy-Efficient Video Processing for Virtual Reality" (ISCA '19 practice talk) |
| June 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) |
| July 27, 2018 | Lucinda Liu (Undergraduate researcher, URCS) | "All Timescale Window Co-Occurrence" |
| July 20, 2018 | Xiaowan Dong and Zhuojia Shen (7th and 3rd year PhD students, URCS) | ISCA/HASP '18 trip report |
| July 13, 2018 | No seminar held | |
| July 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] |
| June 29, 2018 | All attendees | Overview of summer research plans |
| June 22, 2018 | No seminar held | |
| June 15, 2018 |
Ethan Johnson (PhD student, 4th year, URCS) |
"Getting to 'Hello World' with Intel VMX: An Introduction to Hardware-Assisted Virtualization" |
| June 8, 2018 |
Mohammad Kazemi (PhD student, UR ECE) |
"Scalable Spin-Orbit Device/Circuit Co-Design for High-Performance Memory and In-Memory Computing" |
| June 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 |
| April 27, 2018 | Haosen Wen and Dong Chen (2nd and 4th year PhD students, URCS) | Report: Experience with artifact evaluation processes |
| April 20, 2018 |
Spyridoula Gravani (PhD student, 4th year, URCS) and Shuyang Liu (Undergraduate researcher, URCS) |
ASPLOS/VEE '18 trip reports, part 3/3 |
| April 13, 2018 |
Jie Zhou and
Divya Ojha (PhD students, 1st year, URCS) |
ASPLOS/VEE '18 trip reports, part 2/3 |
| April 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 [new maintainer] 2023-[date of last
update].