IntEQ: Recognizing benign integer overflows via equivalence checking across multiple precisions
- Hao Sun
- Xiangyu Zhang
- et al.
- 2016
- ICSE 2016
Conference paper
Publications
An empirical study of practitioners' perspectives on green software engineering
- Irene Manotas
- Christian Bird
- et al.
- 2016
- ICSE 2016
Conference paperLearning representations from EEG with deep recurrent-convolutional neural networks
- Pouya Bashivan
- Irina Rish
- et al.
- 2016
- ICLR 2016
Conference paperCSR: Core surprise removal in commodity operating systems
- Noam Shalev
- Eran Harpaz
- et al.
- 2016
- ASPLOS 2016
Conference paperParavirtual remote I/O
- Yossi Kuperman
- Eyal Moscovici
- et al.
- 2016
- ASPLOS 2016
Conference paperA resistance-drift compensation scheme to reduce MLC PCM raw BER by over 100× for storage-class memory applications
- Win-San Khwa
- Meng-Fan Chang
- et al.
- 2016
- ISSCC 2016
Conference paperA 30Gb/s 0.8pJ/b 14nm FinFET receiver data-path
- 2016
- ISSCC 2016
Conference paperA 12-to-26GHz fractional-N PLL with dual continuous tuning LC-D/VCOs
- Mark Ferriss
- Bodhisatwa Sadhu
- et al.
- 2016
- ISSCC 2016
Conference paperA 25Gb/s ADC-based serial line receiver in 32nm CMOS SOI
- Sergey V. Rylov
- Troy Beukema
- et al.
- 2016
- ISSCC 2016
Conference paperEstimating unseen deduplication - From theory to practice
- Danny Harnik
- Ety Khaitzin
- et al.
- 2016
- FAST 2016
Conference paper