go to the list of abstracts

go to the list of previous talks
previous talks

go to the list of other SCS seminars
scs seminars

go to the SCS home page

go to the CMU home page


The Next Talk Fa'15 Talks General Info Speaking Req't

Scheduling Black-box Mutational Fuzzing

Friday, October 2nd, 2015 from 12-1 pm in GHC 6501.

Samantha Gottlieb, CSD

Black-box mutational fuzzing is a simple yet effective technique to find bugs in software. Given a set of program-seed pairs, we ask how to schedule the fuzzing of these pairs in order to maximize the number of unique bugs found at any point in time. We develop an analytic framework using a mathematical model of black-box mutational fuzzing and use it to evaluate 26 existing and new randomized online scheduling algorithms. Our experiments show that one of our new scheduling algorithms outperforms the multi-armed bandit algorithm in the current version of the CERT Basic Fuzzing Framework by finding 1.5 more unique bugs in the same amount of time.

Joint work with Maverick Woo, Sang Kil Cha, and David Brumley.

Presented in Partial Fulfillment of the CSD Speaking Skills Requirement.

Fall 2015 Schedule
Mon, Aug 31 GHC 6501 Expired
Fri, Sep 4 GHC 6501 Expired
Mon, Sep 7 GHC 6501 Labor Day UNAVAILABLE
Fri, Sep 11 GHC 6501 Yan Gu Sorting with Asymmetric Read and Write Costs
Mon, Sep 14 GHC 6501 Expired
Fri, Sep 18 GHC 4303 Ankush Das Termination of Initialized Linear Loop Programs
Mon, Sep 21 GHC 6501 Jesse Dunietz Annotating and Automatically Tagging Constructions of Causation
Fri, Sep 25 GHC 6501 AVAILABLE
Mon, Sep 28 GHC 6501 AVAILABLE
Fri, Oct 2 GHC 6501 Samantha Gottlieb Scheduling Black-box Mutational Fuzzing
Mon, Oct 5 GHC 6501 Waleed Ammar Towards a language-universal syntactic parser
Fri, Oct 9 GHC 6501 Thomas Tauber-Marshall ThomasDB: Automatic Incremental Computation for Big Data
Mon, Oct 12 GHC 6501 AVAILABLE
Fri, Oct 16 GHC 6501 Vittorio Perera Simple And Complex Natural Language Commands For A Mobile Service Robot
Mon, Oct 19 GHC 7101 AVAILABLE
Fri, Oct 23 GHC 6501 AVAILABLE
Mon, Oct 26 GHC 6501 AVAILABLE
Fri, Oct 30 GHC 6501 AVAILABLE
Mon, Nov 2 GHC 6501 AVAILABLE
Fri, Nov 6 GHC 6501 AVAILABLE
Mon, Nov 9 GHC 6501 AVAILABLE
Fri, Nov 13 GHC 6501 AVAILABLE
Mon, Nov 16 GHC 6501 AVAILABLE
Fri, Nov 20 GHC 6501 AVAILABLE
Mon, Nov 23 GHC 6501 AVAILABLE
Fri, Nov 27 GHC 6501 Thanksgiving UNAVAILABLE
Mon, Nov 30 GHC 6501 AVAILABLE
Fri, Dec 4 GHC 4303 AVAILABLE
Mon, Dec 7 GHC 6501 AVAILABLE
Fri, Dec 11 GHC 6501 AVAILABLE
Mon, Dec 14 GHC 6501 AVAILABLE

General Info

The Student Seminar Series is an informal research seminar by and for SCS graduate students from noon to 1 pm on Mondays and Fridays. Lunch is provided by the Computer Science Department (personal thanks to Sharon Burks and Debbie Cavlovich!). At each meeting, a different student speaker will give an informal, 40-minute talk about his/her research, followed by questions/suggestions/brainstorming. We try to attract people with a diverse set of interests, and encourage speakers to present at a very general, accessible level.

So why are we doing this and why take part? In the best case scenario, this will lead to some interesting cross-disciplinary work among people in different fields and people may get some new ideas about their research. In the worst case scenario, a few people will practice their public speaking and the rest get together for a free lunch.

Guideline & Speaking Requirement Need-to-Know

Note: Step #1 below are applicable to all SSS speakers. You can schedule AT MOST THREE talks per semester.

SSS is an ideal forum for SCS students to give presentations that count toward fulfilling their speaking requirements. The specifics, though, vary with each department. For instance, students in CSD will need to be familiar with the notes in Section 8 of the Ph.D. document and follow the instructions outlined on the Speakers Club homepage. Roughly speaking, these are the steps:

  1. Schedule a talk with SSS by sending your talk title, abstract, additional info (like "Joint work with..." or "In Partial Fulfillment of the Speaking Requirement"), and a picture of yourself (preferably jpeg) to sss@cs at least TWO WEEKS before your scheduled talk.
  2. After you are confirmed with your SSS slot, go to the Speakers Club Calendar and schedule your talk at least THREE WEEKS in advance of the talk date.
  3. On the day of your talk, make sure you print Speakers Club evaluation forms for your evaluators to use.
Students outside of CSD will need to check with their respective departments regarding the procedure. As another example, ISRI students fulfill their speaking requirements by attending a semesterly Software Research Seminar and giving X number of presentations per school year. If you have experience with your department that might help others in your department, please feel free to contribute your knowledge by emailing us. Thank you!

SSS Coordinators

Armaghan Naik, Computational Biology
Lin Xiao, CSD


Web contact: sss+www@cs