Benoit Baudry

Latest

• Approximate Loop Unrolling
• Reverse engineering language product lines from existing DSL variants
• Omniscient Debugging for Executable DSLs