Kartik Hans

Distributed Systems Researcher
University of Pittsburgh
E-mail: hans[at]sci[dot]pitt[dot]edu

[LinkedIn] | [Google Scholar] | [Github]



Past Affiliations


Research Interests

Distributed Systems
High-Performance Parallel Computing
Data Management
Computer Networks

Teaching

CS1550 Intro. to Operating System(OS) Fall 2024

Publications

(in reverse chronological order)

Liveness Verification of Stateful Network Functions

BibTeX Citation
@inproceedings {246364,
author = {Farnaz Yousefi and Anubhavnidhi Abhashkumar and Kausik Subramanian and Kartik Hans and Soudeh Ghorbani and Aditya Akella},
title = {Liveness Verification of Stateful Network Functions },
booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)},
year = {2020},
isbn = {978-1-939133-13-7},
address = {Santa Clara, CA},
pages = {257--272},
url = {https://www.usenix.org/conference/nsdi20/presentation/yousefi},
publisher = {USENIX Association},
month = feb
}
            

Project / Internship / Job Requests

Feel free to reach out to me on Linkedin


Other Interests

Running, F1, Ping Pong, Pickleball, Chess