Pinned Repositories
evalplus
Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024
neuri-artifact
Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
nnsmith
Automatic DNN generation for fuzzing and more
HCNR-CNN
A project about handwritten Chinese numeral recognition based on convolutional neural network
Kristoff-starling.github.io
Homepage
MIT-6.S081-xv6
Learning materials including 11 minilabs with lab reports, lecture notes and paper notes for Introduction to Operating Systems 2020, MIT
OJ-Programmes
Program solutions to problems on several prevalent OJs
OSTEP
ProjectN-CPU
Single Cycle and Pipeline CPU of RISC-V Architecture designed for Digital Design and Computer Organization Experiments 2021, NJU
StackOverflow
A collection of solutions to technical issues
Kristoff-starling's Repositories
Kristoff-starling/ProjectN-CPU
Single Cycle and Pipeline CPU of RISC-V Architecture designed for Digital Design and Computer Organization Experiments 2021, NJU
Kristoff-starling/OJ-Programmes
Program solutions to problems on several prevalent OJs
Kristoff-starling/Kristoff-starling.github.io
Homepage
Kristoff-starling/HCNR-CNN
A project about handwritten Chinese numeral recognition based on convolutional neural network
Kristoff-starling/MIT-6.S081-xv6
Learning materials including 11 minilabs with lab reports, lecture notes and paper notes for Introduction to Operating Systems 2020, MIT
Kristoff-starling/OSTEP
Kristoff-starling/StackOverflow
A collection of solutions to technical issues
Kristoff-starling/adn-compiler
Kristoff-starling/ERDiagrams
Kristoff-starling/FreeFuzz
Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
Kristoff-starling/NJU-health-report
用于在 GitHub Action 上部署南京大学每日健康填报自动打卡脚本
Kristoff-starling/adn-controller
Kristoff-starling/appnet-dev
Expressive, Easy-to-build, and High-performance Application Networks
Kristoff-starling/compiler
AppNet Compiler
Kristoff-starling/evalplus
EvalPlus for rigourous evaluation of LLM-synthesized code
Kristoff-starling/go-lib-dev
Kristoff-starling/nnsmith
Automatic DNN generation for fuzzing and more.
Kristoff-starling/phoenix
Phoenix dataplane system service
Kristoff-starling/Problem-Solving-Solutions
Solutions to online judge problems in Problem Solving @ NJU
Kristoff-starling/SparseCode
Kristoff-starling/Stanford-CS143-coolc
Kristoff-starling/xv6-riscv
Xv6 for RISC-V