profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/tchajed/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Tej Chajed tchajed Cambridge, MA https://www.chajed.io PhD student in systems. I write software and prove that it's correct.

coq-community/atbr 18

Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]

tchajed/audiobook-splitting 11

Splitting audiobooks by chapter

mit-pdos/6.826-2019-labs 10

Lab assignments for 6.826

mit-pdos/daisy-nfsd 4

DaisyNFS is an NFS server verified using Dafny and Perennial.

tchajed/cardinality 2

Reasoning about finite type cardinality in Coq

Koshroy/pulsegame 1

Repository containing files for use in the ECE PULSE 2013 Software Competition

tchajed/100game 1

Analysis of the 100 game

Cynary/Build-A-Spaceship 0

6.073 Project 2

jtassarotti/iris-inv-hierarchy 0

Iris concurrency framework with a stratified hierarchy of invariants

fork jonhoo/anyhow

Flexible concrete Error type built on std::error::Error

fork in 8 hours

push eventmit-pdos/perennial

Ralf Jung

commit sha a6aa202b103401c4dc6107f6e889188e6c07b3f4

update Iris and std++

view details

push time in 9 hours

push eventmit-pdos/perennial

Ralf Jung

commit sha 89d55f59a6609324760119df87cbdff09116dad7

prove waking up all doomed calls

view details

Ralf Jung

commit sha 8d8e50d7c2cdf587bded3a3dbca9af26333dcf5f

avoid unnecessarily timing out when replyThread abort races with call

view details

push time in 18 hours

startedlemmy/ewd998

started time in 18 hours

push eventmit-pdos/perennial

Joseph Tassarotti

commit sha 18387c1e53bbac1156ae4dcf265ae18a68400538

Checkpoint improvements to pri inv and later res

view details

Joseph Tassarotti

commit sha 7bd90535788e2de03863360be025c191edf21a3a

Init rule for new staged invariants model

view details

push time in a day

push eventGLaDOS-Michigan/summer-school-2020

Manos Kapritsos

commit sha 8c6846cac0dbe4a3e4d88a31f106dcc18901afb6

Cleaned up version of leader election

view details

push time in a day

push eventGLaDOS-Michigan/summer-school-2020

Manos Kapritsos

commit sha dc07b73094e2a98936d6b07e4fcf33cd9ec7a70e

Unclean versionof leader election before cleanup

view details

push time in a day

push eventmit-pdos/perennial

Ralf Jung

commit sha 8d8e50d7c2cdf587bded3a3dbca9af26333dcf5f

avoid unnecessarily timing out when replyThread abort races with call

view details

push time in a day

push eventmit-pdos/gokv

Ralf Jung

commit sha ae0487d29738be2c0799a394655ee93b929d5ce8

make sure callbacks know when they got aborted

view details

Ralf Jung

commit sha 80aafe81e4b6509bfeab1aabc6f837ec3b14af4e

fix old comment

view details

Ralf Jung

commit sha 3857fd7a89ce3c9b7713e14cf29bf6d564826783

Merge branch 'main' of github.com:mit-pdos/gokv

view details

push time in a day

push eventGLaDOS-Michigan/summer-school-2020

Jon Howell

commit sha d13a76e4c8d694b42d80f4b44f1da7621d141f44

progress on leader election before angry deletion

view details

Jon Howell

commit sha 0356bfbaecd9a14ea141e4f5088c68a353e9799a

we're still stuck

view details

push time in a day

push eventmit-pdos/gokv

Upamanyu Sharma

commit sha de5afc93e067e28fa68d3f432d90069c291acb66

Fixed bug in utproxy.Put

view details

push time in 2 days

push eventmit-pdos/perennial

Ralf Jung

commit sha 89d55f59a6609324760119df87cbdff09116dad7

prove waking up all doomed calls

view details

push time in 2 days

push eventmit-pdos/gokv

Ralf Jung

commit sha c73a3e5e203fe7e944e1a2a2621445305d33f2c5

wake up pending requests when RPC client goes down

view details

Ralf Jung

commit sha 3685a8a06826c9ec8e8bb41d0763018cad968217

some comments

view details

Ralf Jung

commit sha b588ce0e0683aa00aac4faef1ef67a3461c7c340

Merge branch 'main' of github.com:mit-pdos/gokv

view details

push time in 2 days

fork sorawee/dafny

Dafny is a verification-aware programming language

https://dafny-lang.github.io/dafny/

fork in 2 days

push eventmit-pdos/perennial

Ralf Jung

commit sha 2eb1990d4c551ad863550326e92aafda576d4577

fix build on coq.dev (hopefully)

view details

push time in 2 days

created repositoryAjayBrahmakshatriya/random-walk-experiments

created time in 2 days

push eventmit-pdos/secfs-skeleton

fzyzcjy

commit sha 4af4cf3f0c9dda21d9ce57fc33a77a65046ba6e8

fix bug: methods without annotation are not static indeed

view details

Nickolai Zeldovich

commit sha 835ae6afc0ebd3708b5c08d081d5b4bc7f4165a1

Merge pull request #2 from fzyzcjy/patch-1 (If willing I will make more PR, this PR is merely a probe to see whether this repo is still active) fix bug: methods without annotation are not static indeed

view details

push time in 2 days

pull request commentmit-pdos/secfs-skeleton

(If willing I will make more PR, this PR is merely a probe to see whether this repo is still active) fix bug: methods without annotation are not static indeed

Looks reasonable enough; thanks!

Just curious: did something break for you without the @staticmethod annotation? Is this an issue in some recent version of Python 3?

fzyzcjy

comment created time in 2 days

issue closedmit-pdos/secfs-skeleton

Fix bug: the VM takes >5 seconds for each `sudo` command

This can be solved by adding the following lines to the /etc/hosts file:

127.0.0.1 localhost localhost.localdomain localhost4 localhost4.localdomain4 6858-v20
::1 localhost localhost.localdomain localhost6 localhost6.localdomain6 6858-v20

The critical part is to let 6858-v20 to be pointed to localhost. The actual cause is that, the hostname of this VM is modified to 6858-v20, but the /etc/hosts has not been modified.

closed time in 2 days

fzyzcjy

issue commentmit-pdos/secfs-skeleton

Fix bug: the VM takes >5 seconds for each `sudo` command

Thank you! I've updated the VM build script so this should be fixed when we re-generate the VM image for the next semester we're teaching 6.858.

fzyzcjy

comment created time in 2 days

push eventmit-pdos/perennial

Ralf Jung

commit sha 5a2f363fd4533e07db90dc83d4d5bd08e8bd882e

add a useful lemma about word.wrap

view details

Ralf Jung

commit sha 5ec2933b4280cd01f875c7e03f6ab72538e03a34

fix SumAssumeNoOverflow and use it everywhere in memkv

view details

push time in 2 days

push eventmit-pdos/gokv

Ralf Jung

commit sha d0efcf6dd5070dc5f994e916030554854d2fff6e

use SumAssumeNoOverflow in urpc

view details

push time in 2 days

push eventmit-pdos/gokv

Ralf Jung

commit sha 0f621d965bac47b348ffbca7fccd30a452347291

use SumAssumeNoOverflow everywhere in memkv

view details

push time in 2 days

push eventgoose-lang/std

Ralf Jung

commit sha 4b989c2be26329ff40ec0c537eaf8f9c217f899c

fix SumAssumeNoOverflow

view details

push time in 2 days

push eventmit-pdos/gokv

Ralf Jung

commit sha 730d63c86e649c6bf6441ed760431956352f8577

start using SumAssumeNoOverflow

view details

Ralf Jung

commit sha 1289fda1d86df5d7b835c0ba3f3bbc2dcaf7ac50

bump goose_std

view details

push time in 2 days

push eventgoose-lang/std

Ralf Jung

commit sha 8980ecb5cb34485da8bb0fa19f7b2a5d96ffa7cc

rename package to 'std'

view details

push time in 2 days

startedbedrocksystems/coq-lens

started time in 2 days

push eventmit-pdos/perennial

Ralf Jung

commit sha f0d0fa45844990038099c0a5cb601cbe471d9986

prove SumAssumeNoOverflow and start using it in memkv clerk

view details

push time in 3 days