mwhittaker

Michael Whittaker mwhittaker

Software engineer at Google working on JAX

496 followers · 28 following

Achievements

Organizations

qual Public

UC Berkeley Qualifying Exam

Updated Mar 13, 2020
rise_retreat_winter_2020_consensus_poster Public

RISE Retreat Winter 2020 Poster

TeX Updated Jan 10, 2020
vms Public

💻 Virtual Machines

Shell 1 Updated Dec 19, 2019
cluster_tools Public

Tools for running code on a cluster

Shell 1 Updated Dec 19, 2019
db.cs.berkeley.edu Public
Forked from jssmith/db.cs.berkeley.edu

Berkeley Database Group web site

HTML Updated Nov 8, 2019
pinyin_guesser Public

Tool to learn pinyin

JavaScript 1 Updated Sep 2, 2019
tla_talk Public

TLA+ talk

TLA 2 Updated Jun 1, 2019
frankenpaxos_ai_sys_poster Public

FrankenPaxos AI-Sys Spring 2019 Poster

TeX 1 Updated May 8, 2019
cs294-ai-sys-sp19 Public
Forked from ucbrise/cs294-ai-sys-sp19

CS294; AI For Systems and Systems For AI

HTML Updated Mar 13, 2019
DrTLAPlus Public
Forked from tlaplus/DrTLAPlus

Dr. TLA+ series

TLA Updated Nov 26, 2018
wat Public

Wat-Provenance

TeX 2 2 Updated Oct 14, 2018
tapir_benchmarks Public

TAPIR Benchmarks

Python 1 Updated Sep 20, 2018
cstructs Public

Command-Structure Sets

Python 1 Updated Aug 22, 2018
nailgun Public
Forked from facebookarchive/nailgun

Nailgun is a client, protocol, and server for running Java programs from the command line without incurring the JVM startup overhead.

Java Other Updated Jun 16, 2018
SPADE Public
Forked from ashish-gehani/SPADE

SPADE: Support for Provenance Auditing in Distributed Environments

Java GNU General Public License v3.0 Updated Apr 30, 2018
wat_provenance Public

TeX Updated Apr 29, 2018
crane Public
Forked from columbia/crane

Transparent Paxos

C++ Updated Apr 24, 2018
tapir_diagrams Public

TAPIR Diagrams

TeX Updated Mar 25, 2018
tea_submission Public

Submission for UC Berkeley's Teaching Effectiveness Award

TeX Updated Mar 23, 2018
occ Public

Optimistic Concurrency Control

Python 8 2 Updated Feb 4, 2018
polynomials Public

Polynomials

Python Updated Feb 4, 2018
prelim_notes Public

Prelim Notes

HTML 2 Updated Jan 29, 2018
example_typescript_project Public

Example Typescript Project

JavaScript Updated Jan 11, 2018
dedalus Public

Dedalus

Python 4 2 Updated Jan 9, 2018
aries Public

A Javascript ARIES Simulator

JavaScript 61 7 Updated Dec 27, 2017
dedalus-vim Public

Vim syntax highlighting for Dedalus.

Vim Script Updated Dec 19, 2017
cs186-fa17-section Public

CS 186 Fall 2017 Section Material

TeX 2 Updated Nov 28, 2017
gitignore Public
Forked from github/gitignore

A collection of useful .gitignore templates

Creative Commons Zero v1.0 Universal Updated Nov 21, 2017
tapir Public
Forked from UWSysLab/tapir

TAPIR distributed transactional storage system

Java Updated Nov 17, 2017
transducer_networks Public

Transducer Networks

Python Updated Oct 30, 2017

Michael Whittaker mwhittaker

Achievements

Achievements

Organizations

qual Public

Uh oh!

rise_retreat_winter_2020_consensus_poster Public

Uh oh!

vms Public

Uh oh!

cluster_tools Public

Uh oh!

db.cs.berkeley.edu Public

Uh oh!

pinyin_guesser Public

Uh oh!

tla_talk Public

Uh oh!

frankenpaxos_ai_sys_poster Public

Uh oh!

cs294-ai-sys-sp19 Public

Uh oh!

DrTLAPlus Public

Uh oh!

wat Public

Uh oh!

tapir_benchmarks Public

Uh oh!

cstructs Public

Uh oh!

nailgun Public

Uh oh!

SPADE Public

Uh oh!

wat_provenance Public

Uh oh!

crane Public

Uh oh!

tapir_diagrams Public

Uh oh!

tea_submission Public

Uh oh!

occ Public

Uh oh!

polynomials Public

Uh oh!

prelim_notes Public

Uh oh!

example_typescript_project Public

Uh oh!

dedalus Public

Uh oh!

aries Public

Uh oh!

dedalus-vim Public

Uh oh!

cs186-fa17-section Public

Uh oh!

gitignore Public

Uh oh!

tapir Public

Uh oh!

transducer_networks Public

Uh oh!