Registration begins for Spring 2020
Registration begins for Spring 2020
Lunch available at 11:45 a.m.
Meeting begins at noon
CICS Community Conversations are a way to bring our community together to discuss current issues. This year's conversations will focus on race, class, gender, socioeconomic status, ethnicity, and other identities that...
Abstract: Interactive theorem provers make it possible to prove that a program satisfies a specification. This provides a high degree of certainty that the program is trustworthy. The last two decades have marked a new...
In many settings, learning algorithms are deployed "in the wild", where their output is used before the classifier has
been fully trained. In this online context, a natural model of interaction is Angluin's (1988)...
This event is a celebration for first-generation undergraduate students in CICS. There will be food, refreshments, speakers, and engaging group activities such as icebreakers and team-building exercises.
Holiday - Veterans' Day
Monday class schedule will be followed
Abstract: Software bugs, leading to correctness or security issues, are pervasive in modern software. Fuzzing or fuzz testing is a method to find such bugs automatically by sending many random-looking inputs to the...
Advisor: Brian Levine