Here I am. This is me.

I am currently a principal engineer at Shape Security working on JavaScript compilers and web application security products.

Prior to this, I was a technical lead (staff software engineer) at Instart, exploring the interesting field of web application streaming. I led a geographically distributed team of bright engineers working on performance, security, and platform products that Instart offers. In the front-end part, I worked on Nanovisor, a JavaScript virtualization layer that Instart bundles with every application that is served from our CDN. Most of Instart's products are built on top of this virtualization layer. On the we application security front, I was the tech lead for the Web skimming protection product that protects web applications from Magecart-like attacks. I also spearheaded the development efforts around Ad-protection product that protects websites from mal-advertising.

In addition to this, I am an expert at JavaScript semantics and I have previously worked on novel type inference algorithms on top of a research JavaScript engine. At Instart, I worked on a TypeScript compiler plugin for a DSL that is used to generate configuration files for both front-end and back-end services.

Prior to my stint at Instart, I obtained my PhD in Computer Science from UCSB. I worked in the PL λab under the guidance of Prof. Ben Hardekopf. My research focussed on dynamic language interpreters, virtual machine optimizations, and JavaScript engine design.

I come from a very beautiful university-town called Manipal. I did my undergraduate studies at Manipal Institute of Technology, Manipal. I worked for nearly 3 years at Manipal Dot Net and Freescale Semiconductors as an intern and an employee.

Publications

  • Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
    Madhukar N. Kedlaya, Behnam Robatmili, Ben Hardekopf. Dynamic Languages Symposium (DLS), 2015 [acm][pdf]
  • Deoptimization for Dynamic Language JITs on Typed, Stack-based Virtual Machines
    Madhukar N. Kedlaya, Behnam Robatmili, Calin Cascaval, Ben Hardekopf. Virtual Execution Environments (VEE), 2014 (Best Paper Award) [acm][pdf][code]
  • MuscalietJS: Rethinking Layered Dynamic Web Runtimes
    Behnam Robatmili, Calin Cascaval, Mehrdad Reshadi, Madhukar N. Kedlaya, Seth Fowler, Michael Weber, Ben Hardekopf. Virtual Execution Environments (VEE), 2014 [acm][pdf][code]
  • Improved Type Specialization for Dynamic Scripting Languages
    Madhukar N. Kedlaya, Jared Roesch, Behnam Robatmili, Mehrdad Reshadi, Ben Hardekopf. Dynamic Languages Symposium (DLS), 2013 [acm][pdf][code]
  • The Remote Compilation Framework: A Sweetspot Between Interpretation and Dynamic Compilation
    Nagy Mostafa, Madhukar N. Kedlaya, Youngjoon Choi, Ben Hardekopf, Chandra Krintz. UCSB Technical Report #2012-03, May 2012 [pdf]