Kartik Hans

Software Engineer at Morph Systems
Part-time LLM Systems Researcher

Current Position

Past Affiliations

Research Interests

LLM Systems Data Management Parallel Computing Distributed Systems ML Infrastructure

Teaching

CS1550 Introduction to Operating Systems 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
}

Contact

Feel free to reach out to me on LinkedIn for project, internship, or job inquiries.

Want a direct conversation? Schedule time with me on TopMate

Other Interests

Running, F1, Ping Pong, Pickleball, Chess, Travel Photography