Harsha Sharma

Product Engineer

Uttarakhand, India8 yrs 2 mos experience

Most Likely To SwitchHighly Stable

Key Highlights

Stackforce AI infers this person is a Cloud Computing and Network Security specialist with strong Operating Systems expertise.

Network SecurityOperating SystemsSymbolic Execution

CLinuxC++Z3 SMT SolverReal-Time Operating SystemsKernel ProgrammingLinux KernelNftablesBack-End Web DevelopmentReal-Time Operating Systems (RTOS)

8 yrs 2 mos

Total Experience

4 yrs 1 mo

Average Tenure

5 yrs 10 mos

Current Experience

Jul 2020 – Present · 5 yrs 10 mos · Bengaluru, Karnataka, India

Worked on optimizing inter‑datacenter capacity provisioning with the Azure Networking Team
Used demand differentiation and also trained a data‑driven link failure model. This work is published at USENIX NSDI'22.
Capacity savings up to 40% and projected cost savings of 200 million USD

CLinuxNetwork SecurityOperating Systems

May 2019 – Jul 2019 · 2 mos · Beijing City, China

Created a symbolic execution engine (NFDV) to verify network function models including time-driven logic for multiple packet execution.
Used Z3 SMT(satisfiability modulo theory) solver C++ API to implement NFDV
Published at IEEE MASCOTS 2020
Important usecases include PAN firewall, rate limiter, SYN flood detection and heavy hitter detection

C++Z3 SMT SolverSymbolic ExecutionNetwork Security

May 2018 – Aug 2018 · 3 mos · Remote

Implemented addition, deletion and listing of connection tracking timeout objects and assignment of timeout policy via nftables rule.
Provides fine-grained control of timeout values for different layer 4 protocol states.

May 2018 – Jul 2018 · 2 mos · Munich Area, Germany

Worked on checkpointing and restoring executing tasks in real time in genode and L4 fiasco microkernel
Reverse engineering and debugging for comparing capability map in Genode and capability space in kernel before checkpointing and after restoring states.
Implemented custom Interrupt Request Line (IRQ) session for signal handler session to checkpoint and restore missing IRQ capabilities.

Real-Time Operating SystemsKernel ProgrammingOperating Systems

Dec 2017 – Mar 2018 · 3 mos · Remote

Implemented unique handles for tables, chains and all objects
Added support for lookup and deletion of objects via handles in nftables and netfilter subsystem of linux kernel.
Worked on improving test infrastructure for nftables and fixed some self-assigned and known outstanding software issues.

Linux KernelNftablesOperating Systems