BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
point (121)
bug (58)
time (29)
program (25)
paramet (24)

Stem fix$ (all stems)

335 papers:

DACDAC-2015-HuangCZL #behaviour #named #realtime #scheduling
PASS: priority assignment of real-time tasks with dynamic suspending behavior under fixed-priority scheduling (WHH, JJC, HZ, CL), p. 6.
DACDAC-2015-XieZPHLX #energy
Fixing the broken time machine: consistency-aware checkpointing for energy harvesting powered non-volatile processor (MX, MZ, CP, JH, YL, CJX), p. 6.
DATEDATE-2015-HanFNQ #energy #fault tolerance #multi #scheduling
Energy minimization for fault tolerant scheduling of periodic fixed-priority applications on multiprocessor platforms (QH, MF, LN, GQ), pp. 830–835.
DATEDATE-2015-WangNRQ #manycore #realtime #scheduling #statistics
Multi-core fixed-priority scheduling of real-time tasks with statistical deadline guarantee (TW, LN, SR, GQ), pp. 1335–1340.
ICSMEICSME-2015-PiorkowskiFSBKH #bias #debugging #developer #how #information management
To fix or to learn? How production bias affects developers’ information foraging during debugging (DP, SDF, CS, MMB, IK, AZH, JM, CH, AH), pp. 11–20.
ICSMEICSME-2015-VasquezVLP #android #detection #developer #how #performance
How developers detect and fix performance bottlenecks in Android apps (MLV, CV, QL, DP), pp. 352–361.
MSRMSR-2015-MirakhorliC #architecture #debugging
Modifications, Tweaks, and Bug Fixes in Architectural Tactics (MM, JCH), pp. 377–380.
MSRMSR-2015-OrtuADTMT #effectiveness #empirical
Are Bullies More Productive? Empirical Study of Affectiveness vs. Issue Fixing Time (MO, BA, GD, PT, MM, RT), pp. 303–313.
SANERSANER-2015-OumarouAEDK #identification
Identifying the exact fixing actions of static rule violation (HO, NA, AE, SD, DTK), pp. 371–379.
SASSAS-2015-ChoiCNS #javascript #layout #named #type system
SJS: A Type System for JavaScript with Fixed Object Layout (WC, SC, GCN, KS), pp. 181–198.
ICALPICALP-v1-2015-Cao #editing #parametricity
Unit Interval Editing is Fixed-Parameter Tractable (YC), pp. 306–317.
ICALPICALP-v1-2015-CohenS
Zero-Fixing Extractors for Sub-Logarithmic Entropy (GC, IS), pp. 343–354.
ICALPICALP-v2-2015-EtessamiSY #branch #equation #fixpoint #markov #polynomial #probability #process #reachability
Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes (KE, AS, MY), pp. 184–196.
ICALPICALP-v2-2015-Feldmann #approximate #graph #parametricity #problem
Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs (AEF), pp. 588–600.
ICALPICALP-v2-2015-JurdzinskiLS #energy #game studies #pseudo
Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (MJ, RL, SS), pp. 260–272.
CHICHI-2015-ZhangAK #how #question #what #why
Mailing Lists: Why Are They Still Here, What’s Wrong With Them, and How Can We Fix Them? (AXZ, MSA, DRK), pp. 4009–4018.
CSCWCSCW-2015-VashisthaCT
Increasing the Reach of Snowball Sampling: The Impact of Fixed versus Lottery Incentives (AV, EC, WT), pp. 1359–1363.
ICMLICML-2015-MarietS #algorithm #fixpoint #learning #process
Fixed-point algorithms for learning determinantal point processes (ZM, SS), pp. 2389–2397.
SIGIRSIGIR-2015-MaxwellAJK #adaptation
An Initial Investigation into Fixed and Adaptive Stopping Strategies (DM, LA, KJ, HK), pp. 903–906.
AMTAMT-2015-SelimCDLO #case study #debugging #experience #model transformation #verification
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.
MoDELSMoDELS-2015-CuadradoGL #atl #model transformation
Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.
OOPSLAOOPSLA-2015-ToffolaPG #dynamic analysis #performance #problem
Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.
ICSEICSE-v1-2015-GaoXMZYZXM #c #source code
Safe Memory-Leak Fixing for C Programs (QG, YX, YM, LZ, WY, ZZ, BX, HM), pp. 459–470.
ICSEICSE-v1-2015-MechtaevYR #named #program repair
DirectFix: Looking for Simple Program Repairs (SM, JY, AR), pp. 448–458.
ICSEICSE-v1-2015-NistorCRL #detection #named #performance #problem
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes (AN, PCC, CR, SL), pp. 902–912.
ICSEICSE-v1-2015-ZhongS #debugging #empirical
An Empirical Study on Real Bug Fixes (HZ, ZS), pp. 913–923.
CSLCSL-2015-BaeldeDS #fixpoint
Least and Greatest Fixed Points in Ludics (DB, AD, AS), pp. 549–566.
LICSLICS-2015-CanavoiGLP #fixpoint #logic
Defining Winning Strategies in Fixed-Point Logic (FC, EG, SL, WP), pp. 366–377.
DACDAC-2014-AlbalawiLL #algorithm #classification #design #fixpoint #implementation #machine learning #power management
Computer-Aided Design of Machine Learning Algorithm: Training Fixed-Point Classifier for On-Chip Low-Power Implementation (HA, YL, XL), p. 6.
DRRDRR-2014-TaoTX #documentation #learning #random #using
Document page structure learning for fixed-layout e-books using conditional random fields (XT, ZT, CX), p. ?–9.
PODSPODS-2014-Libkin #how #semistructured data #what
Incomplete data: what went wrong, and how to fix it (LL), pp. 1–13.
SIGMODSIGMOD-2014-WangT #program repair #towards
Towards dependable data repairing with fixing rules (JW, NT), pp. 457–468.
FASEFASE-2014-PeiFNM #automation #contract #program repair
Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
SANERCSMR-WCRE-2014-OsmanLN #debugging #mining
Mining frequent bug-fix code changes (HO, ML, ON), pp. 343–347.
MSRMSR-2014-BellerBZJ #code review #open source #problem #question
Modern code reviews in open-source projects: which problems do they fix? (MB, AB, AZ, EJ), pp. 202–211.
SCAMSCAM-2014-AnKA #debugging
Supplementary Bug Fixes vs. Re-opened Bugs (LA, FK, BA), pp. 205–214.
SCAMSCAM-2014-BazrafshanK #debugging #developer #performance
Effect of Clone Information on the Performance of Developers Fixing Cloned Bugs (SB, RK), pp. 1–10.
SCAMSCAM-2014-SzokeANFG #quality #question #refactoring
Bulk Fixing Coding Issues and Its Effects on Software Quality: Is It Worth Refactoring? (GS, GA, CN, RF, TG), pp. 95–104.
SASSAS-2014-ChakarovS #fixpoint #invariant #probability
Expectation Invariants for Probabilistic Program Loops as Fixed Points (AC, SS), pp. 85–100.
STOCSTOC-2014-CyganLPPS #parametricity
Minimum bisection is fixed parameter tractable (MC, DL, MP, MP, SS), pp. 323–332.
ICEISICEIS-v1-2014-FolinoGP #framework #modelling #predict
A Framework for the Discovery of Predictive Fix-time Models (FF, MG, LP), pp. 99–108.
ICEISICEIS-v1-2014-SilvaSMMS #branch #design #heuristic #network #problem
A Heuristic Procedure with Local Branching for the Fixed Charge Network Design Problem with User-optimal Flow (PHGS, LGS, CAdJM, PYPM, ES), pp. 384–394.
CIKMCIKM-2014-PaikO #fixpoint #query
A Fixed-Point Method for Weighting Terms in Verbose Informational Queries (JHP, DWO), pp. 131–140.
CIKMCIKM-2014-ProkofyevMGDC #fault #ranking
Correct Me If I’m Wrong: Fixing Grammatical Errors by Preposition Ranking (RP, RM, MG, GD, PCM), pp. 331–340.
SEKESEKE-2014-YangWSFC #analysis #debugging #fault
Bug Inducing Analysis to Prevent Fault Prone Bug Fixes (HY, CW, QS, YF, ZC), pp. 620–625.
OOPSLAOOPSLA-2014-LiuTZ #named
Flint: fixing linearizability violations (PL, OT, XZ), pp. 543–560.
SACSAC-2014-YangZL #algorithm #debugging #developer #effectiveness #multi #recommendation
Utilizing a multi-developer network-based developer recommendation algorithm to fix bugs effectively (GY, TZ, BL), pp. 1134–1139.
FSEFSE-2014-0010TZ #concurrent #debugging #named
Grail: context-aware fixing of concurrency bugs (PL, OT, CZ), pp. 318–329.
ICSEICSE-2014-OcarizaPM #fault #javascript #named
Vejovis: suggesting fixes for JavaScript faults (FSOJ, KP, AM), pp. 837–847.
CGOCGO-2014-JimboreanKSBK #approach #compilation #hardware #scalability
Fix the code. Don’t tweak the hardware: A new compiler approach to Voltage-Frequency scaling (AJ, KK, VS, DBS, SK), p. 262.
ICSTSAT-2014-HaanS #parametricity #reduction #satisfiability
Fixed-Parameter Tractable Reductions to SAT (RdH, SS), pp. 85–102.
ASEASE-2013-Fard #behaviour #detection #distributed #independence #using
Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method (FHF), pp. 746–749.
DACDAC-2013-AxerE #fault #probability #scheduling
Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.
DACDAC-2013-YuanX #fault #logic #low cost #named #scalability
InTimeFix: a low-cost and scalable technique for in-situ timing error masking in logic circuits (FY, QX), p. 6.
DATEDATE-2013-NovoAI #estimation #fault #fixpoint #invariant #linear #trade-off
Accuracy vs speed tradeoffs in the estimation of fixed-point errors on linear time-invariant systems (DN, SEA, PI), pp. 15–20.
DATEDATE-2013-UnutulmazDF #optimisation #using
Area optimization on fixed analog floorplans using convex area functions (AU, GD, FVF), pp. 1843–1848.
CSMRCSMR-2013-BhattacharyaUNK #analysis #android #debugging #empirical #open source
An Empirical Analysis of Bug Reports and Bug Fixing in Open Source Android Apps (PB, LU, IN, SCK), pp. 133–143.
MSRMSR-2013-DullemondGSD #distributed #microblog #problem
Fixing the “out of sight out of mind” problem: one year of mood-based microblogging in a distributed software team (KD, BvG, MADS, AvD), pp. 267–276.
MSRMSR-2013-NadiDTHL #how #linux #question #variability #what
Linux variability anomalies: what causes them and how do they get fixed? (SN, CD, RT, RCH, DL), pp. 111–120.
MSRMSR-2013-NistorJT #debugging #performance
Discovering, reporting, and fixing performance bugs (AN, TJ, LT), pp. 237–246.
SCAMSCAM-2013-Balachandran #bibliography #component #named
Fix-it: An extensible code auto-fix component in Review Bot (VB), pp. 167–172.
WCREWCRE-2013-ThungLJ #automation
Automatic recovery of root causes from bug-fixing changes (FT, DL, LJ), pp. 92–101.
PEPMPEPM-2013-DevrieseSCP #domain-specific language #recursion
Fixing idioms: a recursion primitive for applicative DSLs (DD, IS, DC, FP), pp. 97–106.
PLDIPLDI-2013-LiangF #composition #verification
Modular verification of linearizability with non-fixed linearization points (HL, XF), pp. 459–470.
ICALPICALP-v1-2013-MarxV #algorithm #parametricity
Fixed-Parameter Algorithms for Minimum Cost Edge-Connectivity Augmentation (DM, LAV), pp. 721–732.
ICMLICML-c1-2013-LiWWT #fixpoint
Fixed-Point Model For Structured Labeling (QL, JW, DPW, ZT), pp. 214–221.
ECOOPECOOP-2013-ServettoMPN #composition
The Billion-Dollar Fix — Safe Modular Circular Initialisation with Placeholders and Placeholder Types (MS, JM, AP, JN), pp. 205–229.
ICSEICSE-2013-CokerH #c #integer #program transformation
Program transformations to fix C integers (ZC, MH), pp. 792–801.
ICSEICSE-2013-HenardPPKT #automation #feature model #modelling #testing #towards
Towards automated testing and fixing of re-engineered feature models (CH, MP, GP, JK, YLT), pp. 1245–1248.
ICSEICSE-2013-Murphy-HillZBN #debugging #design
The design of bug fixes (ERMH, TZ, CB, NN), pp. 332–341.
ICSEICSE-2013-NguyenQRC #analysis #named #program repair #semantics
SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.
ICSEICSE-2013-ZhangGV #empirical #predict
Predicting bug-fixing time: an empirical study of commercial software projects (HZ, LG, SV), pp. 1042–1051.
SPLCSPLC-2013-WangPXCZ0 #named
SmartFixer: fixing software configurations based on dynamic priorities (BW, LTP, YX, KC, HZ, WZ), pp. 82–90.
CSLCSL-2013-GallianiH #fixpoint #logic
Inclusion Logic and Fixed Point Logic (PG, LH), pp. 281–295.
CSLCSL-2013-Goller #concurrent #model checking #parametricity
The Fixed-Parameter Tractability of Model Checking Concurrent Systems (SG), pp. 332–347.
ICSTICST-2013-LiuYTH #automation #debugging #generative #named
R2Fix: Automatically Generating Bug Fixes from Bug Reports (CL, JY, LT, MH), pp. 282–291.
LICSLICS-2013-AndersonDH #fixpoint #linear #logic #programming
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (MA, AD, BH), pp. 173–182.
LICSLICS-2013-BirkedalM #fixpoint #recursion #type system
Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes (LB, REM), pp. 213–222.
DATEDATE-2012-FanQ #framework #manycore #realtime #scheduling
Harmonic semi-partitioned scheduling for fixed-priority real-time tasks on multi-core platform (MF, GQ), pp. 503–508.
DATEDATE-2012-PonsMP #layout #metric
Fixed origin corner square inspection layout regularity metric (MP, MNM, CP), pp. 1397–1402.
CSMRCSMR-2012-Izquierdo-Cortazar #comprehension #debugging #distributed #process
Global and Geographically Distributed Work Teams: Understanding the Bug Fixing Process and Potentially Bug-prone Activity Patterns (DIC), pp. 505–508.
CSMRCSMR-2012-LamkanfiD #analysis #debugging
Filtering Bug Reports for Fix-Time Analysis (AL, SD), pp. 379–384.
ICSMEICSM-2012-OhiraHOM #case study #debugging #eclipse
The impact of bug management patterns on bug fixing: A case study of Eclipse projects (MO, AEH, NO, KiM), pp. 264–273.
ICSMEICSM-2012-QianZ #java #memory management
Inferring weak references for fixing Java memory leaks (JQ, XZ), pp. 571–574.
MSRMSR-2012-ParkKRB #debugging #empirical
An empirical study of supplementary bug fixes (JP, MK, BR, DHB), pp. 40–49.
MSRMSR-2012-SouzaC #debugging #ide #open source #verification
Characterizing verification of bug fixes in two open source IDEs (RS, CC), pp. 70–73.
WCREWCRE-2012-ZhangKZH #debugging #empirical
An Empirical Study on Factors Impacting Bug Fixing Time (FZ, FK, YZ, AEH), pp. 225–234.
PEPMPEPM-2012-KarlsenHO #debugging #eclipse #java #plugin
Finding and fixing Java naming bugs with the lancelot eclipse plugin (EKK, EWH, BMØ), pp. 35–38.
ICALPICALP-v1-2012-ChitnisCHM #feedback #parametricity #set
Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable (RHC, MC, MTH, DM), pp. 230–241.
ICALPICALP-v1-2012-KratschPPW #graph #multi #parametricity
Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs (SK, MP, MP, MW), pp. 581–593.
ICALPICALP-v1-2012-Marx #bound #multi
A Tight Lower Bound for Planar Multiway Cut with Fixed Number of Terminals (DM), pp. 677–688.
CIKMCIKM-2012-WangWYHDC #framework #learning #modelling #novel
A novel local patch framework for fixing supervised learning models (YW, BW, JY, YH, ZHD, ZC), pp. 1233–1242.
ICPRICPR-2012-YokotaHKW #analysis #estimation #image
Estimation of earthquake ground motion by image analysis of sliding objects taken with a fixed camera (AY, TH, HK, TW), pp. 784–787.
KRKR-2012-LacknerP #algorithm #modelling #parametricity
Fixed-Parameter Algorithms for Finding Minimal Models (ML, AP).
SIGIRSIGIR-2012-LuCL #information retrieval
Fixed versus dynamic co-occurrence windows in TextRank term weights for information retrieval (WL, QC, CL), pp. 1079–1080.
PPDPPPDP-2012-FilipiukNN #fixpoint #logic
Layered fixed point logic (PF, FN, HRN), pp. 45–54.
FSEFSE-2012-NguyenNNN #approach #debugging #multi
Multi-layered approach for recovering links between bug reports and fixes (ATN, TTN, HAN, TNN), p. 63.
ICSEICSE-2012-GouesDFW #automation #debugging #program repair
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each (CLG, MDV, SF, WW), pp. 3–13.
ICSEICSE-2012-LiuZ #automation #constraints #named
Axis: Automatically fixing atomicity violations through solving control constraints (PL, CZ), pp. 299–309.
ICSEICSE-2012-PaganoJBRBM #maintenance #monitoring #named
FastFix: Monitoring control for remote software maintenance (DP, MAJ, AB, TR, BB, WM), pp. 1437–1438.
ICSEICSE-2012-TianLL #debugging #identification #linux
Identifying Linux bug fixing patches (YT, JLL, DL), pp. 386–396.
ICSEICSE-2012-XiongHSC #generative
Generating range fixes for software configuration (YX, AH, SS, KC), pp. 58–68.
ICSEICSE-2012-ZhouZL #debugging #information retrieval #locality
Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports (JZ, HZ, DL), pp. 14–24.
OSDIOSDI-2012-Jin0D #automation
Automated Concurrency-Bug Fixing (GJ, WZ, DD), pp. 221–236.
LICSLICS-2012-BaeldeN #deduction #fixpoint #logic
Combining Deduction Modulo and Logics of Fixed-Point Definitions (DB, GN), pp. 105–114.
ICSTSAT-2012-CrowstonGJRSY #parametricity
Fixed-Parameter Tractability of Satisfying beyond the Number of Variables (RC, GG, MJ, VR, SS, AY), pp. 355–368.
SMTSMT-2012-KovasznaiFB #complexity #logic #on the
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width (GK, AF, AB), pp. 44–56.
ASEASE-2011-NguyenNNN #fault #html #php #validation
Auto-locating and fix-propagating for HTML validation errors to PHP server-side code (HVN, HAN, TTN, TNN), pp. 13–22.
ASEASE-2011-PeiWFNM #automation
Code-based automated program fixing (YP, YW, CAF, MN, BM), pp. 392–395.
DATEDATE-2011-TsaiLCKCK #bound #on the
On routing fixed escaped boundary pins for high speed boards (TYT, RJL, CYC, CYK, HMC, YK), pp. 461–466.
DocEngDocEng-2011-Davis #how
Google’s international bloopers... and how we fixed one (MD), pp. 101–102.
ICDARICDAR-2011-DeckertSEG #comprehension
Table Content Understanding in SmartFIX (FD, BS, ME, MG), pp. 488–492.
VLDBVLDB-2011-FanLMTY #named
CerFix: A System for Cleaning Data with Certain Fixes (WF, JL, SM, NT, WY), pp. 1375–1378.
ICSMEICSM-2011-DhaliwalKZ #case study #debugging
Classifying field crash reports for fixing bugs: A case study of Mozilla Firefox (TD, FK, YZ), pp. 333–342.
MSRMSR-2011-BhattacharyaN #debugging #modelling #predict #question
Bug-fix time prediction models: can we do better? (PB, IN), pp. 207–210.
MSRMSR-2011-CanforaCCP #debugging #interactive #social
Social interactions around cross-system bug fixings: the case of FreeBSD and OpenBSD (GC, LC, MC, MDP), pp. 143–152.
MSRMSR-2011-SadowskiLLZW #algorithm #analysis #empirical
An empirical analysis of the FixCache algorithm (CS, CL, ZL, XZ, EJWJ), pp. 219–222.
PLDIPLDI-2011-JinSZLL #automation
Automated atomicity-violation fixing (GJ, LS, WZ, SL, BL), pp. 389–400.
STOCSTOC-2011-GroheKMW #parametricity
Finding topological subgraphs is fixed-parameter tractable (MG, KiK, DM, PW), pp. 479–488.
STOCSTOC-2011-MarxR #multi #parametricity
Fixed-parameter tractability of multicut parameterized by the size of the cutset (DM, IR), pp. 469–478.
ICALPICALP-v1-2011-CyganPPW #feedback #parametricity #set
Subset Feedback Vertex Set Is Fixed-Parameter Tractable (MC, MP, MP, JOW), pp. 449–461.
ICFPICFP-2011-HinzeJ #category theory #fixpoint #proving
Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
HCIIDGD-2011-ZhangM #trust
Once Broken, Never Fixed? The Impact of Culture and Medium on Repairing Trust in CMC (QZ, NM), pp. 341–350.
ICMLICML-2011-KuleszaT #named #process
k-DPPs: Fixed-Size Determinantal Point Processes (AK, BT), pp. 1193–1200.
ICMLICML-2011-MeyerBS #approach #constraints #linear
Linear Regression under Fixed-Rank Constraints: A Riemannian Approach (GM, SB, RS), pp. 545–552.
BXBX-2011-Xiong #generative
Fix Generation (YX), p. 65.
TOOLSTOOLS-EUROPE-2011-Tip #debugging #web
Finding and Fixing Bugs in Web Applications (Invited Talk) (FT), p. 2.
SACSAC-2011-VenkateshGBC #fixpoint #implementation #markov #modelling #recognition #speech #using
Fixed-point implementation of isolated sub-word level speech recognition using hidden Markov models (NV, RG, RB, MGC), pp. 368–373.
ESEC-FSEESEC-FSE-2011-YinYZPB #debugging #how #question
How do fixes become bugs? (ZY, DY, YZ, SP, LNB), pp. 26–36.
CAVCAV-2011-HoderBM #constraints #fixpoint #named #performance
μZ — An Efficient Engine for Fixed Points with Constraints (KH, NB, LMdM), pp. 457–462.
CAVCAV-2011-PhamTTC #constraints #fixpoint #named #quantifier
FixBag: A Fixpoint Calculator for Quantified Bag Constraints (THP, MTT, AHT, WNC), pp. 656–662.
LICSLICS-2011-Krokhin #complexity #first-order
The Complexity of Evaluating First-Order Sentences over a Fixed Structure (AAK), p. 331.
ASEASE-2010-RederE #design #detection #fault #named #uml #visualisation
Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML (AR, AE), pp. 347–348.
VLDBVLDB-2010-FanLMTY #editing #towards
Towards Certain Fixes with Editing Rules and Master Data (WF, JL, SM, NT, WY), pp. 173–184.
MSRMSR-2010-SchroterBP #debugging #developer #question #stack
Do stack traces help developers fix bugs? (AS, NB, RP), pp. 118–121.
WCREWCRE-2010-NguyenAH #bias #case study #dataset #debugging
A Case Study of Bias in Bug-Fix Datasets (THDN, BA, AEH), pp. 259–268.
ICMLICML-2010-Scherrer #difference #fixpoint #perspective
Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view (BS), pp. 959–966.
ICPRICPR-2010-RichiardiVRB #classification #graph #sequence
Vector Space Embedding of Undirected Graphs with Fixed-cardinality Vertex Sequences for Classification (JR, DVDV, KR, HB), pp. 902–905.
KRKR-2010-DvorakPW #algorithm #parametricity #towards
Towards Fixed-Parameter Tractable Algorithms for Argumentation (WD, RP, SW).
MODELSMoDELS-v1-2010-WangXHZZM #approach #consistency #feature model #modelling
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models (BW, YX, ZH, HZ, WZ, HM), pp. 181–195.
FSEFSE-2010-BachmannBRDB #commit #debugging
The missing links: bugs and bug-fix commits (AB, CB, FR, PTD, AB), pp. 97–106.
ICSEICSE-2010-GuBHS #debugging #question
Has the bug really been fixed? (ZG, ETB, DJH, ZS), pp. 55–64.
ICSEICSE-2010-GuoZNM #debugging #empirical #predict
Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows (PJG, TZ, NN, BM), pp. 495–504.
ICSEICSE-2010-NguyenNPAN #debugging #object-oriented #source code
Recurring bug fixes in object-oriented programs (TTN, HAN, NHP, JMAK, TNN), pp. 315–324.
ICSTICST-2010-DebroyW #automation #source code #using
Using Mutation to Automatically Suggest Fixes for Faulty Programs (VD, WEW), pp. 65–74.
ICSTICST-2010-EngstromRW #empirical #evaluation #recommendation #testing
An Empirical Evaluation of Regression Testing Based on Fix-Cache Recommendations (EE, PR, GW), pp. 75–78.
ICSTICST-2010-KimSGSHN #analysis #automation #debugging #identification
Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes (MK, SS, CG, HS, MJH, MGN), pp. 383–392.
ISSTAISSTA-2010-WeiPFSBMZ #automation #contract #source code
Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.
LICSLICS-2010-EndrullisHK #combinator #composition #fixpoint
Modular Construction of Fixed Point Combinators and Clocked Bohm Trees (JE, DH, JWK), pp. 111–119.
LICSLICS-2010-Grohe #fixpoint #graph #polynomial
Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors (MG), pp. 179–188.
ASEASE-2009-DallmeierZM #behaviour #generative
Generating Fixes from Object Behavior Anomalies (VD, AZ, BM), pp. 550–554.
DATEDATE-2009-DSilvaK #detection #fixpoint #multi
Fixed points for multi-cycle path detection (VD, DK), pp. 1710–1715.
DATEDATE-2009-LiuX09a #framework #reduction
A generic framework for scan capture power reduction in fixed-length symbol-based test compression environment (XL, QX), pp. 1494–1499.
DATEDATE-2009-MilderHP #automation #generative #permutation #streaming
Automatic generation of streaming datapaths for arbitrary fixed permutations (PAM, JCH, MP), pp. 1118–1123.
DATEDATE-2009-StoimenovPT #realtime #reliability #scheduling
Reliable mode changes in real-time systems with fixed priority or EDF scheduling (NS, SP, LT), pp. 99–104.
ICDARICDAR-2009-LiuBMG #bound #detection #fault #sequence
Improving the Table Boundary Detection in PDFs by Fixing the Sequence Error of the Sparse Lines (YL, KB, PM, CLG), pp. 1006–1010.
ICPCICPC-2009-JeffreyFGG #debugging #developer #named
BugFix: A learning-based tool to assist developers in fixing bugs (DJ, MF, NG, RG), pp. 70–79.
PLDIPLDI-2009-TorreMP #calculus #fixpoint #recursion #source code #using
Analyzing recursive programs using a fixed-point calculus (SLT, PM, GP), pp. 211–222.
ICALPICALP-v1-2009-FellowsFLLRS #parametricity
Distortion Is Fixed Parameter Tractable (MRF, FVF, DL, EL, FAR, SS), pp. 463–474.
LATALATA-2009-Ollinger
Tiling the Plane with a Fixed Number of Polyominoes (NO), pp. 638–647.
ICFPICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion
Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.
CHICHI-2009-HsiaoCHCHH #comparison #multi #paradigm
To move or not to move: a comparison between steerable versus fixed focus region paradigms in multi-resolution tabletop display systems (CHH, LWC, TTH, MCC, JYjH, YPH), pp. 153–162.
MLDMMLDM-2009-Calliess #on the
On Fixed Convex Combinations of No-Regret Learners (JPC), pp. 494–504.
SEKESEKE-2009-AhsanFW #debugging #estimation #machine learning #using
Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS (SNA, JF, FW), pp. 129–134.
PPDPPPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.
ESEC-FSEESEC-FSE-2009-BirdBADBFD #bias #dataset #debugging
Fair and balanced?: bias in bug-fix datasets (CB, AB, EA, JD, AB, VF, PTD), pp. 121–130.
ESEC-FSEESEC-FSE-2009-XiongHZSTM #automation #consistency #nondeterminism
Supporting automatic model inconsistency fixing (YX, ZH, HZ, HS, MT, HM), pp. 315–324.
CAVCAV-2009-BjornerH #fixpoint #functional #linear
Linear Functional Fixed-points (NB, JH), pp. 124–139.
CSLCSL-2009-Grohe #fixpoint #polynomial
Fixed-Point Definability and Polynomial Time (MG), pp. 20–23.
ASEASE-2008-EgyedLF #consistency #design #generative #modelling #nondeterminism #uml
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models (AE, EL, AF), pp. 99–108.
DACDAC-2008-PangR #fixpoint #optimisation
Optimizing imprecise fixed-point arithmetic circuits specified by Taylor Series through arithmetic transform (YP, KR), pp. 397–402.
DACDAC-2008-YanC #named
DeFer: deferred decision making enabled fixed-outline floorplanner (JZY, CC), pp. 161–166.
DATEDATE-2008-NovoBLPC #energy #fixpoint #refinement
Scenario-Based Fixed-point Data Format Refinement to Enable Energy-scalable Software Defined Radios (DN, BB, AL, LVdP, FC), pp. 722–727.
ITiCSEITiCSE-2008-MurphyT #education #research #self
Dangers of a fixed mindset: implications of self-theories research for computer science education (LM, LT), pp. 271–275.
MSRMSR-2008-SudakrishnanMWR #comprehension #debugging
Understanding bug fix patterns in verilog (SS, JTM, EJWJ, JR), pp. 39–42.
STOCSTOC-2008-ChenLL #algorithm #feedback #parametricity #problem #set
A fixed-parameter algorithm for the directed feedback vertex set problem (JC, YL, SL, BO, IR), pp. 177–186.
DLTDLT-J-2007-JirasekJS08 #automaton #finite #nondeterminism
Deterministic blow-UPS of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 617–631.
DLTDLT-2008-DurandRS #fixpoint
Fixed Point and Aperiodic Tilings (BD, AER, AS), pp. 276–288.
DLTDLT-2008-EsparzaKL #analysis #fixpoint
Derivation Tree Analysis for Accelerated Fixed-Point Computation (JE, SK, ML), pp. 301–313.
ICALPICALP-A-2008-Kawarabayashi #approximate
Approximating List-Coloring on a Fixed Surface (KiK), pp. 333–344.
ICALPICALP-A-2008-RazgonO #parametricity #satisfiability
Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract) (IR, BO), pp. 551–562.
ICFPICFP-2008-Hinze #fixpoint #functional
Functional pearl: streams and unique fixed points (RH), pp. 189–200.
ICPRICPR-2008-LiZ #algorithm #fixpoint #matrix #named #performance
FastNMF: A fast monotonic fixed-point non-negative Matrix Factorization algorithm with high ease of use (LL, YJZ), pp. 1–4.
SIGIRSIGIR-2008-LeeKJ #algorithm #constraints #learning
Fixed-threshold SMO for Joint Constraint Learning Algorithm of Structural SVM (CL, HK, MGJ), pp. 829–830.
OOPSLAOOPSLA-2008-SmithC #java #question #type inference
Java type inference is broken: can we fix it? (DS, RC), pp. 505–524.
PPDPPPDP-2008-BertotK #coq #fixpoint #recursion #semantics
Fixed point semantics and partial recursion in Coq (YB, VK), pp. 89–96.
ICSEICSE-2008-ChenY #constraints #dependence #grid #verification #workflow
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems (JC, YY), pp. 141–150.
CSLCSL-2008-HorbachW
Superposition for Fixed Domains (MH, CW), pp. 293–307.
ASEASE-2007-RaysideM #memory management #profiling
Object ownership profiling: a technique for finding and fixing memory leaks (DR, LM), pp. 194–203.
DATEDATE-2007-CucuG #multi #scheduling
Feasibility intervals for multiprocessor fixed-priority scheduling of arbitrary deadline periodic systems (LC, JG), pp. 1635–1640.
DocEngDocEng-2007-ChaoGW #scalability
Preserving the aesthetics during non-fixed aspect ratio scaling of the digital border (HC, PG, AW), pp. 144–146.
MSRMSR-2007-WeissPZZ #debugging #how #question
How Long Will It Take to Fix This Bug? (CW, RP, TZ, AZ), p. 1.
DLTDLT-2007-JirasekJS #automaton #finite #nondeterminism
Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 254–265.
ICALPICALP-2007-ArenasBL #automaton #fixpoint #regular expression #word
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization (MA, PB, LL), pp. 888–900.
POPLPOPL-2007-OhoriS #fixpoint #lightweight
Lightweight fusion by fixed point promotion (AO, IS), pp. 143–154.
ESEC-FSEESEC-FSE-2007-KimE #question
Which warnings should I fix first? (SK, MDE), pp. 45–54.
ICSEICSE-2007-Egyed #consistency #design #modelling #nondeterminism #uml
Fixing Inconsistencies in UML Design Models (AE), pp. 292–301.
CSLCSL-2007-ChenF #parametricity
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping (YC, JF), pp. 389–404.
DACDAC-2006-YangCTRC #design
An up-stream design auto-fix flow for manufacturability enhancement (JY, EC, CT, NR, MC), pp. 73–76.
DATEDATE-DF-2006-MadingLPSBEH #architecture #fixpoint
The vector fixed point unit of the synergistic processor element of the cell architecture processor (NM, JL, JP, RS, SB, SE, WH), pp. 244–248.
DATEDATE-DF-2006-SohnWYY #design #fixpoint #mobile #multi
Design and test of fixed-point multimedia co-processor for mobile applications (JHS, JHW, JY, HJY), pp. 249–253.
VLDBVLDB-2006-0002OIA #documentation #named #xml
FIX: Feature-based Indexing Technique for XML Documents (NZ, MTÖ, IFI, AA), pp. 259–270.
MSRMSR-2006-KimW #debugging #how #question
How long did it take to fix bugs? (SK, EJWJ), pp. 173–174.
PEPMPEPM-2006-Edwards #fixpoint #simulation #using
Using program specialization to speed SystemC fixed-point simulation (SAE), pp. 21–28.
DLTDLT-2006-Krieger #fixpoint #morphism #on the
On Critical Exponents in Fixed Points of Non-erasing Morphisms (DK), pp. 280–291.
ICALPICALP-v1-2006-BlellochDHRSS #parametricity #re-engineering
Fixed Parameter Tractability of Binary Near-Perfect Phylogenetic Tree Reconstruction (GEB, KD, EH, RR, RS, SS), pp. 667–678.
ICALPICALP-v1-2006-ChenD #2d #complexity #fixpoint #on the #problem
On the Complexity of 2D Discrete Fixed Point Problem (XC, XD), pp. 489–500.
ICPRICPR-v3-2006-ChairunnandaGC #distance #edit distance #sequence #using
Enhancing Edit Distance on Real Sequences Filters using Histogram Distance on Fixed Reference Ordering (PC, VG, LC), pp. 582–585.
FSEFSE-2006-KimPW #debugging
Memories of bug fixes (SK, KP, EJWJ), pp. 35–45.
ICSEICSE-2006-AnvikHM #debugging #question
Who should fix this bug? (JA, LH, GCM), pp. 361–370.
LICSLICS-2006-PanV #parametricity
Fixed-Parameter Hierarchies inside PSPACE (GP, MYV), pp. 27–36.
DACDAC-2005-SuC #algorithm
An exact jumper insertion algorithm for antenna effect avoidance/fixing (BYS, YWC), pp. 325–328.
DATEDATE-2005-AmatoCMP #precise
Realization of a Virtual Lambda Sensor on a Fixed Precision System (PA, NC, MDM, FP), pp. 192–197.
MSRMSR-2005-SliwerskiZZ #question
When do changes induce fixes? (, TZ, AZ), pp. 41–45.
STOCSTOC-2005-ChenD #algorithm #approximate #fixpoint #on the
On algorithms for discrete and approximate brouwer fixed points (XC, XD), pp. 323–330.
ICALPICALP-2005-Zhang #game studies #performance #resource management
The Efficiency and Fairness of a Fixed Budget Resource Allocation Game (LZ0), pp. 485–496.
AdaEuropeAdaEurope-2005-MartinezH #communication #named #protocol #realtime #standard
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet (JMM, MGH), pp. 180–195.
AdaEuropeAdaEurope-2005-SaezLTC #implementation #performance
Efficient Alternatives for Implementing Fixed-Priority Schedulers (SS, VLG, ST, AC), pp. 39–50.
CAVCAV-2005-CostanGGMP #algorithm #fixpoint #policy #source code #static analysis
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs (AC, SG, EG, MM, SP), pp. 462–475.
DACDAC-2004-RoyB #algorithm #design #fixpoint #float #matlab
An algorithm for converting floating-point computations to fixed-point in MATLAB based FPGA design (SR, PB), pp. 484–487.
DACDAC-2004-ShiB #automation #communication #data type #fixpoint #optimisation
Automated fixed-point data-type optimization tool for signal processing and communication systems (CS, RWB), pp. 478–483.
TACASTACAS-2004-GrooteK #equation #fixpoint
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points (JFG, MK), pp. 436–450.
ICALPICALP-2004-AndrewsZ #capacity #network
Wavelength Assignment in Optical Networks with Fixed Fiber Capacity (MA, LZ), pp. 134–145.
ICALPICALP-2004-DawarGK #backtracking #fixpoint #game studies
Backtracking Games and Inflationary Fixed Points (AD, EG, SK), pp. 420–432.
ICALPICALP-2004-FlumGW #bound #nondeterminism #parametricity
Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits (JF, MG, MW), pp. 555–567.
ICALPICALP-2004-Martin #fixpoint
Entropy as a Fixed Point (KM), pp. 945–958.
ICALPICALP-2004-Schweikardt #fixpoint #logic #monad #on the #power of
On the Expressive Power of Monadic Least Fixed Point Logic (NS), pp. 1123–1135.
ICPRICPR-v1-2004-ZouariHLA #classification #performance #simulation
Simulating Classifier Ensembles of Fixed Diversity for Studying Plurality Voting Performance (HZ, LH, YL, AMA), pp. 232–235.
ICPRICPR-v3-2004-YanLWW #automation
Automatic Template Matching Method for Tropical Cyclone Eye Fix (KYW, CLY, PWL, WWT), pp. 650–653.
ICPRICPR-v4-2004-ViguerasBS #multi #on the
On the Influence of Fixing the Principal Point in Frame-by-Frame Multiplanar Calibration (JFV, MOB, GS), pp. 120–123.
SACSAC-2004-TangMC #embedded #fixpoint #implementation #mobile #performance #using #verification
Efficient implementation of fingerprint verification for mobile embedded systems using fixed-point arithmetic (TYT, YSM, KCC), pp. 821–825.
FSEFSE-2004-Marks #exclamation #problem #usability
The usability problem for home appliances: engineers caused it, engineers can fix it! (JM), p. 95.
LCTESLCTES-2004-JejurikarG #realtime #scheduling
Procrastination scheduling in fixed priority real-time systems (RJ, RKG), pp. 57–66.
CSLCSL-2004-AbelM #fixpoint #recursion
Fixed Points of Type Constructors and Primitive Recursion (AA, RM), pp. 190–204.
DACDAC-2003-CarlettaVKF #fixpoint
Determining appropriate precisions for signals in fixed-point IIR filters (JC, RJV, FWK, ZF), pp. 656–661.
DACDAC-2003-LiYRP #generative #markov #using
A scan BIST generation method using a markov source and partial bit-fixing (WL, CY, SMR, IP), pp. 554–559.
ICALPICALP-2003-DemaineFHT #algorithm #graph #parametricity
Fixed-Parameter Algorithms for the (k, r)-Center in Planar Graphs and Map Graphs (EDD, FVF, MTH, DMT), pp. 829–844.
CSLCSL-2003-Bradfield #independence
Parity of Imperfection of Fixing Independence (JCB), pp. 72–85.
CSLCSL-2003-DawarR #fixpoint #logic #symmetry
A Fixed-Point Logic with Symmetric Choice (AD, DR), pp. 169–182.
LICSLICS-2003-GradelK #fixpoint
Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions (EG, SK), p. 158–?.
ICSTSAT-2003-MaarenN
Hidden Threshold Phenomena for Fixed-Density SAT-formulae (HvM, LvN), pp. 135–149.
ICSTSAT-2003-Szeider #on the #parametricity #satisfiability
On Fixed-Parameter Tractable Parameterizations of SAT (SS), pp. 188–202.
TLCATLCA-2003-KakutaniH #category theory #fixpoint
Parameterizations and Fixed-Point Operators on Control Categories (YK, MH), pp. 180–194.
DATEDATE-2002-HuangTXWL #algorithm #polynomial #problem
A Polynomial Time Optimal Diode Insertion/Routing Algorithm for Fixing Antenna Problem (LDH, XT, HX, DFW, IML), pp. 470–475.
DATEDATE-2002-MenardS #algorithm #automation #evaluation #fixpoint
Automatic Evaluation of the Accuracy of Fixed-Point Algorithms (DM, OS), pp. 529–535.
DATEDATE-2002-QuanH #energy #scheduling
Minimum Energy Fixed-Priority Scheduling for Variable Voltage Processor (GQ, XH), pp. 782–787.
FoSSaCSFoSSaCS-2002-LangeS #fixpoint #logic #model checking
Model Checking Fixed Point Logic with Chop (ML, CS), pp. 250–263.
IFMIFM-2002-AkbarpourDT #fixpoint #formal method
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL (BA, AD, ST), pp. 185–204.
ICMLICML-2002-PerkinsP #fixpoint #on the
On the Existence of Fixed Points for Q-Learning and Sarsa in Partially Observable Domains (TJP, MDP), pp. 490–497.
ICPRICPR-v3-2002-KangL #evaluation #multi
Evaluation on Selection Criteria of Multiple Numeral Recognizers with the Fixed Number of Recognizers (HJK, SWL), pp. 403–406.
SEKESEKE-2002-BarbutiTBF #bytecode #java #verification
Fixing the Java bytecode verifier by a suitable type domain (RB, LT, CB, NDF), pp. 377–382.
LOPSTRLOPSTR-2002-VanhoofTB #fixpoint #logic programming #semantics #source code
A Fixed Point Semantics for Logic Programs Extended with Cuts (WV, RT, MB), pp. 238–257.
CSLCSL-2002-Kreutzer #fixpoint #infinity #logic
Partial Fixed-Point Logic on Infinite Structures (SK), pp. 337–351.
LICSLICS-2002-Kreutzer #equivalence #fixpoint #logic
Expressive Equivalence of Least and Inflationary Fixed-Point Logic (SK), p. 403–?.
DACDAC-2001-QuanH #energy #performance #realtime #scheduling
Energy Efficient Fixed-Priority Scheduling for Real-Time Systems on Variable Voltage Processors (GQ, XH), pp. 828–833.
DLTDLT-2001-Esik #equation #fixpoint
The Equational Theory of Fixed Points with Applications to Generalized Language Theory (), pp. 21–36.
AdaSIGAda-2001-Taft01a
Keynote address: fixing software before it breaks (STT), pp. 97–98.
ICMLICML-2001-ChoiR #approximate #difference #fixpoint #learning #performance
A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal Difference Learning (DC, BVR), pp. 43–50.
CSLCSL-2001-DawarGK #fixpoint #logic
Inflationary Fixed Points in Modal Logic (AD, EG, SK), pp. 277–291.
ICLPICLP-2001-KumarRS #equation #fixpoint #modelling
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (KNK, CRR, SAS), pp. 227–241.
ICLPICLP-2001-LoncT #complexity #logic programming #parametricity #semantics #source code
Fixed-Parameter Complexity of Semantics for Logic Programs (ZL, MT), pp. 197–211.
DACDAC-2000-CongY
Routing tree construction under fixed buffer locations (JC, XY), pp. 379–384.
DATEDATE-2000-BrennerV #performance
Faster Optimal Single-Row Placement with Fixed Ordering (UB, JV), pp. 117–121.
PODSPODS-2000-Kreutzer #constraints #database #fixpoint #linear #query
Fixed-Point Query Languages for Linear Constraint Databases (SK), pp. 116–125.
ICMLICML-2000-FariasR #approximate #fixpoint #learning
Fixed Points of Approximate Value Iteration and Temporal-Difference Learning (DPdF, BVR), pp. 207–214.
ICPRICPR-v3-2000-SugiyamaA #detection #reliability
Edge Detection Method Based on Edge Reliability with Fixed Thresholds: Consideration of Uniformity and Gradation (TS, KA), pp. 3660–3663.
SACSAC-2000-TemmeF #composition #fuzzy #standard
Fix-Mundis for Fuzzy IF-THEN Rule Bases with Standard Compositional Rule of Inference Interpretation (KHT, MF), pp. 529–533.
CSLCSL-2000-Atserias #bound #complexity #fixpoint
The Descriptive Complexity of the Fixed-Points of Bounded Formulas (AA), pp. 172–186.
CSLCSL-2000-Esik #axiom #fixpoint
Axiomatizing the Least Fixed Point Operation and Binary Supremum (), pp. 302–316.
LICSLICS-2000-SimpsonP #axiom #category theory #fixpoint
Complete Axioms for Categorical Fixed-Point Operators (AKS, GDP), pp. 30–41.
ASEASE-1999-Biggerstaff #problem
Fixing Some Transformation Problems (TJB), pp. 148–157.
DACDAC-1999-BashfordL #constraints #fixpoint
Constraint Driven Code Selection for Fixed-Point DSPs (SB, RL), pp. 817–822.
DACDAC-1999-CaldwellKM #clustering
Hypergraph Partitioning with Fixed Vertices (AEC, ABK, ILM), pp. 355–359.
DACDAC-1999-ShinC #realtime #scheduling
Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems (YS, KC), pp. 134–139.
DATEDATE-1999-CmarRSVB #design #fixpoint #refinement
A Methodology and Design Environment for DSP ASIC Fixed-Point Refinement (RC, LR, PS, SV, IB), p. 271–?.
TACASTACAS-1999-GardnerL #probability #realtime
Analyzing Stochastic Fixed-Priority Real-Time Systems (MKG, JWSL), pp. 44–58.
DLTDLT-1999-Holzer #on the
On fixed and general membership for external and internal contextual languages (MH), pp. 351–361.
CCCC-1999-CilioC #c #fixpoint #float
Floating Point to Fixed Point Conversion of C Code (AGMC, HC), pp. 229–243.
LICSLICS-1999-AtseriasK #finite #first-order #fixpoint #logic #set
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory (AA, PGK), pp. 275–284.
LICSLICS-1999-GradelW #fixpoint #logic
Guarded Fixed Point Logic (EG, IW), pp. 45–54.
DATEDATE-1998-KedingWCM #design #fixpoint #named #simulation
FRIDGE: A Fixed-Point Design and Simulation Environment (HK, MW, MC, HM), pp. 429–435.
TACASTACAS-1998-BjornerP
Deiding Fixed and Non-fixed Size Bit-vectors (NB, MCP), pp. 376–392.
TACASTACAS-1998-LiuRS #evaluation #fixpoint #performance
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract) (XL, CRR, SAS), pp. 5–19.
ICALPICALP-1998-LiuS #algorithm #fixpoint #linear
Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract) (XL, SAS), pp. 53–66.
ICPRICPR-1998-Liu #coordination
Determination of the point of fixation in a head-fixed coordinate system (JL), pp. 501–504.
CSLCSL-1998-Matthes #fixpoint #normalisation
Monotone Fixed-Point Types and Strong Normalization (RM), pp. 298–312.
LICSLICS-1998-Grohe #fixpoint #graph #logic
Fixed-Point Logics on Planar Graphs (MG), pp. 6–15.
DACDAC-1997-WillemsBKGM #approach #design #fixpoint
System Level Fixed-Point Design Based on an Interpolative Approach (MW, VB, HK, TG, HM), pp. 293–298.
CAVCAV-1997-CyrlukMR #formal method #performance
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (DC, MOM, HR), pp. 60–71.
TACASTACAS-1996-Lowe #protocol #using
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR (GL), pp. 147–166.
ICALPICALP-1996-KoutsoupiasPY #graph
Searching a Fixed Graph (EK, CHP, MY), pp. 280–289.
CADECADE-1996-SagonasSW #automaton #source code
An Abstract Machine for Fixed-Order Dynamically Stratified Programs (KFS, TS, DSW), pp. 328–342.
ICSMEICSM-1995-LanubileV #maintenance #re-engineering
Iterative reengineering to compensate for quick-fix maintenance (FL, GV), pp. 140–146.
CAVCAV-1995-AndersenV #behaviour #fixpoint #performance #using
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion (HRA, BV), pp. 142–154.
LICSLICS-1995-Seth #complexity #fixpoint #logic #question
When Do Fixed Point Logics Capture Complexity Classes? (AS), pp. 353–363.
HTHT-ECHT-1994-Levy #documentation
Fixed or Fluid? Document Stability and New Media (DML), pp. 24–31.
PODSPODS-1994-HillebrandK #database #functional #order #query #λ-calculus
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (GGH, PCK), pp. 222–231.
ESOPESOP-J-1992-HankinH94 #abstract interpretation #approximate #fixpoint
Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 283–306.
ESOPESOP-1994-Amtoft #fixpoint #re-engineering
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration (TA), pp. 43–57.
SASSAS-1994-Henglein #analysis #fixpoint #strict #type system
Iterative Fixed Point Computation for Type-Based Strictness Analysis (FH), pp. 395–407.
SASSAS-1994-VergauwenWL #fixpoint #performance
Efficient FixPoint Computation (BV, JW, JL), pp. 314–328.
ICLPILPS-1994-RosenbluethP #logic programming #lr #parsing #source code
LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing (DAR, JCP), pp. 439–453.
PODSPODS-1993-HaasNSS #estimation
Fixed-Precision Estimation of Join Selectivity (PJH, JFN, SS, ANS), pp. 190–201.
FPCAFPCA-1993-Sparud #garbage collection
Fixing Some Space Leaks without a Garbage Collector (JS), pp. 117–124.
SACSAC-1993-RankinW #combinator #fixpoint #prolog #using
Finding Fixed Point Combinators Using Prolog (RR, RWW), pp. 604–608.
CSLCSL-1993-Grohe #bound #fixpoint #logic
Bounded-Arity Hierarchies in Fixed-Point Logics (MG), pp. 150–164.
CSLCSL-1993-Stewart #fixpoint #quantifier
Incorporating Generalized Quantifiers and the Least Fixed Point Operator (IAS), pp. 318–333.
DACDAC-1992-SarabiP #canonical #network #performance
Fast Exact and Quasi-Minimal Minimization of Highly Testable Fixed-Polarity AND/XOR Canonical Networks (AS, MAP), pp. 30–35.
ESOPESOP-1992-HankinH #abstract interpretation #approximate #fixpoint
Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 219–232.
STOCSTOC-1992-AjtaiM #algorithm #linear #programming
A Deterministic Poly(log log N)-Time N-Processor Algorithm for Linear Programming in Fixed Dimension (MA, NM), pp. 327–338.
LISPLFP-1992-ChuangG #approach #finite #fixpoint
A Syntactic Approach to Fixed Point Computation on Finite Domains (TRC, BG), pp. 109–118.
LISPLFP-1992-NielsonN #fixpoint
Finiteness Conditions for Fixed Point Iteration (FN, HRN), pp. 96–108.
POPLPOPL-1992-NielsonN #bound #fixpoint
Bounded Fixed Point Iteration (HRN, FN), pp. 71–82.
LICSLICS-1991-Taylor #fixpoint
The Fixed Point Property in Synthetic Domain Theory (PT0), pp. 152–160.
PPDPPLILP-1990-Sahlin #fixpoint #prolog #using
Finding the Least Fixed Point Using Wait-Declarations in Prolog (DS), pp. 151–158.
PODSPODS-1989-DublishM #bound #fixpoint #query
Expressibility of Bounded-Arity Fixed-Point Query Hierarchies (PD, SNM), pp. 324–335.
PODSPODS-1989-Przymusinski #fixpoint #logic programming
Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (TCP), pp. 11–21.
STOCSTOC-1989-Feder #approach #fixpoint #network
A New Fixed Point Approach for Stable Networks and Stable Marriages (TF), pp. 513–522.
STOCSTOC-1989-KochLMRR #network
Work-Preserving Emulations of Fixed-Connection Networks (Extended Abstract) (RRK, FTL, BMM, SR, ALR), pp. 227–240.
LICSLICS-1989-MisloveMO #fixpoint #set
Non-Well-Founded Sets Obtained from Ideal Fixed Points (MWM, LSM, FJO), pp. 263–272.
ICLPNACLP-1989-Batarekh #convergence #fixpoint
Convergence Issues and Fixed Points of Non-Monotone Maps (AB), pp. 257–273.
VLDBVLDB-1988-Rougemont #algorithm #fixpoint #representation #scalability #semantics
Fixed-point semantics and the representation of algorithms on large data (MdR), pp. 264–272.
LICSLICS-1988-Amadio #fixpoint #higher-order #modelling #λ-calculus
A fixed point extension of the second order λ-calculus: observable equivalences and models (RMA), pp. 51–60.
LICSLICS-1988-Niwinski #fixpoint #generative #infinity
Fixed Points vs. Infinite Generation (DN), pp. 402–409.
FPCAFPCA-1987-MartinH #finite #fixpoint
Finding fixed points in finite lattices (CM, CH), pp. 426–445.
ICLPICLP-1987-OKeefe87 #finite #fixpoint #problem
Finite Fixed-Point Problems (RAO), pp. 729–743.
LICSLICS-1987-Milner #fixpoint
Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) (RM), p. 3.
ICALPICALP-1986-Niwinski #fixpoint #on the
On Fixed-Point Clones (Extended Abstract) (DN), pp. 464–473.
ICALPICALP-1983-YannakakisKCP #clustering #graph
Cutting and Partitioning a Graph aifter a Fixed Pattern (Extended Abstract) (MY, PCK, SSC, CHP), pp. 712–722.
ICALPICALP-1982-Niwinski #algebra #fixpoint #semantics
Fixed-Point Semantics for Algebraic (Tree) Grammars (Extended Abstract) (DN), pp. 384–396.
LISPLFP-1982-MuchnickJ #combinator #evaluation
A Fixed-Program Machine for Combinator Expression Evaluation (SSM, NDJ), pp. 11–20.
STOCSTOC-1980-FilottiM #algorithm #graph #morphism #polynomial
A Polynomial-time Algorithm for Determining the Isomorphism of Graphs of Fixed Genus (Working Paper) (ISF, JNM), pp. 236–243.
ICALPICALP-1980-Majster-Cederbaum #algebra #axiom #fixpoint #named #semantics
Semantics: Algebras, Fixed Points, Axioms (MEMC), pp. 394–408.
ICALPICALP-1979-Istrail #fixpoint #monad #recursion #semantics #source code #theorem
A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs (SI), pp. 289–303.
ICALPICALP-1979-Tiuryn #fixpoint
Unique Fixed Points vs. Least Fixed Points (JT), pp. 633–645.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.