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

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

Get full text

Nanostructured tungsten carbide/carbon composites synthesized by a microwave heating method as supports of platinum catalysts for methanol oxidation by Lu, Jin Lin, Li, Zi Hui, Jiang, San Ping, Shen, Pei Kang, Li, Lin

“…Their structure, composition and specific surface area are characterized by X-ray diffraction (XRD), energy dispersive spectroscopy (EDS), Raman spectroscopy, and Brunauer–Emmett–Teller (BET) measurements. …”
Get full text
Get full text