Nikhil Swamy @lambdaNik
Joined February 2018-
Tweets278
-
Followers749
-
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
298
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.…
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
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
6K Followers 959 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 430 Following Professor of Programming Languages at Imperial College London
Peter O'Hearn @PeterOHearn12
1K Followers 117 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Sydney Gibson 🚛 �... @sydgibs
3K Followers 318 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 697 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 960 Following Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Ophelia Smitham @OSmitham80706
59 Followers 3K Following
Wistily @Wistily
247 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
152 Followers 7K 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 305 Following Inference engineer @Positron_AI. Maintains @PyroAi. Bayesian pragmatist
B @bjs8086
0 Followers 64 Following
Jestine Paul @jestinepaul
305 Followers 1K Following
Tom @tomstructured
23 Followers 506 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
dimid @dimidd2
27 Followers 493 Following
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
112 Followers 581 Following Staff Research Engineer @ MongoDB CS PhD in formal methods, distributed systems. Prev: @MSFTResearch, @Apple, @AWS CS + Math @Cornell
Seonghyun Park @shp4rk
49 Followers 795 Following RT cool-looking stuffs that I don't really understand 🥴
Data Simplicity Commu... @Aaron_DataSimp
59 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
891 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 67 Following PhD student @UTCompSci | Undergrad @iitmcse
Faishal manzar @faishalmanzar
8 Followers 586 Following Tech Enthusiast 🚀 | Exploring LLMs 🤖 | Building for Fun 🛠️ | Freelance Innovator 💻
Heena Chavada @heena_chavada
172 Followers 8K Following
Gvvhbhc @ZAevanskate
1 Followers 51 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
1K Followers 1K Following સ્વામી વિવેકાનંદ યુવા બોર્ડ સંયોજક થરાદ તાલુકો ......@[email protected] frends.follow&Get 100% follow back.
Money Press News @moneypressnews
568 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
549 Followers 2K Following Just a Southern California boy that loves America 🇺🇲 no direct messages please
Hakan @HakanDingenc
245 Followers 1K Following Infosec lover, network wizard, big hugger; ex-PhD Student @WisconsinCS; CS & Math @NorthwesternU
#416C69 @IstadeMordan
391 Followers 2K Following Software laborer, slightly knowledgeable in Computer Networks
Tomas Petricek (find ... @tomaspetricek
9K Followers 933 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_
122 Followers 807 Following Ph.D. student in CS at UIUC, IITD'22, Working on making foundation models trustworthy.
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
a @a61401997
20 Followers 903 Following
lulg @lulgabc
214 Followers 6K Following
Harsh Mahajan @007harshmahajan
246 Followers 8K Following
Junrui Liu @Potpot01101
1 Followers 124 Following
Kyra Brian @kyra_brian
1 Followers 47 Following
Akul P. @iamakulpatel
141 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
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
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
6K Followers 959 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 430 Following Professor of Programming Languages at Imperial College London
Peter O'Hearn @PeterOHearn12
1K Followers 117 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Sydney Gibson 🚛 �... @sydgibs
3K Followers 318 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 697 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
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Elon Musk @elonmusk
225.3M Followers 1K Following
Anish Athalye @anishathalye
4K Followers 226 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 933 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 947 Following Husband, Dad, Researcher. Software "Naturalness", AI4SE & ESE@ UC Davis. Humboldtian. ❤️s Jokes, preferably Dry. Also ❤️s NJ! All opinions Personal.
Saikat Chakraborty @saikatch107
380 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 226 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 775 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 817 Following There is a three car pile-up at the intersection of Art and Technology
François Chollet @fchollet
572K Followers 813 Following Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Suguman Bansal @sugumanbansal
837 Followers 277 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci
Imandra @VerifiedbyAI
541 Followers 568 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 546 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
851 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
695 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 @NYU @SagivMooly
2K Followers 3K Following Chief Scientist @CertoraInc and a chair of software systems at @TelAvivUni
Sukyoung Ryu @sukyoungryu
594 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 300 Following Misra Family Professor @CIS_Penn. I do research on neurosymbolic AI and cybersecurity.
Chandrakana Nandi @ChandrakanaNaN
615 Followers 212 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Théo Winterhalter @winterhalter_t
109 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 689 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 778 Following Principal Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUw
Audrey Seo @audreyleeseo
39 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 319 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 PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Adharsh Kamath @adharshkamath
447 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
36 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
143 Followers 386 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.
Duckki Oe @DuckkiOe
220 Followers 242 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
961 Followers 754 Following Prof @UnivOfKansas | 🔧 programming languages / type systems / synthesis | PhD @umdcs | Ex- @meta @browserstack @firefox
Vieux Farka Touré @Vieuxfarkatoure
6K Followers 768 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
83,6 B posts
76,9 B posts
201 B posts
57,7 B posts
252 B posts
68,5 B posts
199 B posts
24,4 B posts
4.173 posts
41,8 B posts
55,7 B posts
5.775 posts
14,3 B posts
5.397 posts
5.589 posts
6.451 posts
3.077 posts
3.372 posts
You might like
Derek Dreyer
@HerrDreyer
3K Followers
Isil Dillig
@IsilDillig
4K Followers
Peter O'Hearn
@PeterOHearn12
1K Followers
POPL 2026
@poplconf
3K Followers
Zachary Tatlock
@ztatlock
1K Followers
Alexandra Silva
@alexandra8silva
2K Followers
Ranjit Jhala
@RanjitJhala
3K Followers
Andrew K. Hirsch
@andrewkhirsch
574 Followers
Sam Westrick
@shwestrick
1K Followers
Chandrakana Nandi
@ChandrakanaNaN
615 Followers
Manu Sridharan
@rakingleaves
2K Followers