16 papers:
PLDI-2015-LopesMNR #optimisation- Provably correct peephole optimizations with alive (NPL, DM, SN, JR), pp. 22–32.
CHI-2015-MullerRJR #comparison #navigation- An Experimental Comparison of Vertical and Horizontal Dynamic Peephole Navigation (JM, RR, HCJ, HR), pp. 1523–1526.
- CHI-2014-RadleJMR #navigation #performance
- Bigger is not always better: display size, performance, and task load during peephole map navigation (RR, HCJ, JM, HR), pp. 4127–4136.
- CHI-2013-KaufmannA #interactive #memory management #navigation #performance
- Studying spatial memory and map navigation performance on projector phones with peephole interaction (BK, DA), pp. 3173–3176.
TACAS-2008-WangYKG #partial order #reduction- Peephole Partial Order Reduction (CW, ZY, VK, AG), pp. 382–396.
- CHI-2008-CaoLB #modelling
- Peephole pointing: modeling acquisition of dynamically revealed targets (XC, JJL, RB), pp. 1699–1708.
OSDI-2008-BansalA #using- Binary Translation Using Peephole Superoptimizers (SB, AA), pp. 177–192.
ASPLOS-2006-BansalA #automation #generative- Automatic generation of peephole superoptimizers (SB, AA), pp. 394–403.
- CHI-2003-Yee03a #interactive
- Peephole displays: pen interaction on spatially aware handheld computers (KPY), pp. 1–8.
DAC-2002-ChelceaN #optimisation #scalability- Resynthesis and peephole transformations for the optimization of large-scale asynchronous systems (TC, SMN), pp. 405–410.
FME-1997-DoldHPR #optimisation #verification- Formal Verification of Transformations for Peephole Optimization (AD, FWvH, HP, HR), pp. 459–472.
ML-1992-Catlett #named- Peepholing: Choosing Attributes Efficiently for Megainduction (JC), pp. 49–54.
- SCC-1984-DavidsonF #automation #generative #optimisation
- Automatic generation of peephole optimizations (JWD, CWF), pp. 111–116.
- SCC-1984-Kessler #architecture #named
- Peep: an architectural description driven peephole optimizer (RRK), pp. 106–110.
- Best-of-PLDI-1984-DavidsonF #automation #generative #optimisation
- Automatic generation of peephole optimizations (with retrospective) (JWD, CWF), pp. 104–111.
POPL-1979-Fraser #independence- A Compact, Machine-Independent Peephole Optimizer (CWF), pp. 1–6.
