Interesting school work
          Return Home | Expand All Hide all
          CS378H - Distributed Systems
          
            Bayouh - Weakly consistent distributed database
            Expand info
            Less info
            
              - Based on K. Petersen, M. J. Spreitzer, et al. Bayou paper
- Provides a weakly consistent database for storing song and url keypairs across many devices
- Supports arbitrary network topologies, conflict resolution, and has high availability despite
                long periods without connection
- Implemented in Haskell using Distributed Haskell
 
          
            Paxosh - Distributed fault-tolerant chat system using Paxos
            Expand info
            Less info
            
              - Based on Leslie Lamport's Part-Time Parliament Paxos paper
- Provides a multiple-client multiple-server fault-tolerant chat messaging platform
- Implemented in Haskell using Distributed Haskell
- Source Code
 
          Snapsh - Distributed efficient consistent global snapshots
            
Expand info
            Less info
            
              - Based on the Chandy-Lamport distributed snapshots paper
- Can take consistent global snapshots of multiple distributed servers, supports arbitrary network
                topologies, and asynchronous messaging
- Implemented in Haskell using Distributed Haskell
- Source Code
 
        CS345H - Programming Languages
        
          L - a fantastic lambda-calculus-based functional programming language
          Expand info
          Less info
          
            - A functional programming language based on the lambda calculus with many Haskell-like features
- Supports full unannotated Hindley-Milner type inference
- Formally proven type system to prevent run-time errors
- Has independent lexer, parser, and interpreter
- Implemented in C++ using flex/bison
- Report
 
        CS350c - Advanced Architecture
        
          A Verilog out-of-order processor using Tomasulo's algorith
          Expand info
          Less info
          
            - Allows for out-of-order parallel execution of a RISC ISA based on x86
- Fully synthesizable and can be flashed on an FPGA
- Fully functional branch predictor
- Implemented in Verilog
 
        CS349H - Operating Systems
          
        
          PatOS - x86 bare-bones operating system based on linux
          Expand info
          Less info
          
            - Drivers for full keyboard and VGA video support
- Supports FAT block devices
- Built-in graphical interface and kernel-level tiling window manager
- Several built-in user-level programs: shell,c lear, cat, echo, exit, shutdown, and welcome program
- Built using x86 ASM and C++
- Source Code
 
        
          Classes I'm Mentoring
          CS101 Pod:
            [Fall 2014] [Spring 2015]
            [Fall 2015]
          
          CS378 Autonomous Intelligent Robotics Lab:
            [Spring 2015]
          
         
        
          Week 1 - Welcome and Logistics
          
          Week 2 - Lab Week
          
          Week 3 - Austin and Resumes
          
          Week 4 - Resume Review and Career Fair
          
          Week 5 - Career Fair Postmortem, Interviews, Offers, ViM
          
          Week 6 - Campus Resources, Pizza, Luck
          
          Week 7 - CS314H Midterm
          
          Week 8 - Professor Week
          Week 9 - Bowling
          Week 10 - Registration 
          Week 11 - Git
          
          Week 12 - Study Abroad
          Week 13 - So you want to build a Search Engine?
          
         
        
          
Assignments
          Presentations
          Useful Links
        
        
          Assignments
          Presentations
          Useful Links
          
         
        
          Assignments
          
          Presentations
          
          Useful Links