Issues
- 1
Project Proposal: Array IR for Mixed Cryptography
#401 opened by vivianyyd - 1
- 1
Project Proposal: Polyhedral Compilation
#405 opened by bcarlet - 4
Proposal: BRIL to RISC-V Lowering System
#407 opened by jdroob - 3
Proposal: BLOKE - Optimize BRIL with STOKE
#392 opened by keikun555 - 1
Proposal: JITNIC
#393 opened by zachary-kent - 1
Proposal: BTOR2 Interpreter
#397 opened by NgaiJustin - 2
- 3
Project Proposal: Bril-related extensions (e.g. variable number of arguments to main)
#403 opened by AliceSzzze - 4
- 5
Proposal: Optimization of the Harmony Model Checker and Compiler using Static Analysis
#398 opened by janpaulpl - 3
Project Proposal: Lox Programming Language Compiler and Bytecode Virtual Machine
#409 opened by Arthur-Chang016 - 3
Project Proposal: Frontend Integration for AMC
#400 opened by matth2k - 1
Project Proposal: C++ Infrastructure for Bril
#404 opened by xalbt - 1
Project Proposal: Caiman Frontend
#402 opened by stephenverderame - 1
Project Proposal: External Code Blocks in CirC
#399 opened by collinzrj - 1
- 13
- 2
Project Proposal: A (experimental) MLIR based dialect/compiler for hardware design
#314 opened by yy665 - 1
- 13
- 3
Project Proposal: A Cross-Database Query Compiler
#308 opened by gsvic - 6
- 1
Project Proposal: Implementing Object for Bril
#339 opened by yy665 - 3
Project Proposal: Dependent Types in OCaml
#313 opened by alaiasolkobreslin - 4
Project Proposal: Memory Optimization and Profiling for MLIR-based HeteroCL with Polyhedral Model
#311 opened by chhzh123 - 5
Project Proposal: Vectorization
#312 opened by JonathanDLTran - 14
Project Proposal: Xic Objects and Automatic Dynamic Garbage Collection
#306 opened by michaelmaitland - 4
Project Proposal: Bril Bytecode Interpreter
#304 opened by susan-garry - 2
- 2
Project Proposal: Speculative Execution in FuTIL
#223 opened by tedbauer - 5
Project Proposal: Gator OOP
#237 opened by evanbenadler - 14
Project 01 Proposal: Holistic review on the number of vector registers and the performance of execution of vector code.
#226 opened by SocratesWong - 1
- 4
- 4
- 4
- 2
Project Proposal: Add algebraic types to Bril
#229 opened by Calsign - 2
- 1
Project Proposal: Type and Effect System
#227 opened by kq-li - 2
Project Proposal: Relational Algebra Compiler
#225 opened by ankushrayabhari - 1
Proposal: add PDF download
#241 opened by netroby - 2
Project Proposal: Bril Frontend for Mini-Rust
#230 opened by evanbenadler - 2
Hi, Professor, may I ask what's the difference between CS6120 beta and gamma ?
#217 opened by yumindeckard - 2
Project 4 Proposal: FSM Generation for FuTIL
#155 opened by kwf37 - 2
Project 4 Proposal: EWASM to EVM
#152 opened by 0x486F626F - 1
Project 4 Proposal: Complexity Minimizer
#153 opened by voorka - 1
Project 4 Proposal: Quantum Vectorization
#154 opened by pbb59 - 3
- 1
Project 4 Proposal: Bril Extension Framework
#166 opened by Dan12