This is similar to the older TRIPS system which Doug Burger also worked on:

https://www.cs.utexas.edu/~trips/