Rohan Padhye
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Reposted by Rohan Padhye
Youtube: youtu.be/oF7krd0TQks
Spotify: open.spotify.com/episode/2PH7...
Apple Podcasts: podcasts.apple.com/us/podcast/f...
Spotify: open.spotify.com/episode/2PH7...
Apple Podcasts: podcasts.apple.com/us/podcast/f...
From the Lab to Production: Making Cutting-Edge Testing Practical
YouTube video by Antithesis
youtu.be
November 26, 2025 at 7:10 PM
Youtube: youtu.be/oF7krd0TQks
Spotify: open.spotify.com/episode/2PH7...
Apple Podcasts: podcasts.apple.com/us/podcast/f...
Spotify: open.spotify.com/episode/2PH7...
Apple Podcasts: podcasts.apple.com/us/podcast/f...
(of course I don't know what all the Korean words mean but hoping it's useful to find place names and food items)
November 16, 2025 at 8:12 AM
(of course I don't know what all the Korean words mean but hoping it's useful to find place names and food items)
My current conjecture is that the examples of broken JSON syntax in the paper somehow accidentally caused something like second-order prompt injection in Google Scholar's indexing pipeline. But there's only one way to find out ^^^
July 14, 2025 at 5:37 PM
My current conjecture is that the examples of broken JSON syntax in the paper somehow accidentally caused something like second-order prompt injection in Google Scholar's indexing pipeline. But there's only one way to find out ^^^
Hilarious! It looks like Google Scholar is pulling citations for a different Kirschner et al. paper from 2006.
I wonder if one could use the technique proposed in "Debugging inputs" to identify what causes this anomaly. Gonna need Lukas to publish a *lot* of papers.
I wonder if one could use the technique proposed in "Debugging inputs" to identify what causes this anomaly. Gonna need Lukas to publish a *lot* of papers.
July 14, 2025 at 5:33 PM
Hilarious! It looks like Google Scholar is pulling citations for a different Kirschner et al. paper from 2006.
I wonder if one could use the technique proposed in "Debugging inputs" to identify what causes this anomaly. Gonna need Lukas to publish a *lot* of papers.
I wonder if one could use the technique proposed in "Debugging inputs" to identify what causes this anomaly. Gonna need Lukas to publish a *lot* of papers.
The limit applies to references too? Preposterous!
June 17, 2025 at 5:24 PM
The limit applies to references too? Preposterous!
We also have an excellent program of research talks and *fuzzing nuggets*. Detailed schedule coming soon.
conf.researchr.org/home/issta-2...
conf.researchr.org/home/issta-2...
May 27, 2025 at 6:49 PM
We also have an excellent program of research talks and *fuzzing nuggets*. Detailed schedule coming soon.
conf.researchr.org/home/issta-2...
conf.researchr.org/home/issta-2...