Madhukar Yerraguntla — Software Engineer

I am a Computer Science Engineer with experience in C/C++, Rust, Haskell and Ocaml languages. My interests lie in type systems, formal methods, programming languages for hardware and software development and as part of my work charter I developed tools for first time correct designs with emphasis on bug finding and security. I develop tools that aid in general chip/design verification including formal analysis, emulation, Fault injections etc. I am also well versed with Python, TCL and bash scripting. I have also dabbled in RTL writing, ABV, AMS verification and SPICE programming, primarily writing tools that work on such designs. I am experienced in functional programming, Static analysis and theorem proving in Coq. Some of the tools I developed include: 1. A vendor vendor-agnostic framework for memory emulation which is essentially an executable specification of the memories' address translation under an SoC. 2. A simulation based Fault injection tool for AMS/DMS designs that inserts multiple faults based on a fault specification into the design. It is primarily used by safety architects within NXP to verify the effectiveness of the safety architecture while re-using the functional tests. 3. An AMS assertion language that generated checkers for AMS designs that have better performance than SVA based checkers in terms of runtime overhead and expressibility. I am also a part-time PhD student at IIT Delhi working in the field of programming languages and formal methods. My PhD work focuses on secure compilation of synchronous reactive languages. By incorporating a Denning-style lattice-based secure information flow framework into a synchronous reactive data flow language, we provide a framework in which correct-and-secure-by-construction implementations for such systems can be specified and derived. In particular, we extend the Lustre programming framework with a security type system. The work is currently being formalized in Coq over Vèlus development. Publications: 1. S. Prasad, R. M. Yerraguntla, and S. Sharma. Security Types for Synchronous Data Flow Systems. In 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), pages 1–12, 2020 (Best paper award recipient) 2. Sanjiva Prasad and R. Madhukar Yerraguntla. Normalising lustre preserves security. In Antonio Cerone and Peter Csaba Ölveczky, editors, Theoretical Aspects of Computing – ICTAC 2021, pages 275–292, Cham, 2021. Springer International Publishing (Best paper award nominee but did not win)

Stackforce AI infers this person is a Semiconductor and Formal Methods expert with a focus on security and verification.

Location: Hyderabad, Telangana, India

Experience: 16 yrs 7 mos