Back to Results
First PageMeta Content
Programming idioms / Recursion / Subroutines / Procedural programming languages / Functional languages / Induction variable / ALGOL 68 / Stack / Stencil codes / Computer programming / Software engineering / Computing


Sketching Stencils Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat,∗ Sanjit Seshia University of California, Berkeley {asolar,arnold,tancau,bodik,sseshia}@eecs.berkeley.edu Abstract
Add to Reading List

Document Date: 2007-04-09 21:11:47

Open Document

File Size: 160,05 KB

Share Result on Facebook

City

San Diego / /

Company

AES / ABC / Intel / IBM / /

Country

United States / /

Currency

USD / /

/

Facility

Vijay Saraswat / ∗ Sanjit Seshia University of California / /

IndustryTerm

reduction algorithm / stencil reduction algorithm / scientific applications / binary search / call site / software synthesis approach / structured grid applications / combinatorial search / namely computing / computing / signal processing / above algorithm / scientific computing literature / counterexample-driven search procedure / iterative algorithms / Scientific computing codes / /

Organization

University of California / Berkeley / /

Person

Vijay Saraswat / ∗ Sanjit / Armando Solar-Lezama / /

Position

General / programmer / /

ProgrammingLanguage

Fortran / C++ / /

ProvinceOrState

California / /

Technology

above algorithm / image compression / t-1 / 3-D / stencil reduction algorithm / fluid dynamics / MultiGrid The MultiGrid algorithm / reduction algorithm / /

SocialTag