columbia/libtrack
Library wrapper and system-level tracing utilities
Developer Profile
columbia
Discovered public repositories for columbia in the GitHub catalog.
columbia/GitHub
Public repository.
columbia/ds_reading_group
Public repository.
columbia/android_platform_system_vold
Public repository.
columbia/android_platform_frameworks_native
Public repository.
columbia/android_platform_frameworks_base
Public repository.
columbia/android_platform_libcore
Public repository.
columbia/android_platform_system_core
Public repository.
columbia/android_platform_dalvik
Public repository.
columbia/tdroid-snu
Study of accuracy of taint tracking systems. A collaboration between Columbia University and Seoul National University.
columbia/loom
a live-workaround system for fixing races in live applications
columbia/neongoby
NeonGoby alias analysis checker
columbia/android_vendor_columbia_build
Columbia SSL Android build configuration / kernel integration
columbia/xtern
Xtern, a scheduling submodule of the Parrot stable and deterministic multi-threading system.
columbia/smt-mc
The Parrot stable and deterministic multi-threading system.
columbia/u-boot-arndale
Samsung Exynos 5250 based Arndale u-boot support with KVM icing on top
columbia/kvm-unit-tests
Public repository.
columbia/cr-tests
Checkpoint/Restart test suie
columbia/user-cr
Userspace part of Linux Checkpoint/Restart
columbia/linux
Android Samsung 3.0 repository with Checkpoint/Restart patches.
columbia/qemu
Follows Linaro qemu/master for KVM/ARM support
columbia/boot-wrapper
Linux kernel boot wrapper for FAST Models
columbia/linux-kvm-arm
A standard Linux kernel tree with KVM for ARM patches
columbia/mreplay
Mutable Replay
columbia/libscribe-mutable
Public repository.
columbia/py-scribe-mutable
Public repository.
columbia/linux-2.6-mutable
Mutable replay in the kernel
columbia/linux-2.6-racepro
Scribe: the record-replay mechanism
columbia/libscribe-racepro
Scribe user-space library
columbia/py-scribe-racepro
Scribe python bindings and Scribe userspace tools
columbia/racepro-bundle
The racepro deployment tool
columbia/racepro
Racepro