Discover how formal verification can expose bugs in Solana! Our recent blog dives into using Solana Certora Prover (SCP) to detect vulnerabilities in the confidentiality extension of SPL Token 2022. Learn how SCP ensures security: medium.com/certora/formal…

Imagine consuming primarily milk and puréed vegetables your entire life, then trying ice cream for the very first time. I can’t stop watching this little one’s reaction. 😄

Wow! A chef with advanced expertise…

Congrats John, HumaniSE_Lab, and Monash for having John. BTW, I will have the great honor and opportunity to deliver a talk on human-centric software debugging in HumaniSE_Lab this September and very eager to look for opportunities for collaboration.

Interested in pursuing a #Phd at University of Melbourne (rank #1 in AU, #14 in world)? There are open positions available in #human aspects of SE, and intersection of #SE & #AI. Plz contact me if interested and see details below -next deadline is 24th oct study.unimelb.edu.au/find/courses/g…

It turns out the kitten she rescued was actually a panther Who wouldn't want a pet panther

A friend of mine, Prof. Xu is hiring PhD students at NC State Uni. Top people, top school, highly recommend!

I am hiring a postdoc to work with me at The University of Melbourne on broad area of Software Engineering. Please get in touch. jobs.unimelb.edu.au/en/job/914302/…

#CREST is very excited to host Dr. Bach Le's invited talk next week. He'll be giving a talk on "Human-centered and Data-driven Software Debugging" 🗓️ Time: Oct 16, 2023 (2pm - 3pm ACDT) Please reach out to us for more information on the talk. #SoftwareDebugging #ExpertTalk

Indeed a very interesting project that we are working on together: Combination of AI and techniques in PL/PA (programming languages/Program Analysis) for correctness and robustness guarantee. Looking forward to unlocking future successes with Thanh and collaborators.

We had an enlightening #GuestTalk today, presented by Dr. Bach Le from University of Melbourne, where he shared his research on human-centered & data-driven #SoftwareDebugging. #CREST members also engaged in discussions on common research interests, paving the way for potential collaboration.

One of the most fundamental conundrums in the philosophy of mathematics is the question of whether mathematics was discovered by humans or invented by them. cacm.acm.org/magazines/2023…

Looking for PhD students to join my group at UCSD CSE! If you're interested in designing programming languages and related tools to help programmers be more effective, please apply (connect.grad.ucsd.edu/apply/). I have projects on programming for climate science, Rust, and more.

I'm hiring! Two postdoctoral research fellows at UQ News (Brisbane, Australia), to pioneer human-centered decision support in collaboration with UQ Medicine. Post 1️⃣ Human factors, HCI, or psychology Post 2️⃣ Human-centered machine learning Details: uqtmiller.github.io/recruitment/

It's amazing to have a female undergraduate who led a paper accepted at EASE, co-advised by The Uni. of Melbourne, Hanoi Uni. of Science and Tech, and Uni of L’Aquila. Thank you EASE.

Been opening the lids for so long to just now know the truth that I was a man just made useful in the house

The Figen Everyone should wash their own dishes! 😂

🚀 Internetware 2025 will be co-located with FSE in beautiful Norway! 🌍 The Tool Demonstration Track is still open for submissions, but only 5 days left (📅 Deadline: March 17) As co-chairs, Bach Le, Luca, and I, look forward to your submissions! 🔗 conf.researchr.org/track/internet…