research
∙
05/16/2022
Pulsar: A Superconducting Delay-Line Memory
Logic and fabrication advancements have renewed interest in superconduct...
share
research
∙
06/03/2021
Optimistic Concurrency Control for Real-world Go Programs (Extended Version with Appendix)
We present a source-to-source transformation framework, GOCC, that consu...
research
∙
05/09/2021
Analysis and Mitigations of Reverse Engineering Attacks on Local Feature Descriptors
As autonomous driving and augmented reality evolve, a practical concern ...
research
∙
07/10/2019
Efficient Uncertainty Modeling for System Design via Mixed Integer Programming
The post-Moore era casts a shadow of uncertainty on many aspects of comp...
research
∙
03/10/2019
