| 
|
QuoteRef: solaA6_2005
topics >
all references >
Topic:
transformation of programs
Topic:
incremental development
Topic:
programmer productivity
Topic:
executable code from specifications and designs
Topic:
vector processing
Topic:
efficiency
Topic:
data flow languages
Reference
Solar-Lezama, A., Rabbah, R., Bodik, R., Ebcioglu, K., "Programming by sketching for bit-streaming programs", Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI'05, Chicago, Illinois, USA, June 2005, pp. 281-294. Google
abstract ;;Quote: programming by sketches for rapid development; generate efficient code from clean, portable reference code by sketching the outlines of the desired implementation
abstract ;;Quote: given the same time budget, novice StreamBit users (sketching) produced 2.5x faster cipher code than experienced C coders; competitive implementations of DES and Serpent
abstract ;;Quote: a sketch is a partial specification of an implementation; rapid evaluation of sophisticated implementation ideas; easier to write, no low-level details, rejects buggy sketches
281 ;;Quote: converting a bit-level implementation to word-level often requires algorithm-specific insights; vectorizing compilers are largely ineffective
281 ;;Quote: demonstrate sketching the DropThird algorithm; i.e., drop every third bit from the input stream; surprisingly difficult
282 ;;Quote: start StreamBit with a reference program defining the task by its bit-level dataflow; then sketch a template for an efficient implementation
Topic: transformation of programs (27 items)
Topic: incremental development (74 items)
Topic: programmer productivity (57 items)
Topic: executable code from specifications and designs (18 items)
Topic: vector processing (15 items)
Topic: efficiency (96 items)
Topic: data flow languages (33 items)