Nikhil Swamy
@lambdaNik
Followers
748
Following
400
Media
30
Statuses
278
Joined February 2018
Don't wanna hear that racist claptrap.You chat that chat, get clapped back.Don't wanna take my country back, mate.I wanna take my country forward. @SonsOfKemet #myqueeniskamalaharris.
0
0
0
RT @saikatch107: 🚨 Thrilled to announce our recently accepted paper at @ICSEconf, publishing benchmarks to push the boundaries of AI-driven….
0
4
0
I'm writing my POPL submission in VSCode for the first time. I have copilot on . Just because it usually is. Amused by it completing \cite{ with dreyer12. pierce18. and interestingly petricek16. Not sure what papers those are, but I guess I'm definitely writing a PL paper :).
2
1
38
Great talk by @anishathalye, impressive end-to-end verification distilling the behavior of an HSM from application code to hardware in just a few lines of ideal functionality.
0
0
0
This is happening today in a bit less than an hour! . .
Excited to have Anish Athalye present at the next F* PoP Up seminar on June 27, presenting about a verified hardware security module using a variety of tools, including F*, Low*, Hacl*. Come check it out!. #fstarlang.
0
0
2
Excited to have Anish Athalye present at the next F* PoP Up seminar on June 27, presenting about a verified hardware security module using a variety of tools, including F*, Low*, Hacl*. Come check it out!. #fstarlang.
1
2
15
RT @LahiriShuvendu: This edition of @MSFTResearch Research Focus features our research on synthesizing high quality program specifications….
0
6
0
RT @madanMus: Folks, give this new tool from RiSE a spin: Prompts are WASM programs and gives you a flexible/progr….
0
11
0
From the White House ONCD report:. > . use formally verified core components in their software supply chain. [Citing: Microsoft Research, Project Everest]. See: #fstarlang.
2
9
55
We're hiring! Please apply to join RiSE @ MSR. Both fresh PhDs:. And Principal Researchers:.
2
16
57
Excited to post ~15 new chapters in the F* book on Pulse and proof-oriented programming in concurrent separation logic, coupled with initial releases of the Pulse extension to F*. Just in time for our tutorial at POPL tomorrow!. #fstarlang.
1
11
51
Excited to teach about Pulse at POPL! Been writing new chapters in the F* book. Come to our tutorial.
2
9
60
It's research intern application season at MSR. Come work with us at RiSE!.
4
35
84
Great talk by Sheera, super cool to see all these pieces fit together for an end-to-end theorem and a verified mark/sweep GC with performance comparable to other similar unverified GCs.
0
0
2
RT @lambdaNik: Next F* PoP Up Seminar is on Nov 7. Sheera Shamsu will talk about her OCaml-style garbage collector proven correct in F* and….
0
3
0