jcenzo.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

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

submitted 7 days ago • 1 comment

ECOOP 2025 Round 2 papers are due tomorrow! Submit your best work! 2025.ecoop.org/track/ecoop-...

submitted 7 days ago • 0 comments

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!

submitted 11 days ago • 1 comment

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

submitted 15 days ago • 1 comment

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

submitted 22 days ago • 2 comments

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.

submitted 22 days ago • 2285 comments

🧵"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

submitted 26 days ago • 525 comments

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.

submitted 32 days ago • 347 comments

NSF proposed Trump budget goes from $9Bil->$3Bil, wow--can you believe that $6Bil of all NSF funding goes to DEI!?

submitted 32 days ago • 1 comment

To be honest, I'm surprised every scientific agency and university and so on is getting on its knees for this administration rather than actually resisting fascism in some meaningful way

submitted 34 days ago • 19 comments

This statement from CRA outlines the critical importance that the National Science Foundation plays for our nation's prosperity, security, and future. I highly recommend sharing it with your colleagues, and calling your representatives in Congress to convey these benefits to them in your own words!

submitted 33 days ago • 0 comments

It scares the shit out of me that all of my grant applications can be subject to extra review because my CV says "LGBT" and "Diversity," like what terrible fascist dystopia is this

submitted 34 days ago • 2 comments

One thing that will become blatantly obvious with our higher education and scientific institutions is that their statements of "core values" don't mean shit.

submitted 35 days ago • 0 comments

This week, the NSF Director became complicit in the administration’s efforts to undermine American science. https://bit.ly/nsfresign

submitted 39 days ago • 2 comments

If you are a PhD student in computer science who is directly impacted by the last two weeks of orders, please know that it's ok to not be in a headspace for research If anyone is pushing you to be productive despite it all, please reach out to me, or SIGPLAN CARES, or computingconnections.org

submitted 41 days ago • 1 comment

One thing about me is that I will fight Nazis until I’m six feet in the ground.

submitted 47 days ago • 4404 comments

Are you interested in getting a PhD in Programming Languages, particularly on practical and theoretical aspects of gradual typing? Consider working with me at the Australian National University. PhDs in Australia take 3-4 years, see tinyurl.com/ANUPLPhD . If you're there, find me at POPL this week!

submitted 50 days ago • 0 comments

Been thinking about these ideas for a couple of years! Finally time to put them into action and make the SRC an awesome place for junior researchers to get high-quality feedback on ongoing work!

submitted 57 days ago • 0 comments

Mentoring is incredibly important to students and young researchers. @notypes.bsky.social and @avh.bsky.social talk about the "missing mentoring pillar" in our latest PL Perspectives blog post blog.sigplan.org/2025/01/13/t...

submitted 57 days ago • 0 comments

Thomas Wies (NYU) and I are organizing the 2025 edition of the VerifyThis competition and we are currently looking for interesting academic or industry verification problems. The deadline for submission is Feb. 7. See the call for problems for more information: www.pm.inf.ethz.ch/research/ver....

submitted 61 days ago • 1 comment

If you are going to POPL 2025 in Denver consider coming to my talk at #PEPM2025 on the missing diagonal. The computing community has produced many high level languages and tools for programming high level systems (e.g. Java for user interfaces) popl25.sigplan.org/details/pepm...

submitted 89 days ago • 2 comments

Who are the new* PL faculty in US? If you / someone you started in as a PL faculty, can you please point me to them? *last two years and starting next year

submitted 91 days ago • 7 comments

I have created a Starter Pack for Software Engineering Research Software Engineering Researchers, from Academia or Industry #SEResearch Some PL people too bsky.app/starter-pack...

submitted 91 days ago • 7 comments

The Software and Societal Systems (S3D) department in the School of Computer Science at CMU is hiring tenure-track faculty! This year we are especially looking in AI/ML for SE. Applications due Dec 11, apply at apply.interfolio.com/150683 1/3

submitted 94 days ago • 1 comment

We have six open faculty positions in the Department of Computing at Imperial College London, with software engineering among the focus areas! Outstanding candidates across all areas of computer science are encouraged to apply. More info at www.imperial.ac.uk/jobs/search-...

submitted 96 days ago • 0 comments

Not only is Raghav’s research cool, he is also an excellent teacher! He has been my GTA for two semesters in OOP and has been basically operating as a co-instructor. He also taught data structures on his own in summer. Students in all sections loved and learned a lot from him. You should hire him!!!

submitted 95 days ago • 1 comment

Verify the Safety of the Rust Standard Library aws.amazon.com/pt/blogs/ope...

submitted 98 days ago • 0 comments

I don't know who needs to hear this, but a linkedin username is not a substitute for a personal webpage. It's not accessible to other researchers looking you up who don't have a linkedin account because we're academics who don't have a real job so why would we want one.

submitted 98 days ago • 3 comments

MIT's EECS grad application deadline is today! If you're excited about applying PL & Compilers ideas to high-performance hardware design, apply to work with me! flame.csail.mit.edu/lab/prospect...

submitted 100 days ago • 0 comments

Happy letter solstice to all who celebrate (i.e., the day each year when we stop submitting tenure letters and start submitting PhD application letters) ✍️👨‍💻📝

submitted 100 days ago • 1 comment

Hi, Bluesky! 👋 I’m Catarina, a dual PhD student in 🖥️ Software Engineering with the CMU Portugal program ( @carnegiemellon.bsky.social and U. Lisbon). Imagine a world with reliable software and user-friendly verification tools. Let’s build it together! 🚀 #PhDlife #SE #PL #HCI #CMU-Portugal

submitted 105 days ago • 0 comments

I’ve been lurking for a bit, but with the influx of academics, good time for a quick (re-)intro? CS prof at Carnegie Mellon, specialty Software Engineering, especially all kinds of code transformation/program repair (so yes, a lot of AI codegen these days), plus SE4robotics sometimes. 1/

submitted 105 days ago • 1 comment

Interesting piece by Will Crichton. When we write and evaluate papers, we act as if PL design is all science and theory. But really, it's also an art form where subtler, harder to measure things are at play. blog.sigplan.org/2024/11/21/e...

submitted 106 days ago • 1 comment

Attention🚨 We are looking for motivated students and researchers to be members of the PLDI 2025 Artifact Evaluation Committee. This year, we are accepting self-nominations (the form is here: forms.gle/2TPmixasDmqM...). Deadline: Dec 23rd, 2024. For more info: pldi25.sigplan.org/track/pldi-2...

submitted 109 days ago • 3 comments

I'll be at the Midwest PL Summit in Chicago today -- if you're around, say hi! My undergraduate student, Vishnu Satish, will be giving a talk on our work on CRDTs for syntax trees this afternoon! Happy to give demos of anything FP Lab is up to.

submitted 109 days ago • 0 comments

Alright, I'm here!

submitted 111 days ago • 2 comments

since more people are joining bluesky, time for a re-intro! i work on programming languages and compilers for hardware design and will be starting at MIT next year where i will lead the Foundations of Languages and Machines Lab (flame.csail.mit.edu). if the ideas excites you, reach out to me!

submitted 112 days ago • 2 comments

"A Verified Foreign Function Interface between Coq and C", by me, Kathrin Stark and Andrew W. Appel will appear at POPL 2025! www.cs.princeton.edu/~appel/paper... this is the culmination of years of research (and most of my grad school work), so I'm excited to see it finally published! 🎉

submitted 112 days ago • 2 comments

Excited to be attending and discussing some of my work on Polarized Subtyping (https://buff.ly/48WjNbC) at MWPLS 2024 https://buff.ly/492hZhA. See yinz there. Of note, my daughter is less enthused that she's not making the trip haha!

submitted 112 days ago • 0 comments

check out this new CMU HCII Starter Pack! go.bsky.app/EVdwwqT (if I missed you, just let me know!)

submitted 112 days ago • 0 comments

The next PLTea is (Wednesday) 20 November 2024 at 3pm UTC. Registration details on the PLTea google group or discord. pltea.github.io

submitted 113 days ago • 0 comments