# Rohit Jha

> Personal website of Rohit Jha, a Staff Software Engineer in Bengaluru specializing in distributed and real-time systems, platform modernization, performance engineering, lightweight formal methods, and secure AI-assisted delivery.

The site includes professional background, research, technical writing, and older articles preserved in their original context. When citing archived writing, retain its original publication date and note that tools, APIs, and performance characteristics may have changed.

## Profile

- [Homepage](https://www.rohitjha.dev/): Current engineering focus, areas of expertise, and recent writing.
- [About](https://www.rohitjha.dev/about/): Professional background, education, research, community work, and contact information.
- [Résumé](https://www.rohitjha.dev/files/resume.pdf): Current professional experience, technical leadership, and selected outcomes.
- [Writing](https://www.rohitjha.dev/blog/): Technical articles published from 2011 onward.
- [Tutorial archive](https://www.rohitjha.dev/tutorials/): Older hands-on tutorials preserved for reference.

## Selected writing
- [What I Lose When AI Writes the Code](https://www.rohitjha.dev/blog/what-i-lose-when-ai-writes-the-code/): On understanding, authorship, and the shift from building software to reviewing it.
- [Property-Based Testing in Go: Testing Invariants with Generated Inputs](https://www.rohitjha.dev/blog/property-based-testing-in-go/): Using Rapid to test serialization round trips, deterministic event IDs and stateful behavior with generated inputs.
- [Energy-Efficient Programming](https://www.rohitjha.dev/blog/energy-efficient-programming/): What programming-language benchmarks can teach us about execution time, memory, and energy use.
- [Systems Programming](https://www.rohitjha.dev/blog/systems-programming/): A journey down the software stack toward systems programming, performance, and correctness.
- [Minimizing Docker Image Sizes](https://www.rohitjha.dev/blog/minimizing-docker-image-sizes/): A practical exploration of smaller Docker images using lean bases, fewer layers, and multi-stage builds.
- [Towards Leaner Software](https://www.rohitjha.dev/blog/towards-leaner-software/): Why compact, efficient software still matters to users, engineers, and the environment.


## Research

- [MS thesis: Synthesizing Loop Invariants Through a Multiplayer Game](https://www.rohitjha.dev/files/msthesis.pdf): Research on human computation, formal methods, and SMT solving.
- [BE project: A Domain-Specific Language for Discrete Mathematics](https://www.rohitjha.dev/files/beproject.pdf): A domain-specific language for expressing and evaluating discrete mathematics.
- [Research archive](https://www.rohitjha.dev/about/#research-archive): Papers on domain-specific languages, programming education, usable security, developer productivity, and eye-tracking applications.

## Feeds and discovery

- [RSS feed](https://www.rohitjha.dev/index.xml): Recent site content.
- [XML sitemap](https://www.rohitjha.dev/sitemap.xml): Canonical crawlable URLs.