Concepedia

Liviu Tancau

LT

7

Publications

1K

Citations

7

H-Index

2006

Active since

Affiliations

University of California, Berkeley(Current)

Berkeley College

IBM (United States)

Liviu Tancau is an author at University of California, Berkeley specializing in program analysis, computer engineering, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisComputer EngineeringFormal MethodsSoftware AnalysisFormal VerificationSoftware EngineeringSoftware DesignAutomated Reasoning

Publications per year

2006–2007

7

Publications

7

Combinatorial sketching for finite programs

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík et al. · 2006 · 636 citations

Mathematical Programming, Engineering, Compiler Technology +21

Sketching stencils

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau et al. · 2007 · 150 citations

Hardware Security, Reference Stencil, Engineering +14

Combinatorial sketching for finite programs

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík et al. · ACM SIGOPS Operating Systems Review · 2006 · 80 citations

Mathematical Programming, Engineering, Compiler Technology +21

Combinatorial sketching for finite programs

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík et al. · ACM SIGPLAN Notices · 2006 · 76 citations

Mathematical Programming, Engineering, Compiler Technology +21

Probabilistic Data Management for Pervasive Computing: The Data Furnace Project.

Minos Garofalakis, Kurt P. Brown, Michael J. Franklin et al. · IEEE Data(base) Engineering Bulletin · 2006 · 38 citations

Rows per page

1–5 of 7