User Tools

Site Tools


Implement a software stack:

  • a functional language, w/ type system
  • mutexes and concurrency data structures
  • a JIT compiler inside the runtime
  • partial evaluation
  • garbage collector: generational, concurrent, parallel, etc.
  • SMT solver
  • simple model checker
  • network stack
  • multiprocessor scheduling algorithms
projects/fun.txt · Last modified: 2010/03/25 20:09 by jaeheon