Author of the publication

Verified programs can party: optimizing kernel extensions via post-verification merging.

, , , , , and . EuroSys, page 283-299. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Depthwise Separable Convolution Neural Network for Small-footprint Keyword Spotting Using Approximate MAC Unit and Streaming Convolution Reuse., , and . APCCAS, page 309-312. IEEE, (2019)IBE-BCIOT: an IBE based cross-chain communication mechanism of blockchain in IoT., , , , , , , , , and 3 other author(s). World Wide Web, 24 (5): 1665-1690 (2021)Verified programs can party: optimizing kernel extensions via post-verification merging., , , , , and . EuroSys, page 283-299. ACM, (2022)A 510-nW Wake-Up Keyword-Spotting Chip Using Serial-FFT-Based MFCC and Binarized Depthwise Separable CNN in 28-nm CMOS., , , , , , , , , and . IEEE J. Solid State Circuits, 56 (1): 151-164 (2021)AAD-KWS: a sub-µW keyword spotting chip with a zero-cost, acoustic activity detector from a 170nW MFCC feature extractor in 28nm CMOS., , , and . ESSCIRC, page 99-102. IEEE, (2021)DIP-MOEA: a double-grid interactive preference based multi-objective evolutionary algorithm for formalizing preferences of decision makers., , , , and . Frontiers Inf. Technol. Electron. Eng., 23 (11): 1714-1732 (2022)14.1 A 510nW 0.41V Low-Memory Low-Computation Keyword-Spotting Chip Using Serial FFT-Based MFCC and Binarized Depthwise Separable Convolutional Neural Network in 28nm CMOS., , , , , , , , and . ISSCC, page 230-232. IEEE, (2020)Analysis of storage requirements for video-on-demand servers., , and . IEEE Trans. Circuits Syst. Video Techn., 5 (4): 359-363 (1995)SplitGNN: Splitting GNN for Node Classification with Heterogeneous Attention., , , , , and . CoRR, (2023)AAD-KWS: a sub-$\muW$ keyword spotting chip with a zero-cost, acoustic activity detector from a 170nW MFCC feature extractor in 28nm CMOS., , , and . ESSDERC, page 99-102. IEEE, (2021)