Sign up for free
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Raghav Roy

Raghav Roy

royra
0 Stars

Decks

NilGuard: Minimising Patches for NPEs with Incorrectness Separation Logic
Avatar for Raghav Roy royra
0
40
Go Plays Nice With Your Computer --- Race Detection and Freedom!
Avatar for Raghav Roy royra
0
31
Formal Reasoning to Build Subtle Systems in Go
Avatar for Raghav Roy royra
0
480
Verifying Strong Eventual Consistency in Distributed Systems
Avatar for Raghav Roy royra
1
360
Coroutines and Go
Avatar for Raghav Roy royra
0
450
Can We Use eBPF To Debug Performance of The Go Scheduler?
Avatar for Raghav Roy royra
0
160
Hardening Go Concurrency, Using Formal Methods of Verifying Correctness
Avatar for Raghav Roy royra
0
170

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade