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
Search
 
Waite, William
University of Colorado
Boulder, Colorado
 
   Reader Recommended
   Reviewer Selected
Follow this Reviewer
 
 
 
Options:
Date Reviewed  
 
1
- 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...

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 necess...

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 fra...

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 pr...

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). ...

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 fu...

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....

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 ...

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 variet...

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 des...

May 14 2014  
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy