2024

Journal Articles

Hybrid 2t Nmos/pmos Gain Cell Memory With Indium-tin-oxide And Carbon Nanotube Mosfets For Counteracting Capacitive Coupling . Shuhan Liu, Shengman Li, Qing Lin, Koustav Jana, Subhasish Mitra, H.-S. Philip Wong and Kasidit Toprasertpong. In IEEE Electron Device Letters, vol. 45, pp. 188-191, . ()

Design Guidelines For Oxide Semiconductor Gain Cell Memory On A Logic Platform . Shuhan Liu, Koustav Jana, Kasidit Toprasertpong, Jian Chen, Zheng Liang, Qi Jiang, Sumaiya Wahid, Shengjun Qin, Wei-Chen Chen, Eric Pop and H.-S. Philip Wong. In IEEE Transactions on Electron Devices, vol. 71, pp. 3329-3335, . ()

Conference Papers

First experimental demonstration of hybrid gain cell memory with si PMOS and ITO FET for high-speed on-chip memory . Shuhan Liu, Shengjun Qin, Koustav Jana, Jian Chen, Kasidit Toprasertpong and H.-S. Philip Wong. In 2024 IEEE symposium on VLSI technology and circuits (VLSI technology and circuits), pp. 1-2, . (2024)

A comparative study of HBL and VBL 3D DRAM: Signal margin, bit-cell density, and scalability . Xiangjin Wu, Luke R. Upton, Po-Kai Hsu, Jian Chen, Shimeng Yu and H.-S. Philip Wong. In 2024 IEEE silicon nanoelectronics workshop (SNW), pp. 19-20, . (2024)

Memory consistency model-award cache coherence for heterogeneous hardware . Rachel Cleaveland and Caroline Trippel. In Proceedings of the 2024 conference on formal methods in computer aided design (FMCAD), . (2024)

Future of memory: Massive, diverse, tightly integrated with compute – from device to software. Shuhan Liu, Robert M. Radway, Xinxin Wang, Jimin Kwon, Caroline Trippel, Philip Levis, Subhasish Mitra and H.-S. Philip Wong. In Proceedings of the 69th annual IEEE international electron devices meeting, . (2024)

2023

Journal Articles

A 16-nm Soc For Noise-robust Speech And Nlp Edge Ai Inference With Bayesian Sound Source Separation And Attention-based Dnns . Thierry Tambe, En-Yu Yang, Glenn G. Ko, Yuji Chai, Coleman Hooper, Marco Donato, Paul N. Whatmough, Alexander M. Rush, David Brooks and Gu-Yeon Wei. In IEEE J. Solid State Circuits, vol. 58, pp. 569-581, . ()

Conference Papers

Co-designed capacitive coupling-immune sensing scheme for indium-tin-oxide (ITO) 2T gain cell operating at positive voltage below 2 v . Kasidit Toprasertpong, Shuhan Liu, Jian Chen, Sumaiya Wahid, Koustav Jana, Wei-Chen Chen, Shengman Li, Eric Pop and H.-S. Philip Wong. In 2023 IEEE symposium on VLSI technology and circuits (VLSI technology and circuits), pp. 1-2, . (2023)

Gain cell memory on logic platform – device guidelines for oxide semiconductor transistor materials development . Koustav Jana Shuhan Liu. In 2023 IEEE international electron devices meeting, . (2023)

A case against CXL memory pooling. Philip Levis, Kun Lin and Amy Tai. In Proceedings of the 22nd ACM workshop on hot topics in networks, HotNets ‘23, pp. 18-24, Association for Computing Machinery. (2023)

2022

Journal Articles

R2e2: Low-latency Path Tracing Of Terabyte-scale Scenes Using Thousands Of Cloud Cpus . Sadjad Fouladi, Brennan Shacklett, Fait Poms, Arjun Arora, Alex Ozdemir, Deepti Raghavan, Pat Hanrahan, Kayvon Fatahalian and Keith Winstein. In ACM Trans. Graph., vol. 41, pp. 76:1-76:12, . ()

Conference Papers

Computation-centric networking. Yuhan Deng, Angela Montemayor, Amit Levy and Keith Winstein. In Proceedings of the 21st ACM workshop on hot topics in networks, HotNets 2022, austin, texas, november 14-15, 2022, pp. 167-173, ACM. (2022)

RecShard: Statistical feature-based memory optimization for industry-scale neural recommendation. Geet Sethi, Bilge Acun, Niket Agarwal, Christos Kozyrakis, Caroline Trippel and Carole-Jean Wu. In ASPLOS ‘22: 27th ACM international conference on architectural support for programming languages and operating systems, lausanne, switzerland, 28 february 2022 - 4 march 2022, pp. 344-358, ACM. (2022)

2021

Conference Papers

RecSSD: Near data processing for solid state drive based recommendation inference. Mark Wilkening, Udit Gupta, Samuel Hsia, Caroline Trippel, Carole-Jean Wu, David Brooks and Gu-Yeon Wei. In ASPLOS ‘21: 26th ACM international conference on architectural support for programming languages and operating systems, virtual event, USA, april 19-23, 2021, pp. 717-729, ACM. (2021)

Synthesizing formal models of hardware from RTL for efficient verification of memory model implementations. Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri and Caroline Trippel. In MICRO ‘21: 54th annual IEEE/ACM international symposium on microarchitecture, virtual event, greece, october 18-22, 2021, pp. 679-694, ACM. (2021)

EdgeBERT: Sentence-level energy optimizations for latency-aware multi-task NLP inference. Thierry Tambe, Coleman Hooper, Lillian Pentecost, Tianyu Jia, En-Yu Yang, Marco Donato, Victor Sanh, Paul N. Whatmough, Alexander M. Rush, David Brooks and Gu-Yeon Wei. In MICRO ‘21: 54th annual IEEE/ACM international symposium on microarchitecture, virtual event, greece, october 18-22, 2021, pp. 830-844, ACM. (2021)

2020

Conference Papers

TransForm: Formally specifying transistency models and synthesizing enhanced litmus tests. Naorin Hossain, Caroline Trippel and Margaret Martonosi. In 47th ACM/IEEE annual international symposium on computer architecture, ISCA 2020, valencia, spain, may 30 - june 3, 2020, pp. 874-887, IEEE. (2020)

Algorithm-hardware co-design of adaptive floating-point encodings for resilient deep learning inference. Thierry Tambe, En-Yu Yang, Zishen Wan, Yuntian Deng, Vijay Janapa Reddi, Alexander M. Rush, David Brooks and Gu-Yeon Wei. In 57th ACM/IEEE design automation conference, DAC 2020, san francisco, CA, USA, july 20-24, 2020, pp. 1-6, IEEE. (2020)

2018

Journal Articles

Full-stack Memory Model Verification With Tricheck . Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer and Margaret Martonosi. In IEEE Micro, vol. 38, pp. 58-68, . ()

Conference Papers

ILA-MCM: Integrating memory consistency models with instruction-level abstractions for heterogeneous system-on-chip verification. Hongce Zhang, Caroline Trippel, Yatin A. Manerkar, Aarti Gupta, Margaret Martonosi and Sharad Malik. In 2018 formal methods in computer aided design, FMCAD 2018, austin, TX, USA, october 30 - november 2, 2018, pp. 1-10, IEEE. (2018)

2017

Conference Papers

TriCheck: Memory model verification at the trisection of software, hardware, and ISA. Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer and Margaret Martonosi. In Proceedings of the twenty-second international conference on architectural support for programming languages and operating systems, ASPLOS 2017, xi’an, china, april 8-12, 2017, pp. 119-133, ACM. (2017)