3 papers
cs.DC2021
Optimistic Concurrency Control for Real-world Go Programs (Extended Version with Appendix)
Zhizhou Zhang, Milind Chabbi, Adam Welc +1
We present a source-to-source transformation framework, GOCC, that consumes lock-based pessimistic concurrency programs in the Go language and transforms them into optimistic concu…
eess.SP2019
Efficient Uncertainty Modeling for System Design via Mixed Integer Programming
Zichang He, Weilong Cui, Chunfeng Cui +2
The post-Moore era casts a shadow of uncertainty on many aspects of computer system design. Managing that uncertainty requires new algorithmic tools to make quantitative assessment…
cs.CR2019
Neural Network Model Extraction Attacks in Edge Devices by Hearing Architectural Hints
Xing Hu, Ling Liang, Lei Deng +7
As neural networks continue their reach into nearly every aspect of software operations, the details of those networks become an increasingly sensitive subject. Even those that dep…