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
Last Seen Hashtags on Sotwe
baharcandan ifşa
Seen from Turkey
exhibitionist
Seen from Germany
footsmelling
Seen from Belgium
sdra2
Seen from Italy
indiancd
Seen from Kuwait
godzilla bara
Seen from Canada
havvaöztel
Seen from Turkey
Snowbunny
Seen from United States
CaughtMasturbating
Seen from Turkey
Whitegirlsgoneblack
Seen from United States
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
109.1M 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
86.9M followers
Taylor Swift
@taylorswift13
80.7M 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.4M 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