kiniry

I expect Twitter to continue to go downhill. Thus, I'm starting to experiment with #Mastodon. Follow me at @kiniry@mathstodon.xyz

Great to see formal methods, Cryptol, and SAW getting a shoutout from @Apple at the HEXACON 2025 keynote! youtube.com/watch?v=Du8BbJ…

Today is the last day for nominations!

The 2025 @ieeesecdev Cybersecurity Award for Practice nominations are now OPEN! The award recognizes transformative cybersecurity achievements. Nominations are due by May 30. For more information and submission instructions, visit secdev.ieee.org/2025/awards/ #IEEESecDev

@galois @tosanjayr Also included are architectural specifications in SysMLv2 and AADL (in another repository), a full property-based (concurrent) testbench, and more. Let us know if you have any questions or comments!

@galois @tosanjayr ...which are then used to automatically generate heterogenous formally verified implementations in C and Verilog. Manually written implementations were also written in C and Verilog, and verified against Cryptol specs and proven equivalent to generated ones.

Galois's HARDENS project is paving the way for a future where nuclear power plants can wisely use digital technology for control that’s secure from adversaries, saves time and money, and makes certification easier. Learn more in our latest article. galois.com/blog/2024/09/h…

@CHold still waiting for you to join us at a @ripcityremix game. I presume these are your seats next to me… ;)

@JukeboxtheGhost Looking forward to the gig tonight! See you before the show. Can’t wait to meet you.

.@trailblazers your subtitling software is decidedly worse than last season. It was laughably bad tonight. Your need to train it for non-western names as well.

My friend @RSNikhil wrote this for me: We have a colleague named Kiniry Who is rather tall, and wiry. He was somewhat abnormal; liked his methods to be formal, his passion for which was quite fiery.

Recently, on a @galois chat channel...

FireSim is a cool platform that others should know more about!

@firesimproject @ASPLOSConf @galois Looking forward to it!

The program for the First FireSim and Chipyard User/Developer Workshop (@ASPLOSConf 2023), is now available! We have an exciting lineup of 10 speakers, including a keynote from Joe Kiniry (@kiniry) from @galois on using FireSim in DARPA FETT! Full program: fires.im/workshop-2023/

@itblumenfeld The Monkeys. And boy, do I have stories about hanging out with the Moxy guys.

@alpha_convert @TaliaRinger Me too. And not just because we were actually in an email thread together...

mood

"A Brief History of Free, Open Source Software and Its Communities" by @jgbarah (@ComputerSociety vol. 54, no. 2, 2021) should be required reading for all CS students and professionals, especially those born after the early 90s. Great stuff. ieeexplore.ieee.org/document/93535…

@p_droabreu0 galois.com/careers/softwa…

I'm looking for internships in PL, Verification, Compilers, and things like that for the spring semester... If you know of any please let me know! RT for reach please

@itblumenfeld @raffi @narwhal_project Nope. Will have a look.

I expect Twitter to continue to go downhill. Thus, I'm starting to experiment with #Mastodon. Follow me at @kiniry@mathstodon.xyz

@drewoxide Congrats to her!

Feeling unbelievably lucky that I get to spend the day with my Grama celebrating her 100th birthday! 🥳