Events

Concretization is an effective weapon in the armory of symbolic execution engines. However, concretization can lead to loss in coverage, path divergence, and generation of test-cases on which the intended bugs are not reproduced. In this paper, we propose an algorithm, Deferred Concretization, that uses a new category for values within symbolic execution (referred to as the symcrete values) to pend concretization till they are actually needed.

Design beyond Zero forms all kind of technical and focused themes. Looking beyond the SGP Green Plan goal of net zero carbon emissions toward a Singapore that is economically, socially and environmentally sustainable.

Jason Altschuler (Massachusetts Institute of Technology) – Computing Wasserstein barycenters: easy or hard?

Conversations in Design, Technology, and Society with Dr. Adam Drazin and Dr. Pauline Garvey

Mr. Jay Jenkins (Google Cloud business, APAC) – Data-driven Transformation