Top Tweets for #programverification
Agentic proving for program verification. ~ Alessandro Sosso, Akhil Arora, Bas Spitters. https://t.co/0q9PuTDBPF #LeanProver #ProgramVerification
NSAD will be back in 2026, co-located with SPLASH/ISSTA and SAS 🎉. Looking forward to seeing your work on abstract domains: https://t.co/U89NrIR9OW
Stay tuned for more details!
#NSAD #StaticAnalysis #AbstractInterpretation #ProgramVerification #SPLASH2026
🧠 Seznamte se poslední květnový týden s trendy současného IT při obhajobách disertačních prací na FIT VUT
📅 26. 5. 2025 a 29. 5. 2025, místnost G108, FIT VUT
🔗 https://t.co/tElOLxO6Cd
#FITVUT #AI #MachineLearning #ProgramVerification

The preprint @FSEconf is out ☀️
If you’re interested in #LLMs for #FormalMethod and #ProgramVerification, don’t miss it 😺
#FSE24 #Dafny
Interested in #opensource and #SoftwareInnovation? ✨ Consider applying to the Tweag Fellowship! ✨ https://t.co/ud9pfl7XAQ #haskell #nix #rust #python #bazel #ocaml #buildsystem #programverification
Thanks @gidonernst for a very nice talk about #programverification using summaries as part of our research group seminar!
Excited about the Developing Secure Systems Summit (DS3) with a great program led off by @galen_hunt speaking on #AzureSphere. #formalmethods are being widely adopted in #cloudcomputing to ensure #robustness and #security. #programverification #cybersecurity #IoT
Join a community that “builds security in” to existing/new computing systems for an online speaker series open to all. @galen_hunt from Azure Sphere will lead the first session on November 18, 2020. Register to participate in the Q&A and breakout sessions: https://t.co/OSL1JcWr5I

Online #FATAseminar on 3 Nov 2020 13:00 GMT by Dr Louise Dennis @louiseadennis @LivUni_AVLab @csmcr on “Cognitive Agent Programming Language and their Verification” #ModelChecking #ProgramVerification
More details on how to attend: https://t.co/jGZEbvlK6n
@GlasgowCS
Very excited to hear about Leslie Lamport's award! Congratulations and thanks for your incredible contributions to #distributedsystems, #programminglanguages, #formalmethods, #softwareengineering, #programverification, #softwaredevelopment, and #LateX. Go @MSFTResearch!
Congratulations to Leslie Lamport for receiving the 2019 C&C Prize from @NEC_corp for outstanding contributions to the development of fundamental theories in distributed computing systems. Explore Leslie's extensive history of work: https://t.co/S4luj4RQ9o
#ProjectEverest is a milestone in applying #formalmethods and #programverification to real systems. The team is pioneering #softwareverification at an unprecented scale, using languages like F* and #theoremprovers including #Z3. #Software #SoftwareEngineering @MSFTResearch
Think strong correctness needs to come at the expense of performance? Think again. F*, the proving methodology of Project Everest, lets you implement low-level optimizations backed by proofs to make sure you get them right: https://t.co/auIA8NwPDA
Coq: The world’s best macro assembler?
https://t.co/NHowuQzak1
#ProgramVerification
Coq: The world’s best macro assembler?
https://t.co/NHowuQzak1
#ProgramVerification
Coq: The world’s best macro assembler?
https://t.co/NHowuQzak1
#ProgramVerification
Thrilled to see that our @MSFTResearch colleague Ryan Beckett received the @ACMSIGCOMM Dissertation Award for pioneering contributions in extending the field of #network #controlplane #verification and #synthesis. #formalmethods #programverification #theoremproving #networking
Congrats to Ryan Beckett and Arpit Gupta, 2 recent CS PhD grads for winning both the @ACMSIGCOMM Dissertation Award and honorable mention! https://t.co/zYlRm2yL37 @glexqsd
Coq: The world’s best macro assembler?
https://t.co/NHowuQzak1
#ProgramVerification
Thrilled at the release of #EverCrypt from @MSFTResearch and partners at Inria and @CarnegieMellon. #Verified #Cryptography is just the first release of the ambitious #ProjectEverest which has demonstrated #programverification at an unprecedented scale.
Working toward provably secure online communications requires a strong foundation on which to build protocols. Enter EverCrypt, a fully verified cryptographic provider offering a comprehensive suite of algorithms, agility, and multiplexing capabilities: https://t.co/SfjldUN6MB
Coq: The world’s best macro assembler?
https://t.co/NHowuQzak1
#ProgramVerification
Coq: The world’s best macro assembler?
https://t.co/NHowuQzak1
#ProgramVerification
Coq: The world’s best macro assembler?
https://t.co/NHowuQzak1
#ProgramVerification
Most Popular Users

Elon Musk 
@elonmusk
240.2M followers

Barack Obama 
@barackobama
119.3M followers

Donald J. Trump 
@realdonaldtrump
111.6M followers

Cristiano Ronaldo 
@cristiano
109.2M followers

Narendra Modi 
@narendramodi
106.9M followers

Rihanna 
@rihanna
97.3M followers

NASA 
@nasa
92.1M followers

Justin Bieber 
@justinbieber
90.6M followers

KATY PERRY 
@katyperry
87M followers

Taylor Swift 
@taylorswift13
80.8M followers

Lady Gaga 
@ladygaga
72.3M followers

Kim Kardashian 
@kimkardashian
69.4M followers

Virat Kohli 
@imvkohli
68.7M followers

YouTube 
@youtube
68.6M followers

Bill Gates 
@billgates
63.5M followers

The Ellen Show
@theellenshow
62.5M followers

CNN 
@cnn
61.9M followers

Neymar Jr 
@neymarjr
61.3M followers

X 
@x
60.9M followers

Selena Gomez 
@selenagomez
60M followers












