URCS Systems Group Seminar Schedule

Systems seminars are at 2:00-3:30 PM every Friday in Wegmans Hall room 2506 (2nd floor conference room) unless otherwise noted.

Subscribe to the Systems group mailing list (systems@cs.rochester.edu) to receive announcements of upcoming seminars.

To schedule a talk, contact Yifan ZHU (current systems seminar organizer and URCS PhD student):
( λx. λy. λz. y @ z. x) edu yifanzhu rochester

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.)

Upcoming seminars
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"

Past seminars
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].