Nikhil Swamy @lambdaNik
Joined February 2018-
Tweets278
-
Followers748
-
Following204
-
Likes396
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
300
0
Nikhil Swamy retweeted
🚨 Thrilled to announce our recently accepted paper at @ICSEconf, publishing benchmarks to push the boundaries of AI-driven Proof Oriented Programming. 🔗 huggingface.co/datasets/micro… 🔗 huggingface.co/datasets/micro… For more details: fstar-lang.org/popai #PoPAI #ICSE2025
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 :)
This is happening today in a bit less than an hour! ...
This is happening today in a bit less than an hour! ...
WSL2 + OCaml + F* + VSCode + Copilot + fstar-vscode-assistant + ... Proof flow! #fstarlang
Nikhil Swamy retweeted
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
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
Nikhil Swamy retweeted
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 :)
From the White House ONCD report: whitehouse.gov/wp-content/upl… > ... use formally verified core components in their software supply chain. [Citing: Microsoft Research, Project Everest] See: project-everest.github.io #fstarlang
We're hiring! Please apply to join RiSE @ MSR Both fresh PhDs: jobs.careers.microsoft.com/global/en/job/… And Principal Researchers: jobs.careers.microsoft.com/global/en/job/…
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
Nikhil Swamy retweeted
The new @icfp_conference 2023 mix tape just dropped: youtube.com/playlist?list=…
It's research intern application season at MSR. Come work with us at RiSE! jobs.careers.microsoft.com/global/en/job/…
Nikhil Swamy retweeted
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.…
Derek Dreyer @HerrDreyer
3K Followers 203 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Andrew Myers @AndrewCMyers
5K Followers 296 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Alastair Donaldson @afd_icl
3K Followers 428 Following Professor of Programming Languages at Imperial College London
Peter O'Hearn @PeterOHearn12
2K Followers 118 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Sydney Gibson 🚛 �... @sydgibs
3K Followers 317 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Guannan Wei @GuannanWei
1K Followers 956 Following Assistant Professor in CS @TuftsUniversity; Ex @Inria @PurdueCS; Bluesky @guannanwei.bsky.social
Ophelia Smitham @OSmitham80706
73 Followers 3K Following
Wistily @Wistily
253 Followers 2K Following On m'a traité d'anthropocentré, ça me va. Extrême centre. J'aime bien appeler un chat un chat.
ZENITH @ALIVE830
0 Followers 2K Following
Mr_MUSK_X @MrMUSKX143503
149 Followers 6K Following This is my private account and I handle it personally I created this account to help my fãn🪐🚀
Fritz Obermeyer @ftzo
1K Followers 306 Following Inference engineer. Bayesian pragmatist. λ-calculus theorist.
B @bjs8086
0 Followers 64 Following
Jestine Paul @jestinepaul
306 Followers 1K Following
Tom @tomstructured
23 Followers 511 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
dimid @dimidd2
27 Followers 496 Following
杨明YangMing @AIYangMing
77 Followers 538 Following Math & Tech. Passionate about your field + ideas for LLM integration + based in HK/SZ? Let's grab coffee and explore the possibilities. Reach out via DM.
Rodel Reyes @Rodel11648327
31 Followers 737 Following Massage Enthusiast, Lecturer in Digital Finance Pogi sa Pogi Malakas ang appeal Para sa curious straight guys at hinde halata Free place sa Manila overnight
William Schultz @willyjschultz
113 Followers 581 Following Staff Research Engineer @ MongoDB CS PhD in formal methods, distributed systems. Prev: @MSFTResearch, @Apple, @AWS CS + Math @Cornell
Seonghyun Park @shp4rk
48 Followers 796 Following RT cool-looking stuffs that I don't really understand 🥴
Data Simplicity Commu... @Aaron_DataSimp
60 Followers 408 Following Data Simplicity Community at IT (information technology), EE (electronic engineering), CS (computing science), DS (data science), AI (artificial intelligence).
Uncle Sam's Cabin @samuelenioluwa
888 Followers 3K Following To touch lives through knowledge and writing and to change mine through reading. Could there be anything much better?
Meghana Sistla @meghana_aparna
58 Followers 68 Following PhD student @UTCompSci | Undergrad @iitmcse
Faishal manzar @faishalmanzar
7 Followers 589 Following Tech Enthusiast 🚀 | Exploring LLMs 🤖 | Building for Fun 🛠️ | Freelance Innovator 💻
Heena Chavada @heena_chavada
175 Followers 7K Following
Gvvhbhc @ZAevanskate
1 Followers 50 Following I’m za caring and honest lady I’m a billionaire I came from a wealthy family I came here to help the poor in any situation I’m not here for relationship
JOSHI PRAKASHKUMAR @JoshiPr75833110
989 Followers 1K Following સ્વામી વિવેકાનંદ યુવા બોર્ડ સંયોજક થરાદ તાલુકો ......@[email protected] frends.follow&Get 100% follow back.
Money Press News @moneypressnews
569 Followers 7K Following Managing your personal finances is not an easy thing to do,especially when you have no previous experience,or if your previous experience was not good #COP29
Fyrsta @zhaoyuwei_
0 Followers 62 Following
Ryan Tjoa @ryantjoa
34 Followers 135 Following
david415 @david415
1K Followers 2K Following mixnet architect and cryptography dev of Katzenpost mixnet, the first post quantum decryption mixnet https://t.co/LMdbk20sFK https://t.co/nTNy0NcKWw
Gabriel McGuire @GabrielMcGuir14
525 Followers 2K Following Just a Southern California boy that loves America 🇺🇲 no direct messages please
Hakan @HakanDingenc
244 Followers 1K Following Infosec lover, network wizard, big hugger; ex-PhD Student @WisconsinCS; CS & Math @NorthwesternU
#416C69 @IstadeMordan
389 Followers 2K Following Software laborer, slightly knowledgeable in Computer Networks
Tomas Petricek (find ... @tomaspetricek
9K Followers 931 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
Isha Chaudhary @Ish_cha_
129 Followers 815 Following Ph.D. student in CS at UIUC, IITD'22, Working on making foundation models trustworthy.
Xuejing, aka Snow @hxjxsnow
405 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
a @a61401997
18 Followers 906 Following
lulg @lulgabc
222 Followers 6K Following
Harsh Mahajan @007harshmahajan
244 Followers 7K Following
Junrui Liu @Potpot01101
1 Followers 124 Following
Kyra Brian @kyra_brian
1 Followers 47 Following
Akul P. @iamakulpatel
102 Followers 8K Following Forever curious | Lifelong learner | STEM focused |💡
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Derek Dreyer @HerrDreyer
3K Followers 203 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Andrew Myers @AndrewCMyers
5K Followers 296 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Alastair Donaldson @afd_icl
3K Followers 428 Following Professor of Programming Languages at Imperial College London
Peter O'Hearn @PeterOHearn12
2K Followers 118 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Sydney Gibson 🚛 �... @sydgibs
3K Followers 317 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Anish Athalye @anishathalye
4K Followers 229 Following cto @cleanlabai • prev phd @mit_csail • research at https://t.co/MdknnUE4C6 • blog at https://t.co/oGOMQyhxv5 • open-source at https://t.co/VawMWMr84F
Tomas Petricek (find ... @tomaspetricek
9K Followers 931 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
பேராசிர... @devanbu
2K Followers 946 Following Husband, Dad, Researcher. Software "Naturalness", AI4SE & ESE@ UC Davis. Humboldtian. ❤️s Jokes, preferably Dry. Also ❤️s NJ! All opinions Personal.
Saikat Chakraborty @saikatch107
379 Followers 306 Following Sr. Researcher @RiSE_MSR, Ph.D. from @ColumbiaCompSci - #SEResearcher, #ML, Source Code, Software Engineer. Interned @fujitsulabs, @googlecloud @facebook
Tarides @tarides_
2K Followers 231 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Paul Graham @paulg
2.1M Followers 778 Following
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Ty Overby @tyroverby
1K Followers 816 Following There is a three car pile-up at the intersection of Art and Technology
François Chollet @fchollet
576K Followers 818 Following Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Suguman Bansal @sugumanbansal
842 Followers 278 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci
Imandra @VerifiedbyAI
540 Followers 566 Following AI startup developing Imandra™, the cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms
Sheera Shamsu @Sheera8227
3 Followers 20 Following A free soul exploring the deep interconnections between problems and their solutions!
Tzu-Han👩🏻�... @TzuHanH
2K Followers 1K Following CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Xinyu Wang @xwangsd
1K Followers 548 Following assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.
Son Ho @sonmarcho
90 Followers 239 Following Ph.D. candidate at @ProseccoINRIA specialized in program verification. Interested in real world, useful, scalable. Loves drawing.
Heidi Howard @heidiann360
7K Followers 601 Following Distributed Systems Researcher, Azure Research (Microsoft)
Yann Régis-Gianas @yurug
1K Followers 2K Following Software engineer / Father of 3 / Head of Engineering @nomadiclabs / #tezos / #smartrollups / #ocaml / #functionalprogramming
George Pîrlea @GeorgePirlea
845 Followers 4K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV
Ben L. Titzer @TitzerBL
2K Followers 349 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Dimitris Vardoulakis @dimvar
697 Followers 915 Following ML compilers @nvidia. Views my own. Prev TPU compiler, Closure Compiler @Google; DoctorJS @mozilla; CS PhD @neu_prl; BEng @ecentua. Also on bluesky, mathstodon
Mooly Sagiv @ Token @SagivMooly
2K Followers 3K Following Chief Scientist @CertoraInc and a chair of software systems at @TelAvivUni
Sukyoung Ryu @sukyoungryu
595 Followers 237 Following Head of the KAIST School of Computing Chairperson of Kakao Impact (https://t.co/li80h1SU9L)
Alperen Keleş @Keleesssss
8K Followers 2K Following METU CENG 21' | PhD Candidate at @umdcs | Writing at https://t.co/O7d6OIVbg4 | Currently random testing compilers, type systems, databases...
Mayur Naik @AI4Code
2K Followers 301 Following Misra Family Professor @CIS_Penn. I do research on neurosymbolic AI and cybersecurity.
Chandrakana Nandi @ChandrakanaNaN
621 Followers 213 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Théo Winterhalter @winterhalter_t
110 Followers 97 Following Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
Andrew K. Hirsch @andrewkhirsch
574 Followers 912 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
FARM Workshop @WorkshopFARM
301 Followers 68 Following Workshop on Functional Art, Music, Modeling and Design (FARM) @[email protected]
Dominic Orchard @dorchard
2K Followers 687 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Joe Gibbs Politz @JoePolitz
1K Followers 1K Following When not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as 🟦 https://t.co/k4HOSHhpwb these days. https://t.co/4skMx005C5 | https://t.co/v4f2VUk4D2
Ankush Desai @ankushpd
2K Followers 777 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
Audrey Seo @audreyleeseo
40 Followers 39 Following Artist, designer, programmer. current 2nd year phd student in the PLSE lab @uwplse. union steward for UAW 4121. Wellesley College ‘2020
Kuldeep S. Meel @ksmeel
2K Followers 322 Following Associate Professor at Georgia Tech and University of Toronto (On Leave). https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AI
Lef @elefthei
1K Followers 1K Following Research Engineer @Rise_MSR, @MSFTResearch. Compilers, Formal Verification, Cryptography. Previous: @Penn, @Bridgewater, @MIT.
Adharsh Kamath @adharshkamath
448 Followers 2K Following PhD student @siebelschool | Previously @MSFTResearch @surathkal_nitk | PL/FM/SE, AI4Code
Apoorv @fxdpntthm
1K Followers 144 Following Grad student. PL, types, semantics, logic, SIGPLAN audio-video/virtualization. Also on @[email protected]
Mohit Tekriwal @numerics_lambda
37 Followers 110 Following Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.
ashish mishra @aegisAshish
147 Followers 388 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.
Duckki Oe @DuckkiOe
218 Followers 244 Following Static Code Analysis Software Engineer. I developed security vulnerability detectors for many programming languages like C/C++/Java/JavaScript/PHP/Solidity/etc.
Gowtham Kaki @GowthamK
483 Followers 376 Following Assistant Professor @CUCompSci and @cuplv. Programming Languages and Formal Methods. Village idiot.
Sankha Narayan Guria @ngsankha
985 Followers 761 Following Prof @UnivOfKansas | 🔧 programming languages / type systems / synthesis | PhD @umdcs | Ex- @meta @browserstack @firefox
Vieux Farka Touré @Vieuxfarkatoure
6K Followers 767 Following Guitarist and vocalist from Mali 🇲🇱 New album 'Les Racines' out now! 💿 https://t.co/EhXFljsKs0 Tour dates: https://t.co/47Vyv1mLu7Trends for United States
32 B posts
25 B posts
95,8 B posts
2.592 posts
16,8 B posts
68 B posts
51,8 B posts
37,8 B posts
4.844 posts
6.964 posts
25,2 B posts
6.909 posts
18 B posts
2.977 posts
453 B posts
12,3 B posts
31 B posts
5.500 posts
10,7 B posts
You might like
Derek Dreyer
@HerrDreyer
3K Followers
Isil Dillig
@IsilDillig
4K Followers
Peter O'Hearn
@PeterOHearn12
2K Followers
POPL 2026
@poplconf
3K Followers
Zachary Tatlock
@ztatlock
1K Followers
Alexandra Silva
@alexandra8silva
2K Followers
Ranjit Jhala
@RanjitJhala
3K Followers
Joe
@alpha_convert
4K Followers
Andrew K. Hirsch
@andrewkhirsch
574 Followers
Sam Westrick
@shwestrick
1K Followers
Chandrakana Nandi
@ChandrakanaNaN
621 Followers
Manu Sridharan
@rakingleaves
2K Followers