Hi BlueSky! I'm an Assistant Professor at Purdue doing research in PL/SE. I'm interested in developing software verification techniques that fit into existing development workflows, so we can produce more secure software! I assess techniques with theory & proofs, user studies, & by building tools.🧵 - ThreadSky

jcenzo.bsky.social • 115 days ago

Hi BlueSky! I'm an Assistant Professor at Purdue doing research in PL/SE. I'm interested in developing software verification techniques that fit into existing development workflows, so we can produce more secure software! I assess techniques with theory & proofs, user studies, & by building tools.🧵

Comments

bits4bytes.bsky.social•114 days ago

Both the proof synthesis and educational impact from your projects page sound like they could make the introduction to software verification easier.
As a CS bachelor, trying to start formal verification projects has such a steep learning curve and requirements 🫠

jcenzo.bsky.social•112 days ago

So cool that you are learning formal verification! Agreed, the learning curve is steep even for simple programs. My group is working on building a verifier from the projects you’ve mentioned that flattens this learning curve; we are a few years away but feel free to check it out on release!

jcenzo.bsky.social•115 days ago

I enjoy my work, but I also love my free time outside of work where I play video games🎮, read manga, watch anime, and go bowling🎳.

jcenzo.bsky.social•115 days ago

I'm excited to be on BlueSky and look forward to lots of PL, science, video game, and manga/anime content!

jaseempaloth.bsky.social•114 days ago

good to hear that

md-dew.bsky.social•114 days ago

This is cool! Looking forward to learning more and of course I always have a soft spot for Purdue as it's where I went for undergrad.

the-dudemeister.bsky.social•114 days ago

Welcome.

richardhowes.tech•114 days ago

That sounds like a great initiative. We in the software development game could definitely use that!!

fuzzing.bsky.social•114 days ago

Welcome! I got to know your research on TheForkJoin podcast https://open.spotify.com/episode/68bc6HCX2s0EHEzTnbMF5b and highly recommend it to everyone.

wlsnyder.williamlsnyder.net•114 days ago

Boiler Up!!

jcenzo.bsky.social•114 days ago

Boiler Up!

kevlar700.bsky.social•113 days ago

That sounds difficult. It is hard enough using Spark even when it is based on the Ada language chosen for it's amenity to flow analysis.

jcenzo.bsky.social•112 days ago

It definitely is hard, but that’s what makes the work fun!

kevlar700.bsky.social•112 days ago

Thinking about it. AdaCore used Ada Spark to indirectly formally verify an ip stack written in C.

https://blog.adacore.com/enhancing-the-security-of-a-tcp-stack-with-spark

sunitachandra.bsky.social•115 days ago

Hi @jcenzo.bsky.social that is fantastic!! :-) We build OpenMP and OpenACC programming models' level verification & validation suites. Looking forward to meeting you at the conference!
https://crpl.cis.udel.edu/ompvv/
https://crpl.cis.udel.edu/oaccvv/

jcenzo.bsky.social•114 days ago

Super cool work!!! It’s nice to meet you!

Comments

Posting Rules

Reply