Zhengyao Lin

1. WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
   2023/12/14 by Zhengyao Lin, Lin, Zhengyao, Joshua Gancher +3 · 1 citation
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #VLSI and Analog Circuit Testing