Rohan Padhye

@rohan.padhye.org

519 Followers 108 Following

Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org

Screenshot of a Korean writing app with introductory lessons for Hangul
Front page of a paper titled "Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM" by Ao Li et al. from Carnegie Mellon University.
List of Accepted Papers at the FUZZING Workshop
Text highlighted from a research paper that says "To the best of our knowledge, there is no existing search-based testing approach for productiongrade AV software, including [20], [21], [41]–[55] that: (i) uses our novel gene representation"
Paper titled "It’s About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software". Authors List: Shrey Tiwari Carnegie Mellon University Pittsburgh, PA, USA shrey@cmu.edu Peter Vandervelde∗ University of California, Santa Barbara Santa Barbara, CA, USA pvandervelde@ucsb.edu Serena Chen∗ University of California, San Diego San Diego, CA, USA sec022@ucsd.edu Ao Li Carnegie Mellon University Pittsburgh, PA, USA aoli@cmu.edu Alexander Joukov∗ Stony Brook University Stony Brook, NY, USA ajoukov@cs.stonybrook.edu Rohan Padhye Carnegie Mellon University Pittsburgh, PA, USA rohanpadhye@cmu.edu
Blog post titled "Concurrency bugs in Lucene: How to fix optimistic concurrency failures" By Benjamin Trent and Ao Li (February 7, 2025) Text reads: "Thanks to Fray, a deterministic concurrency testing framework from CMU’s PASTA Lab, we tracked down a tricky Lucene bug and squashed it"
A screenshot with two columns. On the left, a Python property-based test annotated with `event(<predicate>)` statements. On the right, a visualization of how frequently event predicates have been excercised by random tests, plotted as histograms and tree-maps.
You may be less familiar with the second type of assertion, which at Antithesis we call Sometimes Assertions. Just as an always assertion asserts that something is always true, a Sometimes Assertion asserts that something is sometimes true! Here are some examples: ``` assertSometimes x < 1; assertSometimes y == 1; assertSometimes(condition); ```
``` @Fuzz public void testMap2Trie(Map<String, Integer> map, String key) { assumeTrue(map.containsKey(key)); // Create new trie with input `map` Trie trie = new PatriciaTrie(map); // The key should exist in the trie as well assertTrue(trie.containsKey(key)); } ```