Michael Lienhardt

Joint Papers

• Lazy Product Discovery in Huge Configuration Spaces
• Fault Model Design Space for Cooperative Concurrency