Stem stack$ (all stems)

231 papers:

DAC-2015-LiZHLHX #automation #compilation #performance #stack

Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.

SIGMOD-2015-DeshpandeRDA #approach #named

ShareInsights: An Unified Approach to Full-stack Data Processing (MD, DR, SD, AA), pp. 1925–1940.

ICPC-2015-BeyerP #stack overflow

Synonym suggestion for tags on stack overflow (SB, MP), pp. 94–103.

ICSME-2015-NagyC #fault #mining #query #sql #stack overflow

Mining Stack Overflow for discovering error patterns in SQL queries (CN, AC), pp. 516–520.

MSR-2015-CalefatoLMN #mining #stack overflow

Mining Successful Answers in Stack Overflow (FC, FL, MCM, NN), pp. 430–433.

MSR-2015-ChowdhuryH #mining #stack overflow #topic

Mining StackOverflow to Filter Out Off-Topic IRC Discussion (SAC, AH), pp. 422–425.

MSR-2015-DiamantopoulosS #source code #stack overflow

Employing Source Code Information to Improve Question-Answering in Stack Overflow (TGD, ALS), pp. 454–457.

MSR-2015-DuijnKB #quality #stack overflow

Quality Questions Need Quality Code: Classifying Code Fragments on Stack Overflow (MD, AK, AB), pp. 410–413.

MSR-2015-ErcanSB #automation #predict #stack overflow

Automatic Assessments of Code Explanations: Predicting Answering Times on Stack Overflow (SE, QS, AB), pp. 442–445.

MSR-2015-GantayatDPMS #stack overflow

The Synergy between Voting and Acceptance of Answers on StackOverflow — Or the Lack Thereof (NG, PD, RP, SM, VSS), pp. 406–409.

MSR-2015-GoderieGGB #named #predict #stack overflow

ETA: Estimated Time of Answer Predicting Response Time in Stack Overflow (JG, BMG, BvG, AB), pp. 414–417.

MSR-2015-HonselHG #evaluation #stack overflow

Intuition vs. Truth: Evaluation of Common Myths about StackOverflow Posts (VH, SH, JG), pp. 438–441.

MSR-2015-JinYKCII #case study #stack overflow

Quick Trigger on Stack Overflow: A Study of Gamification-Influenced Member Tendencies (YJ, XY, RGK, EC, KI, HI), pp. 434–437.

MSR-2015-Marder #approach #behaviour #stack overflow

Stack Overflow Badges and User Behavior: An Econometric Approach (AM), pp. 450–453.

MSR-2015-PonzanelliML15a #named #stack overflow

StORMeD: Stack Overflow Ready Made Data (LP, AM, ML), pp. 474–477.

MSR-2015-RahmanR #stack overflow

An Insight into the Unresolved Questions at Stack Overflow (MMR, CKR), pp. 426–429.

MSR-2015-SlagWB #stack overflow #why

One-Day Flies on StackOverflow — Why the Vast Majority of StackOverflow Users Only Posts Once (RS, MdW, AB), pp. 458–461.

MSR-2015-ZouXGYYZ #analysis #developer #empirical #non-functional #requirements #stack overflow #topic #using

Which Non-functional Requirements Do Developers Focus On? An Empirical Study on Stack Overflow Using Topic Analysis (JZ, LX, WG, MY, DY, XZ), pp. 446–449.

SANER-2015-GuerroujAR #stack overflow

The influence of App churn on App success and StackOverflow discussions (LG, SA, PCR), pp. 321–330.

SANER-2015-SassoML #detection #problem

Misery loves company: CrowdStacking traces to aid problem detection (TDS, AM, ML), pp. 131–140.

PLDI-2015-FaddegonC #algorithm #debugging #dependence #haskell #source code #stack

Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack (MF, OC), pp. 33–42.

KDD-2015-QiATSA #predict

State-Driven Dynamic Sensor Selection and Prediction with State-Stacked Sparseness (GJQ, CA, DST, DMS, PA), pp. 945–954.

SEKE-2015-PereiraRA #data access #database #distributed #stack

Secure, Dynamic and Distributed Access Control Stack for Database Applications (ÓMP, DDR, RLA), pp. 364–369.

ECOOP-2015-Summers #stack #verification

Software Verification “Across the Stack” (Invited Talk) (AJS), p. 3.

POPL-2015-DoddsHK #scalability #stack

A Scalable, Correct Time-Stamped Stack (MD, AH, CMK), pp. 233–246.

ICSE-v2-2015-SanchezW #source code #stack overflow

Source Code Curation on StackOverflow: The Vesperin System (HS, JW), pp. 661–664.

ICSE-v2-2015-Squire #developer #social #social media #stack overflow

“Should We Move to Stack Overflow?” Measuring the Utility of Social Media for Developer Support (MS), pp. 219–228.

ICSE-v2-2015-TheisenHMMW #approximate #stack

Approximating Attack Surfaces with Stack Traces (CT, KH, PM, BM, LAW), pp. 199–208.

HPCA-2015-MeswaniBRSIL #approach #architecture #memory management

Heterogeneous memory architectures: A HW/SW approach for mixing die-stacked and off-package memories (MRM, SB, DR, JS, MI, GHL), pp. 126–136.

ICST-2015-YuC #embedded #generative #stack #testing #worst-case

Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.

DAC-2014-ChienHLYC #testing

Contactless Stacked-die Testing for Pre-bond Interposers (JHC, RSH, HJL, KYY, SCC), p. 6.

DAC-2014-KimM #3d #design #on the #reliability

On the Design of Reliable 3D-ICs Considering Charged Device Model ESD Events During Die Stacking (DK, SM), p. 6.

DAC-2014-KontorinisTHTH

Enabling Dynamic Heterogeneity Through Core-on-Core Stacking (VK, MKT, MHH, DMT, HH), p. 6.

DAC-2014-VaidyanathanDP #detection #reliability #stack #using

Detecting Reliability Attacks during Split Fabrication using Test-only BEOL Stack (KV, BPD, LP), p. 6.

DATE-2014-AghaeePE #3d #performance

An efficient temperature-gradient based burn-in technique for 3D stacked ICs (NA, ZP, PE), pp. 1–4.

DATE-2014-BeneventiBVDB #analysis #identification #logic

Thermal analysis and model identification techniques for a logic + WIDEIO stacked DRAM test chip (FB, AB, PV, DD, LB), pp. 1–4.

DATE-2014-DongZ #manycore #memory management #realtime #stack

Minimizing stack memory for hard real-time applications on multicore platforms (CD, HZ), pp. 1–6.

DATE-2014-LiHCXJX #embedded #memory management #stack

A wear-leveling-aware dynamic stack for PCM memory in embedded systems (QL, YH, YC, CJX, NJ, CX), pp. 1–4.

DATE-2014-TaouilMHM #3d

Interconnect test for 3D stacked memory-on-logic (MT, MM, SH, EJM), pp. 1–6.

DATE-2014-TsaiCCC #3d #configuration management #memory management #multi

Scenario-aware data placement and memory area allocation for Multi-Processor System-on-Chips with reconfigurable 3D-stacked SRAMs (MLT, YJC, YTC, RHC), pp. 1–6.

VLDB-2014-WangOYZZ #effectiveness #multi #retrieval

Effective Multi-Modal Retrieval based on Stacked Auto-Encoders (WW, BCO, XY, DZ, YZ), pp. 649–660.

ICPC-2014-VasquezBPOP #android #api #case study #how #stack overflow

How do API changes trigger stack overflow discussions? a study on the Android SDK (MLV, GB, MDP, RO, DP), pp. 83–94.

ICSME-2014-BeyerP #android #categorisation #development #stack overflow

A Manual Categorization of Android App Development Issues on Stack Overflow (SB, MP), pp. 531–535.

ICSME-2014-MorenoTMS #debugging #locality #on the #stack

On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization (LM, JJT, AM, WS), pp. 151–160.

ICSME-2014-PonzanelliMBLF #detection #quality #stack overflow

Improving Low Quality Stack Overflow Post Detection (LP, AM, AB, ML, DF), pp. 541–544.

ICSME-2014-WongXZHZM #analysis #fault #locality #segmentation

Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis (CPW, YX, HZ, DH, LZ, HM), pp. 181–190.

MSR-2014-PonzanelliBPOL #ide #mining #programming #self #stack overflow

Mining StackOverflow to turn the IDE into a self-confident programming prompter (LP, GB, MDP, RO, ML), pp. 102–111.

MSR-2014-RoblesGCCI #case study #development #mining #open source #repository

Estimating development effort in Free/Open source software projects by mining software repositories: a case study of OpenStack (GR, JMGB, CC, AC, DIC), pp. 222–231.

PLDI-2014-Carbonneaux0RS #bound #c #source code #verification

End-to-end verification of stack-space bounds for C programs (QC, JH, TR, ZS), p. 30.

ICEIS-v2-2014-WeiRT #data access #policy

Enhance OpenStack Access Control via Policy Enforcement Based on XACML (HW, JSR, AT), pp. 283–289.

ICPR-2014-KumarA2 #stack #using

Non-frontal Camera Calibration Using Focal Stack Imagery (AK, NA), pp. 202–207.

ICPR-2014-WangCW #recognition

Recognition of Handwritten Characters in Chinese Legal Amounts by Stacked Autoencoders (MW, YC, XW), pp. 3002–3007.

OOPSLA-2014-KambadurK #bibliography #energy #stack

An experimental survey of energy management across the stack (MK, MAK), pp. 329–344.

ASPLOS-2014-GutierrezCGDCM #3d #design #physics

Integrated 3D-stacked server designs for increasing physical density of key-value stores (AG, MC, BG, RGD, LC, TNM), pp. 485–498.

HPCA-2014-EmmaBHKPYHBM #3d

3D stacking of high-performance processors (PGE, AB, MBH, KK, VP, RY, AH, PB, JHM), pp. 500–511.

OSDI-2014-WiresIDHW

Characterizing Storage Workloads with Counter Stacks (JW, SI, ZD, NJAH, AW), pp. 335–349.

ISSTA-2014-WuZCK #fault #named

CrashLocator: locating crashing faults based on crash stacks (RW, HZ, SCC, SK), pp. 204–214.

DAC-2013-JiangYXCE #3d #effectiveness #on the #performance

On effective and efficient in-field TSV repair for stacked 3D ICs (LJ, FY, QX, KC, BE), p. 6.

DAC-2013-LuBS #data transformation #multi #named #stack

SSDM: smart stack data management for software managed multicores (SMMs) (JL, KB, AS), p. 8.

DATE-2013-0001WAWG #3d #energy #modelling

System and circuit level power modeling of energy-efficient 3D-stacked wide I/O DRAMs (KC, CW, BA, NW, KG), pp. 236–241.

DATE-2013-El-NacouziAPZJM #detection #scalability

A dual grain hit-miss detector for large die-stacked DRAM caches (MEN, IA, MP, JZ, NDEJ, AM), pp. 89–92.

DATE-2013-GaillardonABMSLM

Vertically-stacked double-gate nanowire FETs with controllable polarity: from devices to regular ASICs (PEG, LGA, SB, MDM, DS, YL, GDM), pp. 625–630.

DATE-2013-RaminiGBB #3d #analysis #manycore #power management #using

Contrasting wavelength-routed optical NoC topologies for power-efficient 3D-stacked multicore processors using physical-layer analysis (LR, PG, SB, DB), pp. 1589–1594.

ICSM-2013-AnandEKSBK #abstraction #analysis #bytecode #framework #memory management #stack

An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables (KA, KE, AK, MS, RB, ADK), pp. 90–99.

ICSM-2013-BazelliHS #on the #stack overflow

On the Personality Traits of StackOverflow Users (BB, AH, ES), pp. 460–463.

MSR-2013-AllamanisS #stack overflow #topic #what #why

Why, when, and what: analyzing stack overflow questions by topic, type, and code (MA, CAS), pp. 53–56.

MSR-2013-AsaduzzamanMRS #stack overflow

Answering questions about unanswered questions of stack overflow (MA, ASM, CKR, KAS), pp. 97–100.

MSR-2013-BosuCHCCK #empirical #stack overflow

Building reputation in StackOverflow: an empirical investigation (AB, CSC, DH, DC, JCC, NAK), pp. 89–92.

MSR-2013-GomezCS #case study #stack overflow

A study of innovation diffusion through link sharing on stack overflow (CG, BC, LS), pp. 81–84.

MSR-2013-MorrisonM #programming #stack overflow

Is programming knowledge related to age? an exploration of stack overflow (PM, ERMH), pp. 69–72.

MSR-2013-SahaSS #approach #automation #stack overflow

A discriminative model approach for suggesting tags automatically for stack overflow questions (AKS, RKS, KAS), pp. 73–76.

MSR-2013-VasquezDP #analysis #development #mobile #stack overflow #using

An exploratory analysis of mobile development issues using stack overflow (MLV, BD, DP), pp. 93–96.

LATA-2013-NakamuraI #automaton #linear #stack

Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars (KN, KI), pp. 444–455.

CHI-2013-HachisuK #interactive #named

HACHIStack: dual-layer photo touch sensing for haptic and auditory tapping interaction (TH, HK), pp. 1411–1420.

SIGIR-2013-DalipGCC #case study #feedback #rank #stack overflow

Exploiting user feedback to learn to rank answers in q&a forums: a case study with stack overflow (DHD, MAG, MC, PC), pp. 543–552.

SAC-2013-WangLJ #developer #empirical #interactive #stack overflow

An empirical study on developer interactions in StackOverflow (SW, DL, LJ), pp. 1019–1024.

ESEC-FSE-2013-SahaSP #case study #comprehension #stack overflow #towards

Toward understanding the causes of unanswered questions in software information sites: a case study of stack overflow (RKS, AKS, DEP), pp. 663–666.

ICSE-2013-PonzanelliBL #ide #named #stack overflow

Seahawk: stack overflow in the IDE (LP, AB, ML), pp. 1295–1298.

HPCA-2013-SampsonYWCW #3d #parallel

Sonic Millip3De: A massively parallel 3D-stacked accelerator for 3D ultrasound (RS, MY, SW, CC, TFW), pp. 318–329.

HPDC-2013-CostaDOR #3d #clustering #named #network #stack

CamCubeOS: a key-based network stack for 3D torus cluster topologies (PC, AD, GO, AITR), pp. 73–84.

LICS-2013-BolligKM #complexity #model checking #multi

The Complexity of Model Checking Multi-stack Systems (BB, DK, RM), pp. 163–172.

ASE-2012-SeoK #predict

Predicting recurring crash stacks (HS, SK), pp. 180–189.

DAC-2012-JoubertDBTH #3d #exclamation #problem

Capacitance of TSVs in 3-D stacked chips a problem?: not for neuromorphic systems! (AJ, MD, BB, OT, RH), pp. 1264–1265.

DAC-2012-MengKC #3d #constraints #energy #manycore #optimisation #performance

Optimizing energy efficiency of 3-D multicore systems with stacked DRAM under power and thermal constraints (JM, KK, AKC), pp. 648–655.

DATE-2012-ChenLMABJ #3d #architecture #in memory #memory management #modelling #named

CACTI-3DD: Architecture-level modeling for 3D die-stacked DRAM main memory (KC, SL, NM, JHA, JBB, NPJ), pp. 33–38.

DATE-2012-JiangXE #3d #effectiveness #on the

On effective TSV repair for 3D-stacked ICs (LJ, QX, BE), pp. 793–798.

DATE-2012-Marinissen #2d #3d #challenge #testing

Challenges and emerging solutions in testing TSV-based 2 1 over 2D- and 3D-stacked ICs (EJM), pp. 1277–1282.

DATE-2012-MengC #3d #analysis #energy #performance #runtime

Analysis and runtime management of 3D systems with stacked DRAM for boosting energy efficiency (JM, AKC), pp. 611–616.

DATE-2012-TanLXTC #branch #energy #predict #stack

Energy-efficient branch prediction with Compiler-guided History Stack (MT, XL, ZX, DT, XC), pp. 449–454.

VLDB-2012-ZengH #algorithm #graph #pattern matching

Comments on “Stack-based Algorithms for Pattern Matching on DAGs” (QZ, HZ), pp. 668–679.

ICSM-2012-NasehiSMB #case study #programming #stack overflow #what

What makes a good code example?: A study of programming Q&A in StackOverflow (SMN, JS, FM, CB), pp. 25–34.

CHI-2012-ChanMRB

CapStones and ZebraWidgets: sensing stacks of building blocks, dials and sliders on capacitive touch screens (LC, SM, AR, PB), pp. 2189–2192.

CHI-2012-GirouardTV #flexibility #interactive #named

DisplayStacks: interaction techniques for stacks of flexible thin-film displays (AG, APT, RV), pp. 2431–2440.

ICPR-2012-LiZL #image #sequence #stack

Removal of dust artifacts in focal stack image sequences (CL, KZ, SL), pp. 2602–2605.

KDD-2012-AndersonHKL #case study #community #process #stack overflow

Discovering value from community activity on focused question answering sites: a case study of stack overflow (AA, DPH, JMK, JL), pp. 850–858.

MLDM-2012-SyarifZPW #detection

Application of Bagging, Boosting and Stacking to Intrusion Detection (IS, EZ, APB, GW), pp. 593–602.

SAC-2012-ChoeYYR #algorithm #automation #realtime #scheduling #search-based #using

Real-time scheduling of twin stacking cranes in an automated container terminal using a genetic algorithm (RC, HY, YY, KRR), pp. 238–243.

SAC-2012-DavoliG #api #multi #named #stack

msocket: multiple stack support for the berkeley socket API (RD, MG), pp. 588–593.

ICSE-2012-DangWZZN #clustering #named #similarity #stack

ReBucket: A method for clustering duplicate crash reports based on call stack similarity (YD, RW, HZ, DZ, PN), pp. 1084–1093.

ICSE-2012-HanDGZX #debugging #in the large #mining #performance #stack

Performance debugging in the large via mining millions of stack traces (SH, YD, SG, DZ, TX), pp. 145–155.

ICSE-2012-Rodes #layout #source code #stack #towards

Stack layout transformation: Towards diversity for securing binary programs (BR), pp. 1543–1546.

LCTES-2012-AslamBQUFTSH #design #embedded #java #stack

Rethinking Java call stack design for tiny embedded devices (FA, GB, MAQ, ZAU, LF, PT, CS, EH), pp. 1–10.

ICST-2012-JonssonBSE #automation #scalability #towards #using

Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization (LJ, DB, KS, SE), pp. 437–446.

ICST-2012-Woehrle #network #protocol #search-based #testing

Search-Based Stress Testing of Wireless Network Protocol Stacks (MW), pp. 794–803.

DAC-2011-ShiSW #3d #design

Non-uniform micro-channel design for stacked 3D-ICs (BS, AS, PW), pp. 658–663.

DATE-2011-KimYLAJ #3d #analysis #embedded #mobile #performance

A quantitative analysis of performance benefits of 3D die stacking on mobile and embedded SoC (DK, SY, SL, JHA, HJ), pp. 1333–1338.

DATE-2011-WeisWLB #3d #design

Design space exploration for 3D-stacked DRAMs (CW, NW, IL, LB), pp. 389–394.

ESOP-2011-SotinJ #analysis #interprocedural #pointer #precise #stack

Precise Interprocedural Analysis in the Presence of Pointers to the Stack (PS, BJ), pp. 459–479.

PEPM-2011-VardoulakisS #continuation #multi #stack

Ordering multiple continuations on the stack (DV, OS), pp. 13–22.

PEPM-2011-WangG #embedded #programming #protocol

An embedded language for programming protocol stacks in embedded systems (YW, VG), pp. 63–72.

ICFP-2011-SchrijversO #monad #stack

Monads, zippers and views: virtualizing the monad stack (TS, BCdSO), pp. 32–44.

IFL-2011-ChangBCF #lazy evaluation #sequence #stack

From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.

SIGAda-2011-Moore #parallel #recursion #stack

Stack safe parallel recursion with paraffin (BJM), pp. 27–34.

Onward-2011-NevesGF #stack

Language support for asynchronous event handling in the invocation call stack (CRGdN, EMG, CTF), pp. 177–180.

OOPSLA-2011-HammerNCA #self #stack

Self-adjusting stack machines (MAH, GN, YC, UAA), pp. 753–772.

SAC-2011-LiuZ11a #analysis #distance #performance #stack #worst-case

Stack distance based worst-case instruction cache performance analysis (YL, WZ), pp. 723–728.

CGO-2011-LiWH #stack

Dynamic register promotion of stack variables (JL, CW, WCH), pp. 21–31.

CBSE-2010-LoiretSDS #approach #composition #embedded #realtime

A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks (FL, LS, LD, DS), pp. 37–54.

CASE-2010-Puffer #automation #challenge

Automation challenges and opportunities for high volume manufacture of proton exchange membrane fuel cell stacks (RHP), pp. 287–292.

DAC-2010-BansalRYJLMMR #3d #question

3-D stacked die: now or future? (SB, JCR, AY, MSJ, LCL, PM, PM, RR), pp. 298–299.

DAC-2010-CabeQS #power management

Stacking SRAM banks for ultra low power standby mode operation (ACC, ZQ, MRS), pp. 699–704.

DAC-2010-KimK #3d #design #synthesis #testing

Clock tree synthesis with pre-bond testability for 3D stacked IC designs (TYK, TK), pp. 723–728.

DAC-2010-OzdemirPDMLC #3d #architecture #parametricity

Quantifying and coping with parametric variations in 3D-stacked microarchitectures (SO, YP, AD, GM, GHL, ANC), pp. 144–149.

DATE-2010-CoskunARBM #3d #architecture #energy

Energy-efficient variable-flow liquid cooling in 3D stacked architectures (AKC, DA, TSR, TB, BM), pp. 111–116.

DATE-2010-LoiB #3d #distributed #framework #interface #manycore #memory management #performance

An efficient distributed memory interface for many-core platform with 3D stacked DRAM (IL, LB), pp. 99–104.

DATE-2010-Marinissen #3d #testing

Testing TSV-based three-dimensional stacked ICs (EJM), pp. 1689–1694.

DATE-2010-MarongiuRB #manycore #memory management #performance

Efficient OpenMP data mapping for multicore platforms with vertically stacked memory (AM, MR, LB), pp. 105–110.

DRR-2010-ZhangZLT #learning #recognition

A stacked sequential learning method for investigator name recognition from web-based medical articles (XZ, JZ, DXL, GRT), pp. 1–10.

MSR-2010-SchroterBP #debugging #developer #question #stack

Do stack traces help developers fix bugs? (AS, NB, RP), pp. 118–121.

ICPR-2010-LiD #classification #multi #verification

Multi-classifier Q-stack Aging Model for Adult Face Verification (WL, AD), pp. 1310–1313.

SIGIR-2010-Huerta #approach #approximate #stack #string

A stack decoder approach to approximate string matching (JMH), pp. 823–824.

PADL-2010-WangG #approach #domain-specific language #implementation #protocol #stack

A Domain-Specific Language Approach to Protocol Stack Implementation (YW, VG), pp. 183–185.

SAC-2010-JungCKCGK #interface #multi #network #protocol #stack

Virtual protocol stack interface for multiple wireless sensor network simulators (JJ, YC, YK, YC, BG, JK), pp. 240–241.

HPCA-2010-WooSLL #3d #architecture #memory management

An optimized 3D-stacked memory architecture by exploiting excessive, high-density TSV bandwidth (DHW, NHS, DLL, HHSL), pp. 1–12.

CAV-2010-Seth #automaton #bound #multi #reachability

Global Reachability in Bounded Phase Multi-stack Pushdown Systems (AS), pp. 615–628.

SAT-2010-NadelR #stack

Assignment Stack Shrinking (AN, VR), pp. 375–381.

DAC-2009-ReddiGSWBC #challenge #hardware #reliability #stack

Software-assisted hardware reliability: abstracting circuit-level challenges to the software stack (VJR, SC, MSG, MDS, GYW, DMB), pp. 788–793.

DATE-2009-AraniHPCYPTC #3d #reliability

Reliability aware through silicon via planning for 3D stacked ICs (ASA, XH, HP, CKC, WY, MP, TT, XC), pp. 288–291.

DATE-2009-FacchiniCVPCDBM #3d #evaluation #mobile #performance

System-level power/performance evaluation of 3D stacked DRAMs for mobile applications (MF, TC, AV, MP, FC, WD, LB, PM), pp. 923–928.

LATA-2009-LimayeM #automaton #multi #testing

Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata (NL, MM), pp. 493–504.

RecSys-2009-BaoBT #recommendation

Stacking recommendation engines with additional meta-features (XB, LB, RT), pp. 109–116.

SAC-2009-LiuZ #distance #performance #stack #worst-case

Exploiting stack distance to estimate worst-case data cache performance (YL, WZ), pp. 1979–1983.

HPCA-2009-MadanZMUBIMN #3d #capacity #communication #configuration management #optimisation

Optimizing communication and capacity in a 3D stacked reconfigurable cache hierarchy (NM, LZ, NM, ANU, RB, RI, SM, DN), pp. 262–274.

HPCA-2009-SunDXLC #3d #architecture #novel

A novel architecture of the 3D stacked MRAM L2 cache for CMPs (GS, XD, YX, JL, YC), pp. 239–249.

LCTES-2009-YangCR #ram #stack

Eliminating the call stack to save RAM (XY, NC, JR), pp. 60–69.

PPoPP-2009-YangHLSS #parallel #recursion

Stack-based parallel recursion on graphics processors (KY, BH, QL, PVS, JS), pp. 299–300.

DAC-2008-DongWSXLC #3d #architecture #evaluation #memory management #ram

Circuit and microarchitecture evaluation of 3D stacking magnetic RAM (MRAM) as a universal memory replacement (XD, XW, GS, YX, HHL, YC), pp. 554–559.

DATE-2008-AmelifardHFP #logic #multi #stack

A Current Source Model for CMOS Logic Cells Considering Multiple Input Switching and Stack Effect (BA, SH, HF, MP), pp. 568–573.

CIAA-2008-PaunPR #question

Hopcroft’s Minimization Technique: Queues or Stacks? (AP, MP, ARP), pp. 78–91.

SOFTVIS-2008-BernardinBH #algorithm #visualisation

Stacked-widget visualization of scheduling-based algorithms (TB, BB, BH), pp. 165–174.

ECOOP-2008-BessonJT #interface #stack

Computing Stack Maps with Interfaces (FB, TPJ, TT), pp. 642–666.

SAC-2008-ChidlovskiiL #dependence #documentation #layout #network

Stacked dependency networks for layout document structuring (BC, LL), pp. 424–428.

DATE-2007-ParkPH #memory management #novel #stack

A novel technique to use scratch-pad memory for stack management (SP, HwP, SH), pp. 1478–1483.

SEFM-2007-ColvinG #algorithm #scalability #stack #verification

A Scalable Lock-Free Stack Algorithm and its Verification (RC, LG), pp. 339–348.

POPL-2007-ParkinsonBO #composition #stack #verification

Modular verification of a non-blocking stack (MJP, RB, PWO), pp. 297–302.

SAC-2007-GuKHC #thread

Shared-stack cooperative threads (BG, YK, JH, YC), pp. 1181–1186.

SAC-2007-YiMLKJ #concurrent #multi #named #operating system #stack #thread

SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems (SY, HM, SL, YK, IJ), pp. 1201–1202.

CC-2007-BakerCPV #garbage collection #lazy evaluation #pointer

Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks (JB, AC, FP, JV), pp. 64–79.

VLDB-2006-ChenLTHAC #bottom-up #documentation #named #query #stack #xml

Twig2Stack: Bottom-up Processing of Generalized-Tree-Pattern Queries over XML Documents (SC, HGL, JT, WPH, DA, KSC), pp. 283–294.

PLDI-2006-FengSVXN #abstraction #assembly #composition #verification

Modular verification of assembly code with stack-based control abstractions (XF, ZS, AV, SX, ZN), pp. 401–414.

ICALP-v2-2006-KarhumakiKO #communication

Communication of Two Stacks and Rewriting (JK, MK, AO), pp. 468–479.

ASPLOS-2006-KgilDSBDMRF #3d #energy #multi #named #performance #using

PicoServer: using 3D stacking technology to enable a compact energy efficient chip multiprocessor (TK, SD, AGS, NLB, RGD, TNM, SKR, KF), pp. 117–128.

CC-2006-NandivadaP #named #stack

SARA: Combining Stack Allocation and Register Allocation (VKN, JP), pp. 232–246.

CC-2006-YasugiHY #execution #lightweight #stack

Lightweight Lexical Closures for Legitimate Execution Stack Access (MY, TH, TY), pp. 170–184.

ISMM-2006-Corry #java #stack

Optimistic stack allocation for java-like languages (EC), pp. 162–173.

ASE-2005-GotliebDB #constraints #generative #pointer #testing

Constraint-based test data generation in the presence of stack-directed pointers (AG, TD, BB), pp. 313–316.

SIGMOD-2005-DeHaanLZ #sql

Stacked indexed views in microsoft SQL server (DD, PÅL, JZ), pp. 179–190.

VLDB-2005-ChenGK #algorithm #graph #pattern matching

Stack-based Algorithms for Pattern Matching on DAGs (LC, AG, MEK), pp. 493–504.

VLDB-2005-PandeyROCC #random #ranking

Shuffling a Stacked Deck: The Case for Partially Randomized Ranking of Search Engine Results (SP, SR, CO, JC, SC), pp. 781–792.

ICSM-2005-McMasterM #reduction #stack #testing

Call Stack Coverage for Test Suite Reduction (SM, AMM), pp. 539–548.

ICFP-2005-PettyjohnCMKF #continuation #stack

Continuations from generalized stack inspection (GP, JC, JM, SK, MF), pp. 216–227.

LICS-2005-JiaSWG #compilation #stack

Certifying Compilation for a Language with Stack Allocation (LJ, FS, DW, NG), pp. 407–416.

WICSA-2004-MichielsDJV #architecture #protocol #self

The DiPS+ Software Architecture for Self-healing Protocol Stacks (SM, LD, WJ, PV), pp. 233–242.

SCAM-2004-LakhotiaK #detection #obfuscation #stack

Abstracting Stack to Detect Obfuscated Calls in Binaries (AL, EUK), pp. 17–26.

PEPM-2004-Nishimura #parametricity

Fusion with stacks and accumulating parameters (SN), pp. 101–112.

LOPSTR-2004-PueblaAH #performance #prolog

Efficient Local Unfolding with Ancestor Stacks for Full Prolog (GP, EA, MVH), pp. 149–165.

CC-2004-LindigR #composition #declarative #stack

Declarative Composition of Stack Frames (CL, NR), pp. 298–312.

DATE-2003-MamidipakaD #architecture #embedded #memory management #power management #stack

On-chip Stack Based Memory Organization for Low Power Embedded Architectures (MM, NDD), pp. 11082–11089.

ESOP-2003-ClementsF #recursion #semantics #stack

A Tail-Recursive Semantics for Stack Inspections (JC, MF), pp. 22–37.

SAS-2003-ChatterjeeMMZHP #analysis #source code #stack

Stack Size Analysis for Interrupt-Driven Programs (KC, DM, RM, TZ, TAH, JP), pp. 109–126.

CGO-2003-FinkQ #adaptation #design #evaluation #implementation

Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement (SJF, FQ), pp. 241–252.

CGO-2003-SettleCHL #architecture #optimisation #stack

Optimization for the Intel® Itanium ®Architectur Register Stack (AS, DAC, GH, DML), pp. 115–124.

LICS-2003-PitermanV #decidability #future of #stack

Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems (NP, MYV), p. 381–?.

TestCom-2003-AcharyaS #case study #stack #testing

Testing of 3G 1xEV-DV Stack — A Case Study (IA, HKS), pp. 20–32.

IFL-2002-Trancon-y-Widemann #functional

Stacking Cycles: Functional Transformation of Circular Data (BTyW), pp. 150–164.

ICML-2002-Seewald #how #performance

How to Make Stacking Better and Faster While Also Taking Care of an Unknown Weakness (AKS), pp. 554–561.

ICPR-v4-2002-PopatGP #adaptation #algorithm #documentation #image #stack

Adaptive Stack Algorithm in Document Image Decoding (KP, DHG, TLP), pp. 231–234.

GPCE-2002-BarbeauB #development #generative #programming #protocol #stack #using

A Protocol Stack Development Tool Using Generative Programming (MB, FB), pp. 93–109.

PPDP-2002-BessonLJ #stack

Secure calling contexts for stack inspection (FB, TdGdL, TPJ), pp. 76–87.

PPDP-2002-SomogyiS #stack #using

Using the heap to eliminate stack accesses (ZS, PJS), pp. 121–132.

POPL-2002-FournetG #stack

Stack inspection: theory and variants (CF, ADG), pp. 307–318.

DATE-2001-PintoMEJ #constraints #scheduling

Constraint satisfaction for storage files with Fifos or stacks during scheduling (CAAP, BM, KvE, JAGJ), p. 824.

FLOPS-2001-Kagawa #encapsulation #monad #stack

Monadic Encapsulation with Stack of Regions (KK), pp. 264–279.

HPCA-2001-LeeSNT #architecture #stack

Stack Value File: Custom Microarchitecture for the Stack (HHSL, MS, CJN, GST), pp. 5–14.

DATE-2000-MurookaM #protocol

Protocol Stack-Based Telecom-Emulator (TM, TM), pp. 186–191.

PPDP-2000-Li #memory management #performance #prolog #stack

Efficient memory management in a merged heap/stack prolog machine (XL), pp. 245–256.

CC-2000-GayS #analysis #performance #source code #stack

Fast Escape Analysis and Stack Allocation for Object-Based Programs (DG, BS), pp. 82–93.

DAC-1999-JohnsonSR #performance

Leakage Control with Efficient Use of Transistor Stacks in Single Threshold CMOS (MCJ, DS, KR), pp. 442–445.

PPoPP-1999-TauraTY #named #standard #thread

StackThreads/MP: Integrating Futures into Calling Standards (KT, KT, AY), pp. 60–71.

ICLP-1999-GuptaP #distributed #memory management #named

Stack-splitting: Or-/And-parallelism on Distributed Memory Machines (GG, EP), pp. 290–304.

PLDI-1998-ChengHL #stack

Generational Stack Collection and Profile-Driven Pretenuring (PC, RH, PL), pp. 162–173.

CC-1998-MaierhoferE #stack

Local Stack Allocation (MM, MAE), pp. 189–203.

HPDC-1998-CzechHG #composition #flexibility #kernel #protocol

Flexible Protocol Stacks by In-Kernel Composition (CBC, BH, MG), pp. 344–345.

ICML-1997-TingW #modelling

Stacking Bagged and Dagged Models (KMT, IHW), pp. 367–375.

DAC-1996-BasaranR #algorithm #constraints #performance

An O(n) Algorithm for Transistor Stacking with Performance Constraints (BB, RAR), pp. 221–226.

PLDI-1995-Ertl #stack

Stack Caching for Interpreters (MAE), pp. 315–327.

SAS-1995-Hannan #analysis #functional #stack #type system

A Type-based Analysis for Stack Allocation in Functional Languages (JH), pp. 172–188.

DLT-1995-Galvez #lr #parsing #stack

A Practical Small LR Parser with Action Decision Through Minimal Stack Suffix Scanning (JFG), pp. 460–465.

LFP-1994-BiagioniHLM #ml #network #protocol #stack #standard

Signatures for a Network Protocol Stack: A Systems Application of Standard ML (EB, RH, PL, BM), pp. 55–64.

POPL-1994-TofteT #call-by #implementation #stack #using #λ-calculus

Implementation of the Typed Call-by-Value λ-Calculus using a Stack of Regions (MT, JPT), pp. 188–201.

SAC-1994-WongD #hybrid #stack #thread #using

Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.

ICLP-1994-Zhou #on the #prolog #stack

On the Scheme of Passing Arguments in Stack Frames for Prolog (NFZ), pp. 159–174.

PLILP-1993-HogenL #distributed #implementation #runtime #stack

Stack Management of Runtime Structures in Distributed Implementations (GH, RL), pp. 416–417.

PLILP-1993-Kaser #stack

Inlining to Reduce Stack Space (OK), pp. 262–274.

ICLP-1991-FujitaH #algorithm #generative #proving #theorem proving #using

A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm (HF, RH), pp. 535–548.

ESOP-1990-GoldbergP #analysis #functional #higher-order #implementation #optimisation #stack

Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations (BG, YGP), pp. 152–160.

LFP-1990-Hanson #performance #recursion #stack

Efficient Stack Allocation for Tail-Recursive Languages (CH), pp. 106–118.

DAC-1989-LukD #layout #multi #optimisation

Multi-Stack Optimization for Data-Path Chip (Microprocessor) Layout (WKL, AAD), pp. 110–115.

PLDI-1987-Moss #smalltalk #stack

Managing stack frames in Smalltalk (JEBM), pp. 229–240.

FPCA-1987-Lester #representation #semantics #stack

The G-machine as a representation of stack semantics (DRL), pp. 46–59.

SLP-1986-BorgwardtR86 #backtracking #distributed #prolog

Distributed Semi-intelligent Backtracking for a Stack-based AND-parallel Prolog (PB, DR), pp. 211–222.

SLP-1984-Borgwardt84 #parallel #prolog #stack #using

Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors (PB), pp. 2–11.

LFP-1982-Georgeff #functional #implementation #stack

A Scheme for Implementing Functional Values on a Stack Machine (MPG), pp. 188–195.

ASPLOS-1982-DitzelM #c #for free #stack

Register Allocation for Free: The C Machine Stack Cache (DRD, HRM), pp. 48–56.

LISP-1980-MasinterD #compilation #lisp #optimisation

Local Optimization in a Compiler for Stack-based LISP Machines (LM, LPD), pp. 223–230.

ICALP-1979-Kemp #distributed #on the #stack

On the Average Stack Size of Regularly Distributed Binary Trees (RK), pp. 340–355.

ICALP-1978-PriceW #stack

States Can Sometimes Do More Than Stack Symbols in PDA’s (JKP, DW), pp. 353–362.

STOC-1977-PrabhalaS #comparison #set #stack

A Comparison of Instruction Sets for Stack Machines (BP, RS), pp. 132–142.

ICALP-1974-ShamirB

Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages (ES, CB), pp. 27–33.

STOC-1973-Pratt #parallel #permutation

Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues (VRP), pp. 268–277.

STOC-1969-Ogden #stack #theorem

Intercalation Theorems for Stack Languages (WFO), pp. 31–42.