Sijie Kong

I am a PhD student in Electrical and Computer Engineering at Cornell University. Previously, I completed my Master's degree at UC Santa Barbara, where I worked with the UCSB ArchLab under the guidance of Jonathan Balkind.

My interests are in programming languages, formal methods and computer architecture. I work on open-source hardware compilers, synthesis tools and accelerator design.

Email: sk3569 [at] cornell [dot] edu

Publications

• Improving Equality Saturation for EDA via Semantic E-Graphs (PLDI 2026)
  S. Kong, J. Xia, D. Ruelas-Petrisko, Z.D. Sisco, J. Balkind, G.H. Smith
  
• Fungible Memories for Automated Technology Mapping and Re-targeting (PLDI 2026)
  Z.D. Sisco, S. Kong, D. Ruelas-Petrisko, J. Xia, J. Springer, V. Rao, S. Wang, G.H. Smith, B. Hardekopf, J. Balkind
  
• A Position on Tropical-Time for HLS (LATTE 2026)
  S. Kong, J. Balkind
  
• Unifying HLS and RTL with Timeline Types (LATTE 2026)
  J. Xia, A. Alemayehu, S. Kong, B. Hardekopf, R. Nigam, J. Balkind
  

Back to top ↑