jaag5678/ResearchNotes - GitHub Explorer | GitHub Explorer | Trending

Stars

1

Forks

0

Watchers

1

Open Issues

0

Repository Health Score

❤️

35/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Recent Commits

updated folder Completed

jaag5678•9 months ago

cbdb4e7View on GitHub

feat: Created ppt summarizing paper

jaag5678•9 months ago

00f3ce4View on GitHub

feat: ppt: added explanation and examples for Step 1-4

jaag5678•9 months ago

832fe31View on GitHub

feat: Added explanation for steps 1,2,3

jaag5678•10 months ago

255bef1View on GitHub

feat: added last step for proof of correctness

jaag5678•10 months ago

aeb4fe7View on GitHub

feat: Motivation and 3 steps written

Akshay GOPALAKRISHNAN•10 months ago

3eee44dView on GitHub

docs: minor organization of contents

jaag5678•1 year ago

479f7beView on GitHub

docs: update pending changes

Akshay GOPALAKRISHNAN•1 year ago

cca52f9View on GitHub

feat: Completed Weak Memory Model Fairness ppt

Akshay GOPALAKRISHNAN•1 year ago

78a1eadView on GitHub

docs: finished ppt on miscompiling programs with benign data races

Akshay GOPALAKRISHNAN•1 year ago

ec52917View on GitHub

docs: Added ppt for seq reasoning paper

Akshay GOPALAKRISHNAN•1 year ago

798730bView on GitHub

docs: SEQ Limitations and Assumptions updated

Akshay GOPALAKRISHNAN•1 year ago

bd577fbView on GitHub

docs: Finished ppt for Sequential Reasoning for Optimizing Compilers

Akshay GOPALAKRISHNAN•1 year ago

e0ec0e3View on GitHub

docs: started ppt for SeqReasoning

Akshay GOPALAKRISHNAN•1 year ago

83643a1View on GitHub

feat: Added more papers that have read/reading still to be made into a presentation

Akshay GOPALAKRISHNAN•1 year ago

a975ebcView on GitHub

View all commits