Oct 20

Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond

11:40 AM to 12:40 PM

Register in advance for this meeting

Koushik Sen, UC Berkeley

In the last two decades, automation has had a significant impact on software testing and analysis. Automated testing techniques, such as symbolic execution, concolic testing, and feedback-directed fuzzing, have found numerous critical faults, security vulnerabilities, and performance bottlenecks in mature and well-tested software systems. The key strength of automated techniques is their ability to quickly search state spaces by performing repetitive and expensive computational tasks at a rate far beyond the human attention span and computation speed. In this talk, I will give a brief overview of our past and recent research contributions in automated test generation using symbolic execution, program analysis, constraint solving, fuzzing, and machine learning.

Register in advance for this meeting

Oct 25

CS@CU MS Bridge Information Session

12:00 PM to 1:00 PM

Join the session

The CS@CU MS Bridge Information Sessions are an opportunity for prospective applicants to learn more about the program requirements, application process, and connect with faculty, staff, and current students.

Oct 27

Using Machine Learning for Scientific Discovery in Biology

11:40 AM to 12:40 PM

Register in advance for this meeting

Oded Regev, Courant Institute, New York University

Recent advances in machine learning such as deep learning have led to powerful tools and techniques for modeling complex data with high predictive accuracy. However, the resulting models are typically black box, limiting their usefulness in advancing science. Here we will describe how machine learning can be used to model in an interpretable way a certain fundamental cellular process known as RNA splicing. The model provides insights into molecular mechanisms which we are currently validating in the lab.

Based on joint work with Susan E. Liao, Mukund Sudarshan, Mauricio A Arias, Jiacheng Zhang, Lawrence A Chasin, and Jingyi Fei.

Register in advance for this meeting

Oct 28

Quantum Money

2:00 PM to 3:00 PM

Register in advance for this meeting

Peter Shor, MIT

Quantum money is a quantum cryptographic protocol that allows for the creation of verifiable but uncopyable states. The requirements are:
A) One player (the mint) must be able to produce a quantum money state, along with a serial number.
B) The serial number gives a verification test, and the quantum money state must pass this test with very high probability.
C) If some aspiring counterfeiter has the quantum money state and knows the verification test, they cannot create two quantum states that both pass the verification test.
Quantum money was first proposed in 2009. Since then, several protocols for quantum money have been proposed. We will discuss these protocols and the underlying mechanisms by which they operate.

Nov 02

Election Day

12:00 AM to 11:59 PM

Nov 25


12:00 AM to 11:59 PM