- About
- Events
- Calendar
- Graduation Information
- Cornell Learning Machines Seminar
- Student Colloquium
- BOOM
- Spring 2025 Colloquium
- Conway-Walker Lecture Series
- Salton 2024 Lecture Series
- Seminars / Lectures
- Big Red Hacks
- Cornell University / Cornell Tech - High School Programming Workshop and Contest 2025
- Game Design Initiative
- CSMore: The Rising Sophomore Summer Program in Computer Science
- Explore CS Research
- ACSU Research Night
- Cornell Junior Theorists' Workshop 2024
- People
- Courses
- Research
- Undergraduate
- M Eng
- MS
- PhD
- Admissions
- Current Students
- Computer Science Graduate Office Hours
- Advising Guide for Research Students
- Business Card Policy
- Cornell Tech
- Curricular Practical Training
- A & B Exam Scheduling Guidelines
- Fellowship Opportunities
- Field of Computer Science Ph.D. Student Handbook
- Graduate TA Handbook
- Field A Exam Summary Form
- Graduate School Forms
- Instructor / TA Application
- Ph.D. Requirements
- Ph.D. Student Financial Support
- Special Committee Selection
- Travel Funding Opportunities
- Travel Reimbursement Guide
- The Outside Minor Requirement
- Diversity and Inclusion
- Graduation Information
- CS Graduate Minor
- Outreach Opportunities
- Parental Accommodation Policy
- Special Masters
- Student Spotlights
- Contact PhD Office
Speaker
Tuesday, October 16, 2018 - 16:15
G01 Gates Hall
Host:
Lorenzo Alvisi
Categories:
Abstract
Logging is a key component of many distributed systems, used for replication, atomic transactions, restart and replay, chain of custody, information audit, accountable systems (fraud prevention), and now cryptocurrencies. The demands on logging have significantly increased over the last decade. Several companies are logging millions of events per second. Availability and integrity of logs have become paramount. But today’s logging technology still leaves much to be desired in terms of scalability, efficiency, and security. I will describe ongoing research in my group on efficient scalable and tamperproof logging systems, which includes new protocol designs, improved logging abstractions, and formal verification.
Biography
Robbert van Renesse is a Research Professor in the Department of Computer Science at Cornell University in Ithaca, NY. He is a member of the Systems and Networking group. He is interested in distributed systems, particularly in their fault tolerance and scalability aspects.