A Verified Compiler for a Functional Tensor Language by Liu, Amanda, Bernstein, Gilbert, Chlipala, Adam, Ragan-Kelley, Jonathan

Get full text

Differentiable Vector Graphics Rasterization for Editing and Learning by Li, Tzu-Mao, Lukac, Mike, Gharbi, Michael, Ragan-Kelley, Jonathan

Get full text

Sketching With Your Voice: "Non-Phonorealistic" Rendering of Sounds via Vocal Imitation by Caren, Matthew, Chandra, Kartik, Tenenbaum, Joshua, Ragan-Kelley, Jonathan, Ma, Karima

Get full text

Fast Instruction Selection for Fast Digital Signal Processing by Root, Alexander J, Ahmad, Maaz Bin Safeer, Sharlet, Dillon, Adams, Andrew, Kamil, Shoaib, Ragan-Kelley, Jonathan

Get full text

Distributions for Compositionally Differentiating Parametric Discontinuities by Michel, Jesse, Mu, Kevin, Yang, Xuanda, Bangaru, Sai Praveen, Collins, Elias Rojas, Bernstein, Gilbert, Ragan-Kelley, Jonathan, Carbin, Michael, Li, Tzu-Mao

Get full text

A portable low-power blood pressure monitor for smartphones by Poh, Jacqqie Chao Yan

Get full text

Foot care behaviours and associated factors among patients with type 2 diabetes: a cross-sectional study by Ang, Chin-Siang, Goh, Kelley Fann Ing, Lodh, Nandika, Qin, Vicky Mengqi, Liew, Huiling, Sidhu, Harvinder Raj Singh, Ng, Jun Jie, Subramaniam, Tavintharan, Tan, Elaine, Koh, Gerald Choon Huat, Best, James, Wong, Julian, Car, Josip, Ho, Andy Hau Yan, Venkataraman, Kavita

Get full text

Practical Exocompilation for Performance Engineers in User-Schedulable Languages by Qian, Kevin

Get full text

Polymeric nanoparticles and organic fluorophores for cancer sensing and therapy by Ang, Chung Yen

Get full text