@lambdaNik profile picture
Nikhil Swamy @lambdaNik
Joined February 2018
  • Tweets 278
  • Following 203
  • Followers 785
30 Photos and videos
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
1
520
Nikhil Swamy retweeted
Saikat Chakraborty@saikatch107
9 Sep 2024
🚨 Thrilled to announce our recently accepted paper at @ICSEconf, publishing benchmarks to push the boundaries of AI-driven Proof Oriented Programming. 🔗 huggingface.co/datasets/micr… 🔗 huggingface.co/datasets/micr… For more details: fstar-lang.org/popai #PoPAI #ICSE2025

microsoft/FStarDataSet-V2 · Datasets at Hugging Face

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

huggingface.co
2
4
16
1,611
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
3,273
Excited to have Anish Athalye anish.io/ 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! fstar-lang.org/popup/seminar… #fstarlang

1
2
15
2,321
youtu.be/0za3QkMqLkg?si=pZWm… 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.
2
321
This is happening today in a bit less than an hour! ...
Nikhil Swamy@lambdaNik
15 Jun 2024
Excited to have Anish Athalye anish.io/ 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! fstar-lang.org/popup/seminar… #fstarlang
2
326
WSL2 OCaml F* VSCode Copilot fstar-vscode-assistant ... Proof flow! #fstarlang
7
425
Nikhil Swamy retweeted
Shuvendu Lahiri@LahiriShuvendu
2 May 2024
This edition of @MSFTResearch Research Focus features our research on synthesizing high quality program specifications from informal intent using LLMs, to appear at @FSEconf . Work done as part of microsoft.com/en-us/research… Project. @cellocorgi @fakhourysm @saikatch107 @RiSE_MSR

Trusted AI-assisted Programming - Microsoft Research

Machine learning, in particular Large Language Models, has shown great promise at automating several aspects of programming and software development such as coding, testing, integration, static...

microsoft.com
Microsoft Research
@MSFTResearch
2 May 2024
In this edition: Can LLMs transform natural language into formal method postconditions; Semantically aligned question code generation for automated insight generation; Explaining CLIP performance disparities on blind/low vision data; plus recent news. msft.it/6013YuMLU
1
6
28
2,927
Nikhil Swamy retweeted
Madan Musuvathi@madanMus
12 Mar 2024
Folks, give this new tool from RiSE a spin: github.com/microsoft/aici. Prompts are WASM programs and gives you a flexible/programmable way to control the output of an LLM. Semantics matter :)

GitHub - microsoft/aici: AICI: Prompts as (Wasm) Programs

AICI: Prompts as (Wasm) Programs. Contribute to microsoft/aici development by creating an account on GitHub.

github.com
1
10
43
3,525
From the White House ONCD report: whitehouse.gov/wp-content/up… > ... use formally verified core components in their software supply chain. [Citing: Microsoft Research, Project Everest] See: project-everest.github.io/ #fstarlang

2
9
54
3,931
We're hiring! Please apply to join RiSE @ MSR Both fresh PhDs: jobs.careers.microsoft.com/g… And Principal Researchers: jobs.careers.microsoft.com/g…

2
16
56
9,086
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! fstar-lang.org/tutorial/book… #fstarlang

1
10
48
4,487
Excited to teach about Pulse at POPL! Been writing new chapters in the F* book. Come to our tutorial popl24.sigplan.org/room/POPL…
2
8
60
4,056
Why "Pulse", you wonder? steelpulse.com/
1
1
4
348
It takes all kinds ...
3
414
Nikhil Swamy retweeted
Apoorv@fxdpntthm
29 Nov 2023
The new @icfp_conference 2023 mix tape just dropped: youtube.com/playlist?list=PL…

ICFP 2023

The 28th ACM SIGPLAN International Conference on Functional Programming

youtube.com
3
11
33
3,107
4
9
90
10,170
It's research intern application season at MSR. Come work with us at RiSE! jobs.careers.microsoft.com/g…

4
34
82
15,095
Next F* PoP Up Seminar is on Nov 7. Sheera Shamsu will talk about her OCaml-style garbage collector proven correct in F* and extracted to C. Learn about both F* and OCaml GC internals in the same talk! Should be awesome : ) #fstarlang #ocaml fstar-lang.org/popup/seminar…

1
3
20
1,385
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. youtube.com/watch?v=ALXbsroN…

Sheera Shamsu: Mechanised Verification of an OCaml-style Garbage...

Programming languages with managed runtimes often provide memory sa...

youtube.com
2
438
Nikhil Swamy retweeted
Nikhil Swamy@lambdaNik
26 Oct 2023
Next F* PoP Up Seminar is on Nov 7. Sheera Shamsu will talk about her OCaml-style garbage collector proven correct in F* and extracted to C. Learn about both F* and OCaml GC internals in the same talk! Should be awesome : ) #fstarlang #ocaml fstar-lang.org/popup/seminar…

1
3
20
1,385
Load more