This is a partial list of patents covering Ajay Chander's scientific work.

Ajay Chander, Nayeem Islam, David Espinosa, George Necula, and Peter Lee.  Performing Checks on the Resource Usage of Computer Programs.  Patent pending.

Ajay Chander, Nayeem Islam, David Espinosa, Peter Lee, and George Necula.  Method and Apparatus for Analyzing and Limiting Resource Use of Sequential Computer Programs.  Patent pending.

And some others that I can't tell you about yet.