Stem specul$ (all stems)

172 papers:

CASE-2015-Sakakura #framework

A speculation on a framework that provides highly organized services for manufacturing (TS), pp. 1025–1028.

DATE-2015-YeYZX #on the

On the premises and prospects of timing speculation (RY, FY, JZ, QX), pp. 605–608.

CHI-2015-LawsonKLFH #design #problem #quantifier

Problematising Upstream Technology through Speculative Design: The Case of Quantified Cats and Dogs (SWL, BK, CL, TF, LH), pp. 2663–2672.

ECOOP-2015-ImamS #parallel #programming

The Eureka Programming Model for Speculative Task Parallelism (SI, VS), pp. 421–444.

ASPLOS-2015-ZhaoS #automaton #on the fly #parallel

On-the-Fly Principled Speculation for FSM Parallelization (ZZ, XS), pp. 619–630.

LCTES-2015-GhoshPR #alias #performance

Enabling Efficient Alias Speculation (SG, YP, AR), p. 10.

SIGMOD-2014-ChengR #parallel

Parallel in-situ data processing with speculative loading (YC, FR), pp. 1287–1298.

VLDB-2014-JayachandranTKN #execution #interactive #query

Combining User Interaction, Speculative Query Execution and Sampling in the DICE System (PJ, KT, NK, AN), pp. 1697–1700.

IFL-2014-LeF #functional #parallel

Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.

OOPSLA-2014-PartushY #correlation #difference #semantics

Abstract semantic differencing via speculative correlation (NP, EY), pp. 811–828.

FSE-2014-PalyartMMB

Speculative reprogramming (MP, GCM, ERMH, XB), pp. 837–840.

ASPLOS-2014-LuponGMSMSD #float #hardware #multi

Speculative hardware/software co-designed floating-point multiply-add fusion (ML, EG, GM, SS, RM, KS, DRD), pp. 623–638.

ASPLOS-2014-ZhaoWS #finite #state machine

Challenging the “embarrassingly sequential”: parallelizing finite state machine-based computations through principled speculation (ZZ, BW, XS), pp. 543–558.

HPCA-2014-PeraisS

Practical data value speculation for future high-end processors (AP, AS), pp. 428–439.

DAC-2013-YeYSJX #generative

Post-placement voltage island generation for timing-speculative circuits (RY, FY, ZS, WBJ, QX), p. 6.

DAC-2013-YuanLJX #on the #testing

On testing timing-speculative circuits (FY, YL, WBJ, QX), p. 6.

DATE-2013-ParkCA #energy

Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor (JP, AC, JAA), pp. 254–257.

DUXU-WM-2013-Zahabi #interface #online #research #student #tool support

Exploring Information-Triage: Speculative Interface Tools to Help College Students Conduct Online Research (LZ), pp. 611–620.

OOPSLA-2013-RavichandranP #distributed #multi #named

Multiverse: efficiently supporting distributed high-level speculation (KR, SP), pp. 533–552.

ASPLOS-2013-AhnDT #alias #named #using

DeAliaser: alias speculation using atomic region support (WA, YD, JT), pp. 167–180.

ASPLOS-2013-McFarlinTZ #performance #question

Discerning the dominant out-of-order performance advantage: is it speculation or dynamism? (DSM, CT, CBZ), pp. 241–252.

LCTES-2013-JangKL #algorithm #parallel

Practical speculative parallelization of variable-length decompression algorithms (HJ, CK, JWL), pp. 55–64.

PPoPP-2013-XiangS #compilation #concurrent #data type #performance

Compiler aided manual speculation for high performance concurrent data structures (LX, MLS), pp. 47–56.

DAC-2012-SartoriK #compilation #energy #performance

Compiling for energy efficiency on timing speculative processors (JS, RK), pp. 1301–1308.

DATE-2012-YeYZX #scheduling

Clock skew scheduling for timing speculation (RY, FY, HZ, QX), pp. 929–934.

PLDI-2012-GuerraouiKL

Speculative linearizability (RG, VK, GL), pp. 55–66.

PLDI-2012-JohnsonKPZA #reduction

Speculative separation for privatization and reductions (NPJ, HK, PP, AZ, DIA), pp. 359–370.

OOPSLA-2012-MusluBHEN #analysis #development #ide #recommendation

Speculative analysis of integrated development environment recommendations (KM, YB, RH, MDE, DN), pp. 669–682.

RE-2012-YangRGWN #automation #detection #natural language #nondeterminism #requirements

Speculative requirements: Automatic detection of uncertainty in natural language requirements (HY, ANDR, VG, AW, BN), pp. 11–20.

CGO-2012-KimJLMA #automation #clustering

Automatic speculative DOALL for clusters (HK, NPJ, JWL, SAM, DIA), pp. 94–103.

CGO-2012-ZhangGHLMA #fault tolerance #runtime

Runtime asynchronous fault tolerance via speculation (YZ, SG, JH, JWL, SAM, DIA), pp. 145–154.

HPCA-2012-JiangBMD #network

Network congestion avoidance through Speculative Reservation (NJ, DUB, GM, WJD), pp. 443–454.

PPoPP-2012-CrainGR

A speculation-friendly binary search tree (TC, VG, MR), pp. 161–170.

PPoPP-2012-FengGB #parallel

Speculative parallelization on GPGPUs (MF, RG, LNB), pp. 293–294.

PPoPP-2012-JimboreanCPML #adaptation #framework #parallel #performance

Adapting the polyhedral model as a framework for efficient speculative parallelization (AJ, PC, BP, LM, VL), pp. 295–296.

DAC-2011-LifaEP #configuration management #detection #fault #optimisation #performance

Performance optimization of error detection based on speculative reconfiguration (AAL, PE, ZP), pp. 369–374.

DAC-2011-LiuYX #low cost

Re-synthesis for cost-efficient circuit-level timing speculation (YL, FY, QX), pp. 158–163.

DATE-2011-LangeWK #configuration management #memory management #multi

MARC II: A parametrized speculative multi-ported memory subsystem for reconfigurable computers (HL, TW, AK), pp. 1352–1357.

PLDI-2011-ZhouCC #algorithm #execution

An SSA-based algorithm for optimal speculative code motion under an execution profile (HZ, WC, FCC), pp. 98–108.

KDIR-2011-BallesterosFDHG #analysis #dependence #using

Inferring the Scope of Speculation using Dependency Analysis (MB, VF, AD, JH, PG), pp. 256–261.

OOPSLA-2011-PylaRV #parallel

Exploiting coarse-grain speculative parallelism (HKP, CJR, SV), pp. 555–574.

OOPSLA-2011-RamanYVY #named

Sprint: speculative prefetching of remote data (AR, GY, MTV, EY), pp. 259–274.

CGO-2011-HertzbergO #automation #parallel #runtime

Runtime automatic speculative parallelization (BH, KO), pp. 64–73.

HPCA-2011-MehraraHSM #javascript #parallel #using

Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism (MM, PCH, MS, SAM), pp. 87–98.

HPDC-2011-Garcia-YaguezFG #concurrent #thread

Exclusive squashing for thread-level speculation (ÁGY, DRLF, AGE), pp. 275–276.

LCTES-2011-BhagatGSG #effectiveness #optimisation

Global productiveness propagation: a code optimization technique to speculatively prune useless narrow computations (IB, EG, FJS, AG), pp. 161–170.

PPoPP-2011-TianLFG #incremental #parallel

Enhanced speculative parallelization via incremental recovery (CT, CL, MF, RG), pp. 189–200.

DATE-2010-BarrioMMHM #functional #synthesis #using

Using Speculative Functional Units in high level synthesis (AADB, MCM, JMM, RH, SOM), pp. 1779–1784.

ESOP-2010-BoudolP #formal method

A Theory of Speculative Computation (GB, GP), pp. 165–184.

PLDI-2010-PrabhuRV #parallel #programmable

Safe programmable speculative parallelism (PP, GR, KV), pp. 50–61.

PLDI-2010-TianFG #data type #parallel

Supporting speculative parallelization in the presence of dynamic data structures (CT, MF, RG), pp. 62–73.

ASPLOS-2010-LeeWVNCF #multi #named #online #performance

Respec: efficient online multiprocessor replayvia speculation and external determinism (DL, BW, KV, SN, PMC, JF), pp. 77–90.

ASPLOS-2010-NeelakantamDZ #evaluation #hardware

A real system evaluation of hardware atomicity for software speculation (NN, DRD, CBZ), pp. 29–38.

ASPLOS-2010-RamanKMJA #concurrent #parallel #thread #transaction #using

Speculative parallelization using software multi-threaded transactions (AR, HK, TRM, TBJ, DIA), pp. 65–76.

CC-2010-RoyS #optimisation

The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.

CGO-2010-HanLT #parallel #reduction

Speculative parallelization of partial reduction variables (LH, WL, JT), pp. 141–150.

CGO-2010-SusskrautKWSMF #compilation #framework #named #parallel

Prospect: a compiler framework for speculative parallelization (MS, TK, SW, US, MM, CF), pp. 131–140.

ISMM-2010-TianFG #parallel #predict #using

Speculative parallelization using state separation and multiple value prediction (CT, MF, RG), pp. 63–72.

PPoPP-2010-ZhangDGKBF #parallel

Continuous speculative program parallelization in software (CZ, CD, XG, KK, TB, XF), pp. 335–336.

DAC-2009-OmsCK

Speculation in elastic systems (MGO, JC, MK), pp. 292–295.

DATE-2009-BaneresCK #design

Variable-latency design by function speculation (DB, JC, MK), pp. 1704–1709.

DATE-2009-Cilardo #architecture

A new speculative addition architecture suitable for two’s complement operations (AC), pp. 664–669.

DATE-2009-MonyBMB #identification #scalability

Speculative reduction-based scalable redundancy identification (HM, JB, AM, RKB), pp. 1674–1679.

VLDB-2009-JohnsonPA #inheritance #scalability #using

Improving OLTP Scalability using Speculative Lock Inheritance (RJ, IP, AA), pp. 479–489.

CC-2009-GaoLXN #concurrent #predict #recursion #source code #thread

Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction (LG, LL, JX, TFN), pp. 78–93.

CGO-2009-KelseyBDZ #optimisation #performance

Fast Track: A Software System for Speculative Program Optimization (KK, TB, CD, CZ), pp. 157–168.

HPCA-2009-GreskampWKCTCZ #design #named

Blueshift: Designing processors for timing speculation from the ground up (BG, LW, URK, JJC, JT, DC, CBZ), pp. 213–224.

HPDC-2009-HeadG #execution #parallel #performance #scalability #xml

Performance enhancement with speculative execution based parallelism for processing large-scale xml-based application data (MRH, MG), pp. 21–30.

DATE-2008-VermaBI #design #latency #paradigm

Variable Latency Speculative Addition: A New Paradigm for Arithmetic Circuit Design (AKV, PB, PI), pp. 1250–1255.

ICFP-2008-Lampson #execution #lazy evaluation

Lazy and speculative execution in computer systems (BWL), pp. 1–2.

CGO-2008-RamanVRA #execution #named #parallel

Spice: speculative parallel iteration chunk execution (ER, NV, RR, DIA), pp. 175–184.

HPCA-2008-AggarwalCLS #power management

Power-Efficient DRAM Speculation (NA, JFC, MHL, JES), pp. 317–328.

HPCA-2008-KumarA #trade-off #validation

Speculative instruction validation for performance-reliability trade-off (SK, AA), pp. 405–414.

HPCA-2008-LeeKMP #predict #using

Performance-aware speculation control using wrong path usefulness prediction (CJL, HK, OM, YNP), pp. 39–49.

PPoPP-2008-ZhaiWYH #compilation #concurrent #optimisation #thread

Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.

DocEng-2007-MacdonaldBBL #documentation #evaluation

Speculative document evaluation (AJM, DFB, SRB, JWL), pp. 56–58.

IFL-2007-Feeley #c #compilation

Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler (MF), pp. 237–253.

HPCA-2007-AgarwalMWSF #parallel

Exploiting Postdominance for Speculative Parallelization (MA, KM, KMW, SSS, MIF), pp. 295–305.

PPoPP-2007-JohnsonEV #composition #concurrent #empirical #optimisation #thread

Speculative thread decomposition through empirical optimization (TAJ, RE, TNV), pp. 205–214.

PPoPP-2007-KejariwalTGLKBNVP #analysis #concurrent #cpu #performance #specification #thread #using

Tight analysis of the performance potential of thread speculation using spec CPU 2006 (AK, XT, MG, WL, SK, UB, AN, AVV, CDP), pp. 215–225.

PPoPP-2007-TapusH #fault tolerance #named #parallel #performance

Speculations: providing fault-tolerance and improving performance of parallel applications (CT, JH), pp. 152–153.

SOSP-2007-KotlaADCW #fault tolerance #named

Zyzzyva: speculative byzantine fault tolerance (RK, LA, MD, AC, ELW), pp. 45–58.

ASPLOS-2006-SilvaS #analysis #optimisation #pointer #probability

A probabilistic pointer analysis for speculative optimizations (JDS, JGS), pp. 416–425.

HPCA-2006-GontmakherMSS #concurrent #thread

Speculative synchronization and thread management for fine granularity threads (AG, AM, AS, GS), pp. 278–287.

PASTE-2005-PickettV #framework #java #multi #named #thread

SableSpMT: a software framework for analysing speculative multithreading in Java (CJFP, CV), pp. 59–66.

PLDI-2005-QuinonesMSMGT #compilation #framework #slicing #thread

Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices (CGQ, CM, FJS, PM, AG, DMT), pp. 269–279.

FM-2005-SalverdaRZ #parallel #verification

Formally Defining and Verifying Master/Slave Speculative Parallelization (PS, GR, CBZ), pp. 123–138.

CC-2005-QianH #analysis #case study #jit

A Study of Type Analysis for Speculative Method Inlining in a JIT Environment (FQ, LJH), pp. 255–270.

CGO-2005-DaiZHY #compilation #framework #optimisation #using

A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion (XD, AZ, WCH, PCY), pp. 280–290.

CGO-2005-ZillesN

Reactive Techniques for Controlling Software Speculation (CBZ, NN), pp. 305–316.

PPoPP-2005-PrabhuO #concurrent #parallel #specification #thread

Exposing speculative thread parallelism in SPEC2000 (MKP, KO), pp. 142–152.

SOSP-2005-NightingaleCF #distributed #execution #file system

Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.

PLDI-2004-DuLLYZN #compilation #framework #parallel #source code

A cost-driven compilation framework for speculative parallelization of sequential programs (ZHD, CCL, XFL, CY, QZ, TFN), pp. 71–81.

PLDI-2004-JohnsonEV #composition #concurrent #thread

Min-cut program decomposition for thread-level speculation (TAJ, RE, TNV), pp. 59–70.

SEFM-2004-HuBG #algorithm #generative #optimisation #validation

Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations (YH, CWB, BG), pp. 281–289.

ASPLOS-2004-RabbahSEW #compilation

Compiler orchestrated prefetching via speculation and predication (RMR, HS, ME, WFW), pp. 189–198.

CC-2004-ChenLDHY #data flow #dependence #optimisation #profiling

Data Dependence Profiling for Speculative Optimizations (TC, JL, XD, WCH, PCY), pp. 57–72.

CGO-2004-ZhaiCSM #communication #compilation #optimisation #thread

Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads (AZ, CBC, JGS, TCM), pp. 39–52.

LCTES-2004-PokamRSB #energy #optimisation

Speculative software management of datapath-width for energy optimization (GP, OR, AS, FB), pp. 78–87.

LCTES-2004-ScholzHK #optimisation

Optimizing for space and time usage with speculative partial redundancy elimination (BS, RNH, JK), pp. 221–230.

ICLP-2004-RochaSC #logic programming #source code

Speculative Computations in Or-Parallel Tabled Logic Programs (RR, FMAS, VSC), pp. 254–268.

DAC-2003-LiMR #analysis #interactive #modelling

Accurate timing analysis by modeling caches, speculation and their interaction (XL, TM, AR), pp. 466–471.

DAC-2003-MoreshetB #design #power management #queue

Power-aware issue queue design for speculative instructions (TM, RIB), pp. 634–637.

DATE-2003-PillaiJ #clustering #scheduling

Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines: Predication, Speculation and Modulo Scheduling (SP, MFJ), pp. 10422–10427.

PLDI-2003-LinCHYJNC #analysis #compilation #framework #optimisation

A compiler framework for speculative analysis and optimizations (JL, TC, WCH, PCY, RDCJ, TFN, SC), pp. 289–299.

CGO-2003-CaiX #performance

Optimal and Efficient Speculation-Based Partial Redundancy Elimination (QC, JX), pp. 91–104.

CGO-2003-ChenO #concurrent #named #thread

TEST: A Tracer for Extracting Speculative Thread (MKC, KO), pp. 301–314.

CGO-2003-DehnertGBJKKM #adaptation #challenge #using

The Transmeta Code Morphing — Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges (JCD, BG, JPB, RJ, TK, AK, JM), pp. 15–24.

CGO-2003-LinCHY #using

Speculative Register Promotion Using Advanced Load Address Table (ALAT) (JL, TC, WCH, PCY), pp. 125–134.

HPCA-2003-AragonGG #power management

Power-Aware Control Speculation through Selective Throttling (JLA, JG, AG), pp. 103–112.

HPCA-2003-GarzaranPLVRT #concurrent #memory management #multi #thread #trade-off

Tradeoffs in Buffering Memory State for Thread-Level Speculation in Multiprocessors (MJG, MP, JML, VV, LR, JT), pp. 191–202.

PPoPP-2003-ChenHHJL #analysis #architecture #compilation #multi #points-to #probability #thread

Compiler support for speculative multithreading architecture with probabilistic points-to analysis (PSC, MYH, YSH, RDCJ, JKL), pp. 25–36.

PPoPP-2003-CintraF #parallel #performance #robust #towards

Toward efficient and robust software speculative parallelization on multiprocessors (MHC, DRLF), pp. 13–24.

PPoPP-2003-PrabhuO #concurrent #parallel #thread #using

Using thread-level speculation to simplify manual parallelization (MKP, KO), pp. 1–12.

PLDI-2002-LiaoWWSHL #adaptation

Post-Pass Binary Adaptation for Software-Based Speculative Precomputation (SWL, PHW, HW, JPS, GH, DML), pp. 117–128.

RE-2002-Cleland-HuangCSJHX #automation #query #requirements #traceability

Automating Speculative Queries through Event-Based Requirements Traceability (JCH, CKC, GS, KJ, HH, JX), pp. 289–298.

ASPLOS-2002-AshokCM #energy #memory management #named #performance

Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency (RA, SC, CAM), pp. 133–143.

ASPLOS-2002-MartinezT #concurrent #parallel #thread

Speculative synchronization: applying thread-level speculation to explicitly parallel applications (JFM, JT), pp. 18–29.

ASPLOS-2002-OplingerL #reliability #thread

Enhancing software reliability with speculative threads (JTO, MSL), pp. 184–196.

ASPLOS-2002-ZhaiCSM #communication #compilation #optimisation #thread

Compiler optimization of scalar value communication between speculative threads (AZ, CBC, JGS, TCM), pp. 171–183.

HPCA-2002-CintraT #learning #parallel #thread

Speculative Multithreading Eliminating Squashes through Learning Cross-Thread Violations in Speculative Parallelization for Multiprocessors (MHC, JT), pp. 43–54.

HPCA-2002-MarcuelloG #multi #thread

Thread-Spawning Schemes for Speculative Multithreading (PM, AG), pp. 55–64.

HPCA-2002-Sazeides #modelling

Modeling Value Speculation (YS), pp. 211–222.

HPCA-2002-SteffanCZM #communication #concurrent #thread

Improving Value Communication for Thread-Level Speculation (JGS, CBC, AZ, TCM), pp. 65–75.

HPCA-2002-WangWCGKS #execution #memory management

Memory Latency-Tolerance Approaches for Itanium Processors: Out-of-Order Execution vs. Speculative Precomputation (PHW, HW, JDC, EG, RMK, JPS), pp. 187–196.

DAC-2001-GuptaSKDGN #design #synthesis

Speculation Techniques for High Level Synthesis of Control Intensive Designs (SG, NS, SK, NDD, RKG, AN), pp. 269–272.

CC-2001-StoutchininAGDJD #induction #pointer

Speculative Prefetching of Induction Pointers (AS, JNA, GRG, JCD, SJ, AD), pp. 289–303.

HPCA-2001-PehD #architecture #pipes and filters

A Delay Model and Speculative Architecture for Pipelined Routers (LSP, WJD), pp. 255–266.

HPCA-2001-RothS #data-driven #multi #thread

Speculative Data-Driven Multithreading (AR, GSS), pp. 37–48.

PPoPP-2001-KimOEFV #analysis #execution #framework #optimisation

Reference idempotency analysis: a framework for optimizing speculative execution (SWK, ClO, RE, BF, TNV), pp. 2–11.

ICLP-2001-GuoRR

Speculative Beats Conservative Justification (HFG, CRR, IVR), pp. 150–165.

TACAS-2000-AronsP #comparison #execution #verification

A Comparison of Two Verification Methods for Speculative Instruction Execution (TA, AP), pp. 487–502.

ICFP-2000-Faxen #evaluation #functional #lazy evaluation

Cheap eagerness: speculative evaluation in a lazy functional language (KFF), pp. 150–161.

IFL-2000-SchroederK #functional

Organizing Speculative Computations in Functional Systems (RS, WEK), pp. 214–230.

HPCA-2000-MoshovosS #dependence #memory management #trade-off

Memory Dependence Speculation Tradeoffs in Centralized, Continuous-Window Superscalar Processors (AM, GSS), pp. 301–312.

HPDC-2000-KurmannMRS #communication #performance

Speculative Defragmentation — A Technique to Improve the Communication Software Efficiency for Gigabit Ethernet (CK, MM, FR, TS), pp. 131–138.

CAV-2000-HosabettuGS #architecture #exception #verification

Verifying Advanced Microarchitectures that Support Speculation and Exceptions (RH, GG, MKS), pp. 521–537.

CAV-2000-Velev #execution #verification

Formal Verification of VLIW Microprocessors with Speculative Execution (MNV), pp. 296–311.

DATE-1999-SantosJ #equivalence #on the fly

Exploiting State Equivalence on the Fly while Applying Code Motion and Speculation (LCVdS, JAGJ), p. 609–?.

SAC-1999-Kaizoji #approach

A Synergetic Approach to Speculative Price Volatility (TK), pp. 57–65.

CC-1999-PatelR #implementation #parallel #runtime

Implementation Issues of Loop-Level Speculative Run-Time Parallelization (DP, LR), pp. 183–197.

HPCA-1999-ZhangRT #hardware #parallel

Hardware for Speculative Parallelization of Partially-Parallel Loops in DSM Multiprocessors (YZ, LR, JT), pp. 135–139.

OSDI-1999-ChangG #automation #execution #generative

Automatic I/O Hint Generation Through Speculative Execution (FWC, GAG), pp. 1–14.

DAC-1998-LakshminarayanaRJ #behaviour #control flow #execution #scheduling

Incorporating Speculative Execution into Scheduling of Control-Flow Intensive Behavioral Descriptions (GL, AR, NKJ), pp. 108–113.

HT-1998-Ricardo #higher-order #hypermedia

Stalking the Paratext: Speculations on Hypertext Links as a Second Order Text (FJR), pp. 142–151.

SIGIR-1998-YamanaKKSY #parallel #performance

Fast Speculative Search Engine on the Highly Parallel Computer EM-X (HY, HK, YK, HS, YY), p. 390.

ASPLOS-1998-FuJLC #performance #scheduling

Value Speculation Scheduling for High Performance Processors (CyF, MDJ, SYL, TMC), pp. 262–271.

ASPLOS-1998-HammondWO #multi

Data Speculation Support for a Chip Multiprocessor (LH, MW, KO), pp. 58–69.

HPCA-1998-Chen #adaptation #branch #execution

Supporting Highly-Speculative Execution via Adaptive Branch Trees (TFC), pp. 185–194.

HPCA-1998-GopalVSS #version control

Speculative Versioning Cache (SG, TNV, JES, GSS), pp. 195–205.

HPCA-1998-SteffanM #automation #concurrent #parallel #thread #using

The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization (JGS, TCM), pp. 2–13.

HPCA-1998-TubellaG #detection #parallel #thread

Control Speculation in Multithreaded Processors through Dynamic Loop Detection (JT, AG), pp. 14–23.

HPCA-1998-ZhangRT #distributed #hardware #parallel #runtime

Hardware for Speculative Run-Time Parallelization in Distributed Shared-Memory Multiprocessors (YZ, LR, JT), pp. 162–173.

CAV-1998-SawadaH #execution #precise #verification

Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.

EDTC-1997-HerrmannE #synthesis

Register synthesis for speculative computation (DH, RE), pp. 463–467.

HPCA-1997-JacobsonBSS #control flow #multi

Control Flow Speculation in Multiscalar Processors (QJ, SB, NS, JES), pp. 218–229.

POPL-1996-GreinerB #implementation #parallel

A Provably Time-Efficient Parallel Implementation of Full Speculation (JG, GEB), pp. 309–321.

VLDB-1995-BestavrosB #concurrent

Value-cognizant Speculative Concurrency Control (AB, SB), pp. 122–133.

PLDI-1995-RauchwergerP #parallel #reduction #runtime

The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization (LR, DAP), pp. 218–232.

CIKM-1995-Bestavros #using

Using Speculation to Reduce Server Load and Service Time on the WWW (AB), pp. 403–410.

HPCA-1995-FarkasJC #execution #how #multi #question

How Useful Are Non-Blocking Loads, Stream Buffers and Speculative Execution in Multiple Issue Processors? (KIF, NPJ, PC), pp. 78–89.

DAC-1994-RadivojevicB #execution #scheduling

Incorporating Speculative Execution in Exact Control-Dependent Scheduling (IPR, FB), pp. 479–484.

CC-1994-ErtlK #exception #execution

Delayed Exceptions — Speculative Execution of Trapping Instructions (MAE, AK), pp. 158–171.

CIKM-1993-NaqviIKV #database #evaluation #query

Speculative Query Evaluation over Databases of Plans (SAN, TI, MK, KVV), pp. 439–450.

ICLP-1993-BeaumontW #prolog #scheduling

Scheduling Speculative Work in Or-Parallel Prolog Systems (TB, DHDW), pp. 135–149.

ILPS-1993-Gregory #parallel

Experiments with Speculative Parallelism in Parlog (SG), pp. 370–387.

ESOP-1992-BernsteinRS #proving #safety

Proving Safety of Speculative Load Instructions at Compile Time (DB, MR, SS), pp. 56–72.

ASPLOS-1992-RogersL

Software Support for Speculative Loads (AR, KL), pp. 38–50.

ML-1991-CrawS #flexibility #refinement

The Flexibility of Speculative Refinement (SC, DHS), pp. 28–32.

LFP-1990-Osborne #multi

Speculative Computation in Multilisp (RBO), pp. 198–208.

NACLP-1990-Hausman #evaluation #prolog

Handling Speculative Work in OR-Parallel Prolog: Evaluation Results (BH), pp. 721–736.

DAC-1974-Su #automation #design #future of

Speculation on the future of design automation (SYHS), pp. 186–193.