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...
The College of Information and Computer Sciences (CICS) invites New England area alumni and friends to its annual alumni meet-up at Microsoft New England in Cambridge, MA.
Enjoy an evening among friends to...