- Publications
- Influence
Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
Sketching is a software synthesis approach where the programmer develops a partial implementation - a sketch - and a separate specification of the desired functionality. The synthesizer then… Continue Reading
Performance of stencil computations can be significantly improved through smart implementations that improve memory locality, computation reuse, or parallelize the computation. Unfortunately,… Continue Reading
Many traditional techniques for "looking inside" volumetric data involve removing portions of the data, for example using various cutting tools, to reveal the interior. This allows the user to see… Continue Reading
The wide deployment of wireless sensor and RFID (Radio Frequency IDentification) devices is one of the key enablers for next-generation pervasive computing applications, including large-scale… Continue Reading
Computer Science DivisionUniversity of California at Berkeley, Berkeley CA 94720, USA{daisyw,ireneos,tancau}@cs.berkeley.eduAbstract. Recently, wireless sensor deviceshave been widely deployed in… Continue Reading
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The synthesizer then… Continue Reading
We present four extensions to the SKETCH programming system developed at UC Berkeley: (a) support for floating point numbers; (b) a new circuit-based solver; (c) performing synthesis and verification… Continue Reading
We propose an approach for resizing finite implementations generated by the SKETCH synthesis framework. Our solution generates a formal proof of equivalence between size-parameterized versions of a… Continue Reading