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.
Add to GMail
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.
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.
Add to GMail