Home

Lecture notes on Java Pathfinder (JPF), a software model checking tool used to find errors in Java programs, especially for concurrent and networked applications.

An explanation of how backend applications accept TCP connections, from the network interface to kernel queues to the process layer.

This lecture explores backend execution patterns, focusing on the differences between processes and threads, their roles in handling requests, and their application in systems like Redis, Nginx, and Envoy.

This blog post summarizes a lecture series on HTTPS communications, covering the fundamentals of secure web connections and various techniques to optimize latency through different protocol configurations and optimizations.

A comprehensive guide to WebRTC, covering its fundamentals, technical concepts like NAT, STUN, TURN, and ICE, along with a practical demonstration of peer-to-peer communication.

A lecture overview of gRPC, covering its use of HTTP/2 and Protocol Buffers, communication patterns, and practical implementation with a Node.js to-do app.

A deep dive into HTTP/3, its use of QUIC over UDP, and how it solves HTTP/2's head-of-line blocking issue to improve web performance.

A beginner-friendly overview of HTTP/2, covering its multiplexing, compression, and performance benefits compared to HTTP/1.1, along with its challenges like TCP head-of-line blocking.