We’re excited that Kevin Laeufer is joining the lab as a research associate!
Congratulations to Drs. Dietrich Geisler and Neil Adit, both of whom graduated with their PhDs! Neil is starting a position at Meta, and Dietrich will be a faculty of instruction at Northwestern CS.
One Weird Trick for Efficient Pangenomic Variation Graphs (and File Formats for Free)
Caleb won the 2024 Cornell Computer Science Prize for Academic Excellence!
So You've Decided to Start a Podcast (or you need to edit audio)
The Cornell Chronicle has a profile of Anshuman’s OOPSLA paper on flexible packet scheduling.
Several members of the lab shared memories of our dear friend and colleague, Priya Srikumar.
Anshuman and collaborators have a paper at OOPSLA ’23. The work, which applies PL formalisms to packet scheduling, has won a best paper award!
Alexa’s paper on verifying the Cranelift code generator’s backend was accepted to ASPLOS 2024! Check out the preprint.
Congratulations to Dr. Philip Bedoukian on successfully defending his PhD dissertation!
Pai and Caleb won the Bronze and Silver awards at the PLDI 2023 Student Research Competition in the undergrad category!
Rachit is giving a talk on Filament at PLARCH ’23.
Rachit’s paper on Filament, a new type system for HDLs, was accepted to PLDI 2023!
Many congratulations to Dr. Alexa VanHattum, who successfully defended her PhD dissertation!
We’re running a tutorial about Calyx at FCRC in June, where you learn to build your own DSL-to-hardware compiler.
Griffin’s ASPLOS paper on accelerator debugging won a Distinguished Artifact Award! Try it out.
Pai was quoted about our research in a news story about an undergraduate research program in Bowers CIS that Adrian helped create.
Rachit won a Jane Street fellowship!
We’re organizing the 3rd edition of LATTE, an ASPLOS workshop about PL and compilers problems in accelerator design. Submit 2-page position papers by February 7.
Our paper on Cider, a gdb-like interactive debugger for hardware accelerators using Calyx, is conditionally accepted to ASPLOS 2023!
Adrian has tenure.
Neil’s paper about compiler auto-vectorization for the RISC-V vector extension has been accepted to IEEE Micro.
We won a Google Research Scholar Program award.
Alexa’s paper on verifying Rust’s dyn Trait construct was accepted to ICSE SEIP 2022!
Our paper on the Event Queue dialect of MLIR was accepted to HPCA 2022!
Our paper about in-progress work based on Calyx was accepted to WOSET.
Check out the preprint of our MICRO 2021 paper on software-defined vector machines.
Our paper on software-defined vector processing was accepted to MICRO 2021!
From Hardware Description Languages to Accelerator Design Languages
Adrian won the 2021 TCCA Young Computer Architect award. Watch the acceptance speech.
Watch Sam’s ADA demo video featuring the Calyx compiler infrastructure.
Our collaboration with UW on Reticle, a compiler for exploiting modern FPGA resources, was conditionally accepted to PLDI 2021.
We’re organizing LATTE, a new ASPLOS workshop about PL and compilers problems in accelerator design. Submit 2-page position papers by February 25.
Preprints of our ASPLOS 2021 papers about Calyx and Diospyros are now available.
See a video of Adrian’s talk at the HSC Seminar at UC Santa Cruz on FuTIL (a.k.a. Calyx).
Make Your Grad School Application Sparkle with This One Weird Trick
Our papers on Diospyros and Calyx were accepted to ASPLOS 2021!
Watch Dietrich‘s OOPSLA talk about Gator or the accompanying 5-minute demo video.
Adrian gave a talk at UMass’s systems lunch on Dahlia and such, and the video is now available.
Our paper on efficient checking of commutative diagrams was accepted to TAPAS 2020.
Collaborator Suren Jayasuriya gave a TinyML talk that included some of our work on software-defined imaging.
Our paper on Gator, a type system that rules out “geometry bugs” in graphics code, was conditionally accepted to OOPSLA 2020.
Adrian hosted an “ask me anything” session with Margaret Martonosi at PLDI 2020.
Rachit’s full talk video for the PLDI talk about Dahlia is now online.
Adrian, Alexa, and Rachit appeared on episode #1 of the Honesty is Best podcast.
Watch Alexa’s talk about Diospyros at LCTES 2020.
Watch Rachit’s talk about Dahlia at the remote Berkeley Programming Systems Seminar.
Check out Rachit’s lightning talk for PLDI 2020 about Dahlia.
Watch the video of Adrian’s talk about accelerator design languages virtually at the University of Wisconsin–Madison.
A short work-in-progress paper on Diospyros was accepted to LCTES 2020.
Rachit and Alexa are finalists for the Qualcomm Innovation Fellowship!
Alexa won an NSF fellowship!
Our paper on Dahlia, a type system for predictable hardware accelerator design, was conditionally accepted to PLDI 2020.
Our paper on customizing JPEG compression for computer vision was accepted to ReCoML 2020.
Horace won an Honorable Mention for the CRA Outstanding Undergraduate Researcher award!
Congratulations to the newly-minted Dr. Mark Buckler on the occasion of his successful defense!
Dietrich’s ADA demo video about geometric type systems was featured on YouTube.
Mark appeared on episode #2 of the Banana Data Podcast to talk about deep learning hardware. His segment starts at 16:47.
Alex won an ECE award for his MEng project on implementing an intermediate language for reconfigurable hardware.
Adrian received an NSF CAREER award.
Irene won an Honorable Mention for the CRA Outstanding Undergraduate Researcher award!
We have a new style guide with hints about writing and typesetting.
Mark’s full ISCA 2018 talk about accelerating live vision is now on YouTube.
Watch Mark’s lightning talk for our ISCA paper on redundancy in real-time video.
We’re collecting raw photos for a new computer vision dataset. If you have an Android device, you can help out by downloading our app.
We’re looking for a postdoc to help us build a new kind of continuously reconfigurable machine (and a compiler to go with it).
Our paper on exploiting temporal redundancy in hardware-accelerated computer vision was accepted to ISCA 2018.
Our paper on programming language support for NLU will appear at SysML 2018.
FODLAM, a Poorly Named Tool for Estimating the Power and Performance of Deep Learning Accelerators
Our paper about Braid appeared at OOPSLA 2017. There’s a video of the talk on YouTube.
Mark and Suren presented our poster about our work on efficient cameras for computer computer vision at ICCV 2017.