Gowtham Kaki
@gowthamkaki.bsky.social
Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security.
https://gowthamk.github.io
https://gowthamk.github.io
Surprised to see Venki mama on Onion!
August 11, 2025 at 2:39 AM
Surprised to see Venki mama on Onion!
Submitted a POPL paper without a single theorem. Yes, I like living life on the edge.
July 13, 2025 at 4:40 PM
Submitted a POPL paper without a single theorem. Yes, I like living life on the edge.
Reposted by Gowtham Kaki
"If the NSF budget were to be enacted as is, it “would spell the end of any pretence that the US leads the world in science and technology, handing that position to China”, says Neal Lane, who directed the agency under Democratic former president Bill Clinton." By @dangaristo.bsky.social
🧪
🧪
Trump moves to slash NSF: why are the proposed budget cuts so big?
Major US science funder could lose more than half its budget — and researchers are reeling.
www.nature.com
June 5, 2025 at 5:11 PM
"If the NSF budget were to be enacted as is, it “would spell the end of any pretence that the US leads the world in science and technology, handing that position to China”, says Neal Lane, who directed the agency under Democratic former president Bill Clinton." By @dangaristo.bsky.social
🧪
🧪
Another lecture on CPS and I had to mention @guannanwei.bsky.social’s continuation.passing.style, as is the convention.
Guannan Wei
continuation.passing.style
April 22, 2025 at 11:48 PM
Another lecture on CPS and I had to mention @guannanwei.bsky.social’s continuation.passing.style, as is the convention.
Reposted by Gowtham Kaki
A few days ago I gave a keynote at the PaPoC workshop on Byzantine Eventual Consistency and Local-first Access Control. It wasn't recorded, but slides are here
speakerdeck.com/ept/byzantin...
speakerdeck.com/ept/byzantin...
Byzantine Eventual Consistency and Local-first Access Control
Slides from a talk given at the 12th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Rotterdam, Netherlands, 31 March 2…
speakerdeck.com
April 5, 2025 at 2:15 PM
A few days ago I gave a keynote at the PaPoC workshop on Byzantine Eventual Consistency and Local-first Access Control. It wasn't recorded, but slides are here
speakerdeck.com/ept/byzantin...
speakerdeck.com/ept/byzantin...
DistSys/DB/PL/SE Folks: PaPoC 2025 CfP is out! Submit papers or talk proposals on cool stuff you are working on these days!
papoc-workshop.github.io/2025/cfp.html
papoc-workshop.github.io/2025/cfp.html
Call for Papers
The 12th Workshop on Principles and Practice of Consistency for Distributed Data
papoc-workshop.github.io
December 16, 2024 at 8:47 PM
DistSys/DB/PL/SE Folks: PaPoC 2025 CfP is out! Submit papers or talk proposals on cool stuff you are working on these days!
papoc-workshop.github.io/2025/cfp.html
papoc-workshop.github.io/2025/cfp.html