iiinova — where your digital self keeps evolving

Reposted by Shin Yoo

Diomidis Spinellis @coolsweng.bsky.social · 23/12/2025

Several news outlets reported the amazing discovery of a 1970s Fourth Edition Research Unix magnetic tape. I incorporated the tape’s source code into the Unix History Repository hosted on GitHub and studied the code’s composition. Here's what I found. www.spinellis.gr/blog/2025122...

The discovered Fourth Edition tape (photo credit Rob Ricci)

0188

Shin Yoo @drsyoo.bsky.social · 22/12/2025

Our paper titled "Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs" has been accepted into FSE 2026. I am pretty excited about this, so wrote up what it means here: coinse.github.io/2025/12/22/C... TLDR: we can now use surprise adequacy for LLMs, PRE-generation!

coinse.github.io

Clotho is accepted to FSE 2026

We can now measure task-specific surprise adequacy for LLM inputs.

010

Shin Yoo @drsyoo.bsky.social · 10/12/2025

Certain albums were always circulating among my close friends back in the days + transition to streaming means that I didn’t even realise some essentials were missing from my collection. I think Lars Grunske would approve my purchase but only in half (because he would go for South of Heaven)…

010

Shin Yoo @drsyoo.bsky.social · 01/12/2025

A happy news to start the day - our work with SAP got accepted into ICSE SEIP 2026. We show that an LLM agent can effectively localise the root causes of SAP HANA crashes, given only crash dumps. It feels great to show that the agentic approach works in a realistic context (35MLoC in this case).

131

Shin Yoo @drsyoo.bsky.social · 30/11/2025

ICST has always took pride in the diversity of workshop it offers - please help us continue the tradition in 2026 :)

000

Shin Yoo @drsyoo.bsky.social · 17/11/2025

Dearly beloved, we are gathered here today to celebrate this thing called ASE 2025 ;) @aseconf.bsky.social @mboehme.bsky.social @llingming.bsky.social

0143

Shin Yoo @drsyoo.bsky.social · 14/11/2025

Wishing safe travels to those who are flying into Seoul for @aseconf.bsky.social - see you soon ;)

031

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 22/10/2025

🎙️ #ASE2025 Keynote Speaker Series (1 of 3) What do symbolic model checking, path profiling, and quantum simulation have in common? 🤔 Find out from Prof. Reps (University of Wisconsin-Madison) in his ASE2025 Keynote “We Will Publish No Algorithm Before Its Time”! conf.researchr.org/track/ase-20...

0103

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 10/10/2025

🚨 Do not miss the early registration, which remains open until 15th October!

011

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 29/09/2025

Meet Soha, another proceedings co-chair at #ASE2025 💫 She’s an Assistant Professor at Ain Shams University, Egypt, and is passionate about all aspects of building reliable programs. ⌨️ Thrilled to have her on board for ASE'25!

031

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 28/09/2025

Meet Yannic, Proceedings Co-Chair of #ASE2025! He’s helping manage the publication process together with Soha Hussein. 💪 Co-organizer of #FUZZING’26 👨‍💻 Passionate about improving software quality @yannicnoller.bsky.social

091

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 28/09/2025

The #ASE25 venue, Grand Walkerhill Seoul, is located on the eastern side of Seoul, right next to the Han River. Nearby, you’ll find Achasan Mountain, a lovely spot for a short hike. If you have some free time, take a walk up with your colleagues and enjoy the beautiful panoramic view of Seoul 💙

131

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 28/09/2025

You can reach the venue by taxi or public bus, or take advantage of the free shuttle bus that runs every 15 minutes from Gangbyeon Station (Line 2) or Gwangnaru Station (Line 5). More info: www.walkerhill.com/grandwalkerh...

walkerhill.com

GRAND

GRAND WALKERHILL SEOUL, DOUGLAS HOUSE, BOOK A ROOM, BOOK A TABLE, WALKERHILL REWARDS, WALKERHILL PRESTIGE CLUB, MEMBERSHIP, MEETING, WEDDING, ASTON-HOUSE, FAMILY GATHERINGS, BRIDE AND GROOM MEETING, ...

031

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 20/09/2025

Meet Ben, Doctoral Symposium Co-Chair & D&I Chair at #ASE2025 — his research focuses on secure software engineering and yes, he sails 😎⛵!

161

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 13/09/2025

Here’s our other Program Co-Chair, Lingming Zhang (@llingming.bsky.social) from UIUC! “Playing with software” sounds like the perfect spirit for ASE! :-)

ASE2025 Program Co-Chair

Lingming Zhang (he/him),
Prof at UIUC 🌽, USA 🇺🇸

🎮 Make a living by playing with software — synthesis, hack, and repair; neural or symbolic.

041

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 12/09/2025

Meet Marcel Böhme (@mboehme.bsky.social), our Program Co-Chair of ASE 2025! 😉 Together with his fellow chair, Lingming Zhang (UIUC), he is overseeing the Research Track submissions.

Marcel Böhme (he/him),
Scientist at MPI, Germany 🇩🇪

ASE'25 Program Co-Chair

🦾 #FUZZING’26 co-organizer,
🌱 Open Science enthusiast,
Father of two daughters,
🏃‍♂️ 15km every day.

171

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 15/09/2025

Applications Open: ASE 2025 Student Volunteers 🕐 ~20 hrs of service during conference week 🎟️ Free ASE registration (SV covers student reg fee; if you have a paper, one co-author must register at full rate) 👕 ASE 2025 T-shirt + more! Please share this with your students and networks! Apply here ⤵️

conf.researchr.org

ASE 2025 - Student Volunteers - ASE 2025

Welcome to the website of the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025. The ASE conference is the premier research forum for Automated Software Engineering. E...

021

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 17/09/2025

Meet Sang Kil, one of our NIER Track Co-Chairs for #ASE2025! Seems like we’ve got quite a few runners on the ASE’25 OC team 😉

041

Reposted by Shin Yoo

Jonathan Aldrich @jonathanaldrich.bsky.social · 12/09/2025

Canada signed on to ACM OPEN! I'm super happy, this was worrying to a lot of my Canadian colleagues. Now faculty and students at Canadian universities that are part of the consortia can publish Open Access with ACM with no article processing charges. www.acm.org/media-center...

acm.org

ACM Signs Transformative ACM Open Agreement with Canadian Regional Consortia

ACM, the Association for Computing Machinery, the world’s largest computing society, has signed a transformative read-and-publish agreement with a group of 8 Canadian regional library consortia, repre...

2122

Shin Yoo @drsyoo.bsky.social · 12/09/2025

I would like to add that @mboehme.bsky.social runs 15Km pert day only because I let him have my 6Km's worth of running for free 🫢😛

080

Shin Yoo @drsyoo.bsky.social · 21/06/2025

Off to Trondheim. Hope to see many people there!

040

Shin Yoo @drsyoo.bsky.social · 11/06/2025

I've been joking about how I wrote a first-author paper after such a long time. Now the reality is hitting back, and the idea of giving a 10 minute talk is actually a bit daunting, knowing that I am prone to go over time :p

020

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 03/06/2025

🎉 HUGE NEWS! 🎉 #ASE2025 has received a record-breaking 1,190 submissions – the most EVER for a single-cycle top SE conference! 🤯 Massive thanks to all authors who submitted. Looking forward to what promises to be an unforgettable conference with an incredible program 🔥!

conf.researchr.org

ASE 2025

0187

Reposted by Shin Yoo

Marcel Böhme @mboehme.bsky.social · 03/05/2025

✨️ Now that #ICSE25 is over, it's time to get your papers ready for #ASE25 (30th May)! 📢 Here is what's new: * Major Revision v2.0 * Review criteria for tech. & experience papers * Policy on LLM-assisted Reviews * Auto-bidding (TPMS) * Rapid Response Reliable Reviewers 👇 For more details, read on.

12413

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 30/04/2025

📆 One month to go! The ASE 2025 Research Papers submission deadline is approaching: 30 May. We welcome impactful ideas and results that advance the state of the art in software engineering. 😉 #ASE2025 #SoftwareEngineering #CallForPapers

074

Reposted by Shin Yoo

Seongmin Lee @nimgnoeseel.bsky.social · 14/04/2025

Can we foresee the unseen in software testing? I’ll share how statistical magic helps us quantify residual risk and make testing results more accountable and reliable✨Thanks for the invite! 🙏 Join my tutorial @ SBST (co-located w/ ICSE) 🖥️ sbft25.github.io 📅 28.04. 14:30 GMT-4 (live on Twitch too)

031

Shin Yoo @drsyoo.bsky.social · 14/03/2025

Here's something that I am genuinely excited about. We propose a graph-like representation for executions of LLM agents called semantic flow. Intuitively speaking, it connects clusters of latent vectors which are embeddings of LLM outputs. Will appear at FSE 2025 IVR track. arxiv.org/abs/2503.10310

arxiv.org

Capturing Semantic Flow of ML-based Systems

ML-based systems are software systems that incorporates machine learning components such as Deep Neural Networks (DNNs) or Large Language Models (LLMs). While such systems enable advanced features suc...

121

Shin Yoo @drsyoo.bsky.social · 05/03/2025

The organisers are working very hard to make this a memorable event for everyone. Please send your best work - I hope to see everyone in Seoul in November. You know it is the place to be right now 😎

030

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 05/03/2025

📢 Call for Papers: #ASE2025! ASE2025 invites submissions for the following upcoming tracks 🔍 Research Papers: 30 May ✨ NIER: 12 Jul ⚒️ Tool Demonstration: 23 Jul 🏢 Industry Showcase: 1 Aug 📄 Journal First: 1 Sep - 🛠 Workshop Proposals: 4 Apr #ASE2025 #SoftwareEngineering #Conference #CallForPapers

conf.researchr.org

ASE 2025

01210

Reposted by Shin Yoo

International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social · 05/03/2025

We are excited to announce the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)! 🏙️ Join us in the vibrant city of Seoul, South Korea, from Sunday, November 16th, to Thursday, November 20th, 2025. #ASE2025 #SoftwareEngineering #Conference

034

Reposted by Shin Yoo

Steve Chambers @planningtransport.co.uk · 03/01/2025

[From Reddit via Mastodon] We need to work out how we are going to communicate post-internet.

291213439

Reposted by Shin Yoo

Marcel Böhme @mboehme.bsky.social · 23/12/2024

Nominate yourself for the ASE'25 PC! The 40th IEEE/ACM International Conference on Automated Software Engineering is looking for PC nominations to maximize diversity of perspectives. 🖊️ forms.gle/UtKE4WBTrtUs... 🧑‍💻 conf.researchr.org/track/ase-20...

forms.gle

PC self-nomination for ASE 2025 (Research Track)

Please indicate your interest to serve on the ASE 2025 program committee through filling out this form. Please include as much information as possible. After submitting the form you will receive a con...

01310

Shin Yoo @drsyoo.bsky.social · 11/12/2024

If LLM agents are truly capable of repository-level tasks, we argue that they should also be able to install a new repository from GitHub and test whether it works. Alas, this is harder than we think. A paper from @coinse.bsky.social that is to appear at SANER 2025: arxiv.org/abs/2412.06294

arxiv.org

Beyond pip install: Evaluating LLM Agents for the Automated Installation of Python Projects

Many works have recently proposed the use of Large Language Model (LLM) based agents for performing `repository level' tasks, loosely defined as a set of tasks whose scopes are greater than a single f...

285

Shin Yoo @drsyoo.bsky.social · 11/12/2024

Is there something going on over at X? What's with this influx of new accounts? :)

110

Reposted by Shin Yoo

Seo-young Silvia Kim @sysilviakim.bsky.social · 08/12/2024

573 political scientists in and out of Korea have written and signed a declaration calling for Yoon's immediate impeachment. I've translated it into English with Prof. Jeong Hyun Kim at Yonsei: docs.google.com/document/d/1...

docs.google.com

A Declaration of Political Scientists of South Korea

A Declaration by Political Scientists of South Korea Call for an Immediate Reintroduction and the Passage of the Impeachment Bill to Restore the Constitutional Order The emergency martial law declar...

012449

Shin Yoo @drsyoo.bsky.social · 08/12/2024

These flags really became a sort of a coping mechanism for people, and I love them.

020

Shin Yoo @drsyoo.bsky.social · 08/12/2024

Star Wars Rebels - Seoul Branch

000

Shin Yoo @drsyoo.bsky.social · 08/12/2024

“National Glucose Level Spike Prevention Society”

000

Shin Yoo @drsyoo.bsky.social · 08/12/2024

The Miskatonic University was there too :)

000

Shin Yoo @drsyoo.bsky.social · 08/12/2024

There were a few really notable such flags last night. I will repost a few below :)

010

Shin Yoo @drsyoo.bsky.social · 07/12/2024

Failing to impeach your present (when you have a good reason to do so, obviously) can really wreak your producivity.

250

Reposted by Shin Yoo

Neil Walkinshaw @neilwalkinshaw.bsky.social · 30/11/2024

Delighted to be co-organising the inaugural CauSE 2025 workshop (Causal Methods in Software Engineering), co-located with FSE in Trondheim. We welcome papers on all things causality and SE! Deadline Feb. 25th. Spread the word! causality-software-engineering.github.io/cause-worksh...

causality-software-engineering.github.io

Description

Workshop CauSE 2025

0146

Shin Yoo @drsyoo.bsky.social · 28/11/2024

Having an exciting afternoon with @rfeldt.bsky.social here in KAIST, cooking up ideas after ideas until they get really wacky... this is how you go about it, right?

132

Reposted by Shin Yoo

Andreas Zeller @andreaszeller.bsky.social · 24/11/2024

If you'd like to include a #Bluesky icon in some text of your Web page (see example), here's a little HTML/SVG snippet for you that does right that: gist.github.com/andreas-zell...

Contact data with highlighted bluesky icon

2327

Reposted by Shin Yoo

Marcel Böhme @mboehme.bsky.social · 22/11/2024

If you are applying for TT faculty positions this year: * find resources on how to prepare effectively, * start/join groups of peers & share notes, * request and read lots of research statements, and * get lots of feedback on your research statement. Most peers/seniors are ready to help 🤞.

2111