{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"osdi23-paper114-sekvm","owner":"columbia","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-05T06:17:30.378Z"}},{"type":"Public","name":"fall23-os2-qemu","owner":"columbia","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-14T16:26:49.413Z"}},{"type":"Public","name":"osdi23-paper114-pv-guest","owner":"columbia","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-24T20:30:35.723Z"}},{"type":"Public","name":"osdi23-paper114-qemu","owner":"columbia","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-24T20:19:22.315Z"}},{"type":"Public","name":"qemu","owner":"columbia","isFork":true,"description":"Follows Linaro qemu/master for KVM/ARM support","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":15,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-26T02:25:31.982Z"}},{"type":"Public","name":"dvh-asplos-ae-linux","owner":"columbia","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-09T23:11:39.533Z"}},{"type":"Public","name":"dvh-asplos-ae-qemu","owner":"columbia","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-05T08:24:50.712Z"}},{"type":"Public","name":"dvh-asplos-ae-micro","owner":"columbia","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-04T20:12:38.118Z"}},{"type":"Public","name":"cover-openvpn","owner":"columbia","isFork":true,"description":"OpenVPN is an open source VPN daemon. This is a fork of OpenVPN for a project at Columbia University.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2895,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-29T17:35:57.452Z"}},{"type":"Public","name":"egalito-tests","owner":"columbia","isFork":false,"description":"Test cases for egalito (submodule)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-06T16:27:47.205Z"}},{"type":"Public","name":"linux-kvm-arm","owner":"columbia","isFork":true,"description":"A standard Linux kernel tree with KVM for ARM patches","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":46,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-19T09:36:55.820Z"}},{"type":"Public","name":"qemu-pub","owner":"columbia","isFork":false,"description":"QEMU to support nested virtualization on /ARM","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-18T21:12:47.831Z"}},{"type":"Public","name":"woodpecker","owner":"columbia","isFork":false,"description":"Woodpecker: Verifying systems rules using rule-directed symbolic execution","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-05T17:54:59.596Z"}},{"type":"Public","name":"xen_unittest","owner":"columbia","isFork":false,"description":"Xen for unit test","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-11-22T00:35:55.124Z"}},{"type":"Public","name":"xen","owner":"columbia","isFork":true,"description":"Xen source code","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":67,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-07T16:21:06.301Z"}},{"type":"Public","name":"kvm-unit-tests","owner":"columbia","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-01-30T09:29:35.051Z"}},{"type":"Public","name":"cpachecker","owner":"columbia","isFork":true,"description":"CPAchecker, the Configurable Software-Verification Platform","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":90,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-09-16T11:55:07.591Z"}},{"type":"Public","name":"android_platform_system_core","owner":"columbia","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-12-21T22:46:51.334Z"}},{"type":"Public","name":"smt-mc","owner":"columbia","isFork":false,"description":"The Parrot stable and deterministic multi-threading system.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":23,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-11-09T07:44:32.744Z"}},{"type":"Public","name":"android_vendor_columbia_build","owner":"columbia","isFork":false,"description":"Columbia SSL Android build configuration / kernel integration","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-09-22T12:05:55.000Z"}},{"type":"Public","name":"u-boot-arndale","owner":"columbia","isFork":true,"description":"Samsung Exynos 5250 based Arndale u-boot support with KVM icing on top","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-11-20T19:15:06.000Z"}},{"type":"Public","name":"linux","owner":"columbia","isFork":true,"description":"Android Samsung 3.0 repository with Checkpoint/Restart patches.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":52063,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-10-03T19:42:37.000Z"}},{"type":"Public","name":"linux-2.6-mutable","owner":"columbia","isFork":false,"description":"Mutable replay in the kernel","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-04-30T16:13:50.000Z"}},{"type":"Public","name":"libscribe-mutable","owner":"columbia","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-04-20T11:47:40.000Z"}},{"type":"Public","name":"cr-tests","owner":"columbia","isFork":false,"description":"Checkpoint/Restart test suie","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-03-17T19:26:49.000Z"}},{"type":"Public","name":"user-cr","owner":"columbia","isFork":false,"description":"Userspace part of Linux Checkpoint/Restart","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-03-15T17:49:48.000Z"}},{"type":"Public","name":"linux-2.6-racepro","owner":"columbia","isFork":false,"description":"Scribe: the record-replay mechanism","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2011-08-26T22:53:09.000Z"}},{"type":"Public","name":"libscribe-racepro","owner":"columbia","isFork":false,"description":"Scribe user-space library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2011-08-23T07:32:40.000Z"}}],"repositoryCount":28,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}