person · community record
Haeley Yao
A connected record in the developer community graph.
Checking node ownership…
01
Connections
10 relationships
participated_inTranscript: scale.bythebay.io: Haeley Yao Interviewtalk ↗participated_inscale.bythebay.io: Haeley Yao Interviewtalk ↗presentedscale.bythebay.io: Haeley Yao Interviewtalk ↗authoredAutomated Interface Refinement for Compositional Verificationpaper ↗authoredModular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinementpaper ↗authoredState Space Reductions for Scalable Verification of Asynchronous Designspaper ↗featuredscale.bythebay.io: Haeley Yao Interviewtalk ↗presentedscale.bythebay.io: Haeley Yao Interviewtalk ↗presentedError Handling Without Throwing Exceptio...talk ↗works ateBaycompany ↗