Violet Ka I Pun

Joint Papers

• Active Objects with Deterministic Behavior
• SymPaths: Symbolic Execution Meets Partial Order Reduction
• Parallel Cost Analysis.