Jenna DiVincenzo
@jcenzo.bsky.social
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Pinned
Jenna DiVincenzo
@jcenzo.bsky.social
· Nov 17
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.🧵
Reposted by Jenna DiVincenzo
Freedom from kings.
Freedom from fascism.
Power to the people forever. ♥️
Happy Independence Day 🇺🇸
Freedom from fascism.
Power to the people forever. ♥️
Happy Independence Day 🇺🇸
July 4, 2025 at 9:20 PM
Freedom from kings.
Freedom from fascism.
Power to the people forever. ♥️
Happy Independence Day 🇺🇸
Freedom from fascism.
Power to the people forever. ♥️
Happy Independence Day 🇺🇸
Reposted by Jenna DiVincenzo
#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption?
Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."
Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."
June 19, 2025 at 7:08 AM
#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption?
Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."
Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."
Reposted by Jenna DiVincenzo
1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the breakthroughs that today’s tech companies are built on.
Isil Dillig on X: "1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the technology that today’s companies are built on." / X
1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the technology that today’s companies are built on.
x.com
May 31, 2025 at 5:16 PM
1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the breakthroughs that today’s tech companies are built on.
Reposted by Jenna DiVincenzo
I'm delighted to announce the 5th edition of Programming Language Pragmatics! I joined Michael Scott as a coauthor. We updated the semantics chapter to use inference rules, & substantially updated coverage of types, OO, codegen, Rust ownership & safe concurrency, async, traits & more!
May 24, 2025 at 3:40 PM
I'm delighted to announce the 5th edition of Programming Language Pragmatics! I joined Michael Scott as a coauthor. We updated the semantics chapter to use inference rules, & substantially updated coverage of types, OO, codegen, Rust ownership & safe concurrency, async, traits & more!
Reposted by Jenna DiVincenzo
My largest remaining NSF grant, that was awarded by a competitive process on the recommendation of national experts, was terminated yesterday. The money would have paid for PhD students to invent better AI systems for everyday people who need programs written for them but who can't or won't write...
May 15, 2025 at 7:57 PM
My largest remaining NSF grant, that was awarded by a competitive process on the recommendation of national experts, was terminated yesterday. The money would have paid for PhD students to invent better AI systems for everyday people who need programs written for them but who can't or won't write...
Reposted by Jenna DiVincenzo
Thinking about devastating cuts to NSF: US gov-funded science has been the engine upon which most of the tech wealth was generated. But the oligarchs (currently hoarding much of that $) think it’s their own brilliance & not the accident of standing close to the scientific engine that made them rich.
May 4, 2025 at 5:47 PM
Thinking about devastating cuts to NSF: US gov-funded science has been the engine upon which most of the tech wealth was generated. But the oligarchs (currently hoarding much of that $) think it’s their own brilliance & not the accident of standing close to the scientific engine that made them rich.
Reposted by Jenna DiVincenzo
I feel like we need to keep saying this because it’s so insane: This is a legal U.S. resident who has been detained for over a month now for his political opinions.
The Department of Homeland Security denied Mahmoud Khalil permission to attend the birth of his first child, who was delivered at a New York hospital on Monday, according to emails reviewed by The New York Times.
Mahmoud Khalil’s Son Arrives After ICE Refuses to Let Him Attend Birth
Mr. Khalil, a permanent resident detained in Louisiana, had requested a monitored furlough for the birth. His request was denied in less than an hour.
www.nytimes.com
April 22, 2025 at 1:28 AM
I feel like we need to keep saying this because it’s so insane: This is a legal U.S. resident who has been detained for over a month now for his political opinions.
Reposted by Jenna DiVincenzo
I care less about Signal chats and more about the blacksite offshore concentration camps we're sending random people to without any semblance of a trial, so I'll be interested to see if the national media can rub their bellies and pat their heads at the same time this week. Historically they can't.
April 20, 2025 at 10:41 PM
I care less about Signal chats and more about the blacksite offshore concentration camps we're sending random people to without any semblance of a trial, so I'll be interested to see if the national media can rub their bellies and pat their heads at the same time this week. Historically they can't.
Reposted by Jenna DiVincenzo
MIT following Harvard's lead here
April 15, 2025 at 1:07 AM
MIT following Harvard's lead here
Reposted by Jenna DiVincenzo
In case you missed this update, no longer 70%, it’s 90% of people abducted and sent to El Salvador are innocent (“no US criminal record”)
April 10, 2025 at 1:01 AM
In case you missed this update, no longer 70%, it’s 90% of people abducted and sent to El Salvador are innocent (“no US criminal record”)
Reposted by Jenna DiVincenzo
60 Minutes found no criminal record for 75% of the Venezuelan migrants the U.S. sent to a mega-prison in El Salvador. https://cbsn.ws/4lC4Vp5
April 7, 2025 at 1:29 AM
60 Minutes found no criminal record for 75% of the Venezuelan migrants the U.S. sent to a mega-prison in El Salvador. https://cbsn.ws/4lC4Vp5
Reposted by Jenna DiVincenzo
A Study of Undefined Behavior Across Foreign Function Boundaries in #rustlang Libraries
arxiv.org/abs/2404.11671
arxiv.org/abs/2404.11671
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
Developers rely on the static safety guarantees of the Rust programming language to write secure and performant applications. However, Rust is frequently used to interoperate with other languages whic...
arxiv.org
April 7, 2025 at 4:24 PM
A Study of Undefined Behavior Across Foreign Function Boundaries in #rustlang Libraries
arxiv.org/abs/2404.11671
arxiv.org/abs/2404.11671
Reposted by Jenna DiVincenzo
🦀 Hello World!
The Rust project now has an official presence on Bluesky! ✨
We'll be posting the same on our Mastodon and Bluesky accounts, so you won't miss anything on either platform.
The Rust project now has an official presence on Bluesky! ✨
We'll be posting the same on our Mastodon and Bluesky accounts, so you won't miss anything on either platform.
April 5, 2025 at 10:51 AM
🦀 Hello World!
The Rust project now has an official presence on Bluesky! ✨
We'll be posting the same on our Mastodon and Bluesky accounts, so you won't miss anything on either platform.
The Rust project now has an official presence on Bluesky! ✨
We'll be posting the same on our Mastodon and Bluesky accounts, so you won't miss anything on either platform.
Two updates: 1) early registration for physical attendees has been extended to April 1 and late registration to April 18, and 2) travel grant information is available on the VerifyThis website (verifythis.ethz.ch), apply by April 8. Hope to see you there!
VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until Feb. 28. For more information see verifythis.ethz.ch. 1/2
March 29, 2025 at 8:34 PM
Two updates: 1) early registration for physical attendees has been extended to April 1 and late registration to April 18, and 2) travel grant information is available on the VerifyThis website (verifythis.ethz.ch), apply by April 8. Hope to see you there!
Reposted by Jenna DiVincenzo
PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl...
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
PLMW @ PLDI 2025 - Programming Languages Mentoring Workshop - PLDI 2025
The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi...
pldi25.sigplan.org
March 28, 2025 at 3:56 AM
PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl...
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
Reposted by Jenna DiVincenzo
For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verification/analysis tools targeting zero-knowledge applications. More details are here: veridise.com/careers/zk-r...
March 4, 2025 at 5:00 PM
For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verification/analysis tools targeting zero-knowledge applications. More details are here: veridise.com/careers/zk-r...
Reposted by Jenna DiVincenzo
Reposted by Jenna DiVincenzo
Are you graduating with a PhD? Do you work on program analysis, formal verification, software correctness, or AI? Apply to join the UMass LASER lab as a postdoctoral researcher, a vibrant team focused on using the latest NLP technology to ensure software correctness!
February 28, 2025 at 9:20 PM
Are you graduating with a PhD? Do you work on program analysis, formal verification, software correctness, or AI? Apply to join the UMass LASER lab as a postdoctoral researcher, a vibrant team focused on using the latest NLP technology to ensure software correctness!
VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until Feb. 28. For more information see verifythis.ethz.ch. 1/2
February 24, 2025 at 10:44 PM
VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until Feb. 28. For more information see verifythis.ethz.ch. 1/2
Reposted by Jenna DiVincenzo
I recently gave one of the best talks of my career thus far, and thankfully it was recorded, so I figured I share that here!
Thoughts/ideas/questions welcome!
scs.hosted.panopto.com/Panopto/Page...
Thoughts/ideas/questions welcome!
scs.hosted.panopto.com/Panopto/Page...
HCII Seminar Series: David Widder
scs.hosted.panopto.com
February 17, 2025 at 10:53 PM
I recently gave one of the best talks of my career thus far, and thankfully it was recorded, so I figured I share that here!
Thoughts/ideas/questions welcome!
scs.hosted.panopto.com/Panopto/Page...
Thoughts/ideas/questions welcome!
scs.hosted.panopto.com/Panopto/Page...
Reposted by Jenna DiVincenzo
If you wanted to cut waste, fraud, and abuse, you would empower the inspectors general.
If you wanted more waste, fraud, and abuse, you would fire them.
If you wanted more waste, fraud, and abuse, you would fire them.
February 17, 2025 at 2:17 PM
If you wanted to cut waste, fraud, and abuse, you would empower the inspectors general.
If you wanted more waste, fraud, and abuse, you would fire them.
If you wanted more waste, fraud, and abuse, you would fire them.
Reposted by Jenna DiVincenzo
🧵"So this is how liberty dies..."
Trump’s first 3 weeks have been a relentless flood of actions. It's incredibly hard to keep up.
I’ve gone through 69 actions & mapped out the pattern - showing how they fall within 5 broad domains consistent with authoritarian states 1/9
Trump’s first 3 weeks have been a relentless flood of actions. It's incredibly hard to keep up.
I’ve gone through 69 actions & mapped out the pattern - showing how they fall within 5 broad domains consistent with authoritarian states 1/9
February 13, 2025 at 11:38 AM
🧵"So this is how liberty dies..."
Trump’s first 3 weeks have been a relentless flood of actions. It's incredibly hard to keep up.
I’ve gone through 69 actions & mapped out the pattern - showing how they fall within 5 broad domains consistent with authoritarian states 1/9
Trump’s first 3 weeks have been a relentless flood of actions. It's incredibly hard to keep up.
I’ve gone through 69 actions & mapped out the pattern - showing how they fall within 5 broad domains consistent with authoritarian states 1/9
Reposted by Jenna DiVincenzo
Please remember something: if you had said a year ago that Trump would do even a fraction of these things, you would have been mocked, belittled, accused of “Trump derangement syndrome,” and dismissed by certain people.
Identify those people and block and shun them.
Identify those people and block and shun them.
February 8, 2025 at 3:05 AM
Please remember something: if you had said a year ago that Trump would do even a fraction of these things, you would have been mocked, belittled, accused of “Trump derangement syndrome,” and dismissed by certain people.
Identify those people and block and shun them.
Identify those people and block and shun them.
Reposted by Jenna DiVincenzo
NSF proposed Trump budget goes from $9Bil->$3Bil, wow--can you believe that $6Bil of all NSF funding goes to DEI!?
February 7, 2025 at 4:22 PM
NSF proposed Trump budget goes from $9Bil->$3Bil, wow--can you believe that $6Bil of all NSF funding goes to DEI!?