Shin Yoo's Avatar

Shin Yoo

@drsyoo.bsky.social

academic/music lover/reader/gamer/espresso drinker+maker

226 Followers  |  60 Following  |  39 Posts  |  Joined: 21.11.2024
Posts Following

Posts by Shin Yoo (@drsyoo.bsky.social)

The discovered Fourth Edition tape (photo credit Rob Ricci)

The discovered Fourth Edition tape (photo credit Rob Ricci)

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

23.12.2025 18:38 โ€” ๐Ÿ‘ 18    ๐Ÿ” 8    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Clotho is accepted to FSE 2026 We can now measure task-specific surprise adequacy for LLM inputs.

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!

22.12.2025 15:05 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

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)โ€ฆ

10.12.2025 03:26 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
From the funny community on Reddit: Calvin and Hobbes snowmen were always the best Explore this post and more from the funny community

I have to add: www.reddit.com/r/funny/comm...

04.12.2025 12:41 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Cause Localization with AutoCrashFL Fault Localization (FL) aims to identify root causes of program failures. FL typically targets failures observed from test executions, and as such, often involves dynamic analyses to improve accuracy,...

Kudos to Sungmin Kang and @gabin.bsky.social who lead the project, and thank you to SAP for the support. Preprint available from: arxiv.org/abs/2510.22530

01.12.2025 02:34 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

01.12.2025 02:33 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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

30.11.2025 14:31 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Congratulations, well deserved!

28.11.2025 13:41 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Oh my I love this - why was this not known more widely!?

21.11.2025 10:48 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image Post image Post image

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

17.11.2025 03:18 โ€” ๐Ÿ‘ 15    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

14.11.2025 14:22 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

๐ŸŽ™๏ธ #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...

22.10.2025 11:39 โ€” ๐Ÿ‘ 10    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

๐Ÿšจ Do not miss the early registration, which remains open until 15th October!

10.10.2025 07:42 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

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!

29.09.2025 09:48 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

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

28.09.2025 12:57 โ€” ๐Ÿ‘ 9    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

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 ๐Ÿ’™

28.09.2025 13:04 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
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, ...

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

28.09.2025 13:07 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Meet Ben, Doctoral Symposium Co-Chair & D&I Chair at #ASE2025 โ€” his research focuses on secure software engineering and yes, he sails ๐Ÿ˜Žโ›ต!

20.09.2025 10:29 โ€” ๐Ÿ‘ 7    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
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.

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.

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

13.09.2025 07:42 โ€” ๐Ÿ‘ 4    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
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.

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.

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.

12.09.2025 04:07 โ€” ๐Ÿ‘ 7    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1
Preview
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...

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 โคต๏ธ

15.09.2025 10:03 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

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 ๐Ÿ˜‰

17.09.2025 08:56 โ€” ๐Ÿ‘ 4    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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...

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

12.09.2025 15:30 โ€” ๐Ÿ‘ 12    ๐Ÿ” 2    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

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 ๐Ÿซข๐Ÿ˜›

12.09.2025 09:23 โ€” ๐Ÿ‘ 8    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
In 1900, 31% of all deaths were children under the age of 5.  Today itโ€™s 0.7%.  Vaccines, medications, and modern science are the reason why.  Trust the science, itโ€™s been proven to work safely and efficiently time and time again.

In 1900, 31% of all deaths were children under the age of 5. Today itโ€™s 0.7%. Vaccines, medications, and modern science are the reason why. Trust the science, itโ€™s been proven to work safely and efficiently time and time again.

04.09.2025 00:07 โ€” ๐Ÿ‘ 20087    ๐Ÿ” 6962    ๐Ÿ’ฌ 441    ๐Ÿ“Œ 286

Off to Trondheim. Hope to see many people there!

21.06.2025 12:29 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

10.06.2025 23:56 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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...

๐ŸŽ‰ 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 ๐Ÿ”ฅ!

03.06.2025 14:57 โ€” ๐Ÿ‘ 18    ๐Ÿ” 7    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1
Post image

โœจ๏ธ 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.

03.05.2025 14:25 โ€” ๐Ÿ‘ 26    ๐Ÿ” 14    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

๐Ÿ“† 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

30.04.2025 05:37 โ€” ๐Ÿ‘ 8    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0