Stem memoiz$ (all stems)

18 papers:

OOPSLA-2015-ToffolaPG #dynamic analysis #performance #problem

Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.

ICSE-v1-2015-QiuYPK #composition #execution #symbolic computation

Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.

DATE-2014-RahimiBG #energy #fault

Temporal memoization for energy-efficient timing error recovery in GPGPUs (AR, LB, RKG), pp. 1–6.

ICSE-2013-YangKP #execution #named #symbolic computation

Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.

TACAS-2012-Wonisch #abstraction #contest

Block Abstraction Memoization for CPAchecker — (Competition Contribution) (DW), pp. 531–533.

ISSTA-2012-YangPK #execution #symbolic computation

Memoized symbolic execution (GY, CSP, SK), pp. 144–154.

ISSTA-2011-GuoE #automation #data analysis #persistent #using

Using automatic persistent memoization to facilitate data analysis scripting (PJG, DRE), pp. 287–297.

DATE-2010-BorodinJ #detection #fault

Instruction precomputation with memoization for fault detection (DB, BHHJ), pp. 1665–1668.

OSDI-2010-CuiWTY #multi #thread

Stable Deterministic Multithreading through Schedule Memoization (HC, JW, CcT, JY), pp. 207–221.

ICFP-2009-ZiarekSJ #communication #concurrent

Partial memoization of concurrency and communication (LZ, KCS, SJ), pp. 161–172.

ICML-2009-WoodAGJT #probability #sequence

A stochastic memoizer for sequence data (FW, CA, JG, LJ, YWT), pp. 1129–1136.

PEPM-2006-SwadiTKP #approach #monad #staging

A monadic approach for avoiding code duplication when staging memoized functions (KNS, WT, OK, EP), pp. 160–169.

DATE-2005-IshiharaF #power management

A Way Memoization Technique for Reducing Power Consumption of Caches in Application Specific Integrated Processors (TI, FF), pp. 358–363.

ESOP-2004-EspanaE #functional #logic #semantics

A Memoizing Semantics for Functional Logic Languages (SE, VE), pp. 109–123.

POPL-2003-AcarBH

Selective memoization (UAA, GEB, RH), pp. 14–25.

GPCE-2002-BalatD #partial evaluation

Memoization in Type-Directed Partial Evaluation (VB, OD), pp. 78–92.

ASPLOS-1998-SchnarrL #performance #simulation #using

Fast Out-Of-Order Processor Simulation Using Memoization (ES, JRL), pp. 283–294.

PLILP-1996-Thiemann #implementation #partial evaluation

Implementing Memoization for Partial Evaluation (PT), pp. 198–212.