Heechul Yun (윤희철)
236 Nichols Hall, 2335 Irving hill Rd, Lawrence, KS, 66045
3040 Eaton Hall, 1520 West 15th St, Lawrence, KS, 66045
heechul.yun (at) ku.edu
This is a list of software packages from my group.
RT-Gang: Real-Time Gang Scheduling for Safety Critical Systems
FireSim-NVDLA: NVIDIA Deep Learning Accelerator (NVDLA) Integrated with RISC-V Rocket Chip SoC Running on the Amazon FPGA Cloud
DeepPicar: End-to-end deep learning based autonomous RC.
DetMem: Linux and Gem5 simulator extensions supporting Deterministic Memory
BWLOCK++: Real-Time GPU kernel protection mechanism for Integrated CPU-GPU SoC
BWLOCK: Memory bandwidth locking mechanism for SMP multicore
PALLOC: DRAM bank-aware kernel-level memory allocator
IsolBench: an isolation benchmark suite
MemGuard: Memory bandwidth management system for multicore
DPTHREAD: Deterministic multithreading library
crest-z3: CREST extension supporting non-linear arithmetic
Mainlined Linux kernel patches:
patch #1: ARM: 6998/2: kernel: use proper memory barriers for bitops
patch #2: ARM: 6995/2: mm: remove unnecessary cache flush on v6 copypage
The following is a list of useful tips/guidlines for any graduate students in my group. (
Prof. Taylor Johnson
at Vanderbilt provided an excellent set of links from which I based on my recommendations.)
: A good paper management system
: Windows latex environment
: good cloud paper editor, like Google docs for Latex
: lists of questions and answers
Version Control and Latex
General Research Advice in Engineering and CS
Nick Feamster: How to Do Great Research Blog
Eric Feron: How do you recognize you have a worthwhile PhD thesis?
Michael Ernst: Writing a technical paper
Gernot Heiser: Tips and Guidance for Students Writing Papers and Reports
Jason Eisner: Write the Paper First
Lyn Dupre: BUGS in Writing, Revised Edition: A Guide to Debugging Your Prose
Justin Zobel: Writing for Computer Science
Other useful tools/links
Python Graph Gallery
: public git repositories. Students can get private repositories for free (need to request).
: another git repository. not as popular as github, but you can get private repositories without doing anything.