Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Waite, William
University of Colorado
Boulder, Colorado
   Reader Recommended
   Reviewer Selected
Follow this Reviewer
Date Reviewed  
- 10 of 58 reviews

  Tapir: embedding recursive fork-join parallelism into LLVM’s intermediate representation
Schardl T., Moses W., Leiserson C.  ACM Transactions on Parallel Computing 6(4): 1-33, 2019. Type: Article

A typical compiler has a front end that analyzes the source text and converts it to a language-independent intermediate representation (IR) whose structure and operations support general-purpose optimization in the compiler’s middle end. The...

Feb 22 2021  
   Formal languages and compilation (3rd ed.)
Reghizzi S., Breveglieri L., Morzenti A.,  Springer International Publishing, New York, NY, 2019. 499 pp. Type: Book (978-3-030048-78-5)

Compiler construction literature has always been an interesting mixture of clever tricks and deep theory. Most textbooks try to deal with both aspects, usually emphasizing theory at the beginning and then moving on to the tricks necessary to suppo...

Jun 19 2020  
  ReRanz: a light-weight virtual machine to mitigate memory disclosure attacks
Wang Z., Wu C., Li J., Lai Y., Zhang X., Hsu W., Cheng Y.  VEE 2017 (Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Xi’an, China,  Apr 8-9, 2017) 143-156, 2017. Type: Proceedings

When a hacker exploits a buffer overflow, the objective is to get the target to execute code that will give the hacker control of the machine. Modern hardware prevents straightforward code injection, so the hacker makes use of code fragments that ...

May 11 2018  
   A practical approach to compiler construction
Watson D.,  Springer International Publishing, New York, NY, 2017. 254 pp. Type: Book (978-3-319527-87-1), Reviews: (1 of 2)

Designing an undergraduate compiler construction textbook is difficult. The market is diverse, with different departments having quite different goals and diverse prerequisites for their courses. Although very few graduates of these programs will ...

Aug 30 2017  
  Optimizing data placement on GPU memory: a portable approach
Chen G., Shen X., Wu B., Li D.  IEEE Transactions on Computers 66(3): 473-487, 2017. Type: Article

We say that a computational artifact is “portable” if it can be implemented on a variety of targets. In this paper, the portable artifact is a strategy for the placement of data on a graphics processing unit (GPU). The strategy is lazy...

Apr 17 2017  
  Automated memoization for parameter studies implemented in impure languages
Stoffers M., Schemmel D., Soria Dustmann O., Wehrle K.  SIGSIM-PADS 2016 (Proceedings of the 2016 Annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, Banff, Alberta, Canada,  May 15-18, 2016) 221-232, 2016. Type: Proceedings

Memoization is a technique for avoiding reevaluation of a function when the result of a new evaluation will be the same as the result of the previous evaluation. In that case, the previous result is returned instead of executing the function. The ...

Dec 29 2016  
  The polyhedral model of nonlinear loops
Sukumaran-Rajam A., Clauss P.  ACM Transactions on Architecture and Code Optimization 12(4): 1-27, 2015. Type: Article

The polyhedral model is a technique for optimizing loop nests in a program. Each calculated value is modeled by a point, and the dependencies among the values from one iteration to the next are modeled by vectors connecting the points. The result ...

Mar 23 2016  
   Linearly ordered attribute grammars: with automatic augmenting dependency selection
van Binsbergen L., Bransen J., Dijkstra A.  PEPM 2015 (Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, Mumbai, India,  Jan 13-14, 2015) 49-60, 2015. Type: Proceedings

An attribute grammar (AG) is a context-free grammar extended to describe the decoration of trees corresponding to sentences defined by that context-free grammar. It provides a declarative specification from which tree computation code can be gener...

Mar 19 2015  
  A model driven engineering process of platform neutral agents for ambient intelligence devices
Ayala I., Amor M., Fuentes L.  Autonomous Agents and Multi-Agent Systems 28(2): 214-255, 2014. Type: Article

A system that is aware of the context in which a person is operating and can act accordingly is said to display ambient intelligence. Such systems may involve a number of heterogeneous devices communicating with each other via a variety of protoco...

Sep 12 2014  
  Coherent clusters in source code
Islam S., Krinke J., Binkley D., Harman M.  Journal of Systems and Software 881-24, 2014. Type: Article

A cluster is a collection of program statements, each member of which depends on all the other members. (One of the ways a statement can depend on another statement is when it uses a variable set by the other statement.) This paper describes an ex...

May 14 2014  
Display per column
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy