kiniry

Dad. Partner. Scientist. Activist. Maker. — He/Him

Mastodon at @[email protected]

[kiniry @kiniry]

I expect Twitter to continue to go downhill. Thus, I'm starting to experiment with #Mastodon.

Follow me at @[email protected]

[Galois @galois]

Great to see formal methods, Cryptol, and SAW getting a shoutout from @Apple at the HEXACON 2025 keynote!

https://t.co/QuCaVKswBe

[kiniry @kiniry]

Today is the last day for nominations!

[kiniry @kiniry]

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 https://t.co/y9J71rrne1 #IEEESecDev

[kiniry @kiniry]

@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!

[kiniry @kiniry]

@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.

[kiniry @kiniry]

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

[kiniry @kiniry]

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

[kiniry @kiniry]

.@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.

[kiniry @kiniry]

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.

[kiniry @kiniry]

Recently, on a @galois chat channel...

[kiniry @kiniry]

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

[FireSim @firesimproject]

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: https://t.co/NicKYmOnmT

[kiniry @kiniry]

@firesimproject @ASPLOSConf @galois Looking forward to it!

[kiniry @kiniry]

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

[kiniry @kiniry]

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

[kiniry @kiniry]

"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. https://t.co/1KKArh0jiN

[kiniry @kiniry]

@p_droabreu0 https://t.co/7yPCoTe7KW

[kiniry @kiniry]

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

[kiniry @kiniry]

I expect Twitter to continue to go downhill. Thus, I'm starting to experiment with #Mastodon.

Follow me at @[email protected]

[kiniry @kiniry]

@drewoxide Congrats to her!