The complexity of hardware designs has increased over the years due to the rapid
advancement of technology coupled with the need to support diverse and complex features …

Simulation is a powerful approach that plays a significant role in science and technology.
Computational models that simulate learner interactions and data hold great promise for …

We propose a new probabilistic programming language for the design and analysis of
perception systems, especially those based on machine learning. Specifically, we consider …

We propose a new probabilistic programming language for the design and analysis of cyber-
physical systems, especially those based on machine learning. We consider several …

Recent research has shown that hardware fuzzers can effectively detect security
vulnerabilities in modern processors. However, existing hardware fuzzers do not fuzz well …

Many analyses on configurable software systems are intractable when confronted with
colossal and highly-constrained configuration spaces. These analyses could instead use …

Given a CNF formula and a weight for each assignment of values tovariables, two natural
problems are weighted model counting anddistribution-aware sampling of satisfying …

In software and hardware testing, generating multiple inputs which satisfy a given set of
constraints is an important problem with applications in fuzz testing and stimulus generation …

Constrained-random verification (CRV) is widely used in industry for validating hardware
designs. The effectiveness of CRV depends on the uniformity of test stimuli generated from a …

Functional verification constitutes one of the most challenging tasks in the development of
modern hardware systems, and simulation-based verification techniques dominate the …