jingjia-peng

jingjia-peng's Stars

• AmberLJC/LLMSys-PaperList

  Large Language Model (LLM) Systems Paper List

  67029024

• mosharaf/eecs489

  EECS 489: Computer Networks @ the University of Michigan

  Language:C++237470125

• hydro-project/katara

  Synthesize CRDTs from classic data types with verified lifting!

  Language:Python144713

• uwplse/stng

  compiler for fortran stencils using verified lifting,

  Language:C++178114

• roptat/hayha

  Verifying CloudFormation deployments for intra-update sniping vulnerabilities

  Language:Python4202