Stem fix$ (all stems)

335 papers:

DAC-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.

DAC-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.

DATE-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.

DATE-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.

ICSME-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.

ICSME-2015-VasquezVLP #android #detection #developer #how #performance

How developers detect and fix performance bottlenecks in Android apps (MLV, CV, QL, DP), pp. 352–361.

MSR-2015-MirakhorliC #architecture #debugging

Modifications, Tweaks, and Bug Fixes in Architectural Tactics (MM, JCH), pp. 377–380.

MSR-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.

SANER-2015-OumarouAEDK #identification

Identifying the exact fixing actions of static rule violation (HO, NA, AE, SD, DTK), pp. 371–379.

SAS-2015-ChoiCNS #javascript #layout #named #type system

SJS: A Type System for JavaScript with Fixed Object Layout (WC, SC, GCN, KS), pp. 181–198.

ICALP-v1-2015-Cao #editing #parametricity

Unit Interval Editing is Fixed-Parameter Tractable (YC), pp. 306–317.

ICALP-v1-2015-CohenS

Zero-Fixing Extractors for Sub-Logarithmic Entropy (GC, IS), pp. 343–354.

ICALP-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.

ICALP-v2-2015-Feldmann #approximate #graph #parametricity #problem

Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs (AEF), pp. 588–600.

ICALP-v2-2015-JurdzinskiLS #energy #game studies #pseudo

Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (MJ, RL, SS), pp. 260–272.

CHI-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.

CSCW-2015-VashisthaCT

Increasing the Reach of Snowball Sampling: The Impact of Fixed versus Lottery Incentives (AV, EC, WT), pp. 1359–1363.

ICML-2015-MarietS #algorithm #fixpoint #learning #process

Fixed-point algorithms for learning determinantal point processes (ZM, SS), pp. 2389–2397.

SIGIR-2015-MaxwellAJK #adaptation

An Initial Investigation into Fixed and Adaptive Stopping Strategies (DM, LA, KJ, HK), pp. 903–906.

AMT-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.

MoDELS-2015-CuadradoGL #atl #model transformation

Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.

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

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

ICSE-v1-2015-GaoXMZYZXM #c #source code

Safe Memory-Leak Fixing for C Programs (QG, YX, YM, LZ, WY, ZZ, BX, HM), pp. 459–470.

ICSE-v1-2015-MechtaevYR #named #program repair

DirectFix: Looking for Simple Program Repairs (SM, JY, AR), pp. 448–458.

ICSE-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.

ICSE-v1-2015-ZhongS #debugging #empirical

An Empirical Study on Real Bug Fixes (HZ, ZS), pp. 913–923.

CSL-2015-BaeldeDS #fixpoint

Least and Greatest Fixed Points in Ludics (DB, AD, AS), pp. 549–566.

LICS-2015-CanavoiGLP #fixpoint #logic

Defining Winning Strategies in Fixed-Point Logic (FC, EG, SL, WP), pp. 366–377.

DAC-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.

DRR-2014-TaoTX #documentation #learning #random #using

Document page structure learning for fixed-layout e-books using conditional random fields (XT, ZT, CX), p. ?–9.

PODS-2014-Libkin #how #semistructured data #what

Incomplete data: what went wrong, and how to fix it (LL), pp. 1–13.

SIGMOD-2014-WangT #program repair #towards

Towards dependable data repairing with fixing rules (JW, NT), pp. 457–468.

FASE-2014-PeiFNM #automation #contract #program repair

Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.

CSMR-WCRE-2014-OsmanLN #debugging #mining

Mining frequent bug-fix code changes (HO, ML, ON), pp. 343–347.

MSR-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.

SCAM-2014-AnKA #debugging

Supplementary Bug Fixes vs. Re-opened Bugs (LA, FK, BA), pp. 205–214.

SCAM-2014-BazrafshanK #debugging #developer #performance

Effect of Clone Information on the Performance of Developers Fixing Cloned Bugs (SB, RK), pp. 1–10.

SCAM-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.

SAS-2014-ChakarovS #fixpoint #invariant #probability

Expectation Invariants for Probabilistic Program Loops as Fixed Points (AC, SS), pp. 85–100.

STOC-2014-CyganLPPS #parametricity

Minimum bisection is fixed parameter tractable (MC, DL, MP, MP, SS), pp. 323–332.

ICEIS-v1-2014-FolinoGP #framework #modelling #predict

A Framework for the Discovery of Predictive Fix-time Models (FF, MG, LP), pp. 99–108.

ICEIS-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.

CIKM-2014-PaikO #fixpoint #query

A Fixed-Point Method for Weighting Terms in Verbose Informational Queries (JHP, DWO), pp. 131–140.

CIKM-2014-ProkofyevMGDC #fault #ranking

Correct Me If I’m Wrong: Fixing Grammatical Errors by Preposition Ranking (RP, RM, MG, GD, PCM), pp. 331–340.

SEKE-2014-YangWSFC #analysis #debugging #fault

Bug Inducing Analysis to Prevent Fault Prone Bug Fixes (HY, CW, QS, YF, ZC), pp. 620–625.

OOPSLA-2014-LiuTZ #named

Flint: fixing linearizability violations (PL, OT, XZ), pp. 543–560.

SAC-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.

FSE-2014-0010TZ #concurrent #debugging #named

Grail: context-aware fixing of concurrency bugs (PL, OT, CZ), pp. 318–329.

ICSE-2014-OcarizaPM #fault #javascript #named

Vejovis: suggesting fixes for JavaScript faults (FSOJ, KP, AM), pp. 837–847.

CGO-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.

SAT-2014-HaanS #parametricity #reduction #satisfiability

Fixed-Parameter Tractable Reductions to SAT (RdH, SS), pp. 85–102.

ASE-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.

DAC-2013-AxerE #fault #probability #scheduling

Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.

DAC-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.

DATE-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.

DATE-2013-UnutulmazDF #optimisation #using

Area optimization on fixed analog floorplans using convex area functions (AU, GD, FVF), pp. 1843–1848.

CSMR-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.

MSR-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.

MSR-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.

MSR-2013-NistorJT #debugging #performance

Discovering, reporting, and fixing performance bugs (AN, TJ, LT), pp. 237–246.

SCAM-2013-Balachandran #bibliography #component #named

Fix-it: An extensible code auto-fix component in Review Bot (VB), pp. 167–172.

WCRE-2013-ThungLJ #automation

Automatic recovery of root causes from bug-fixing changes (FT, DL, LJ), pp. 92–101.

PEPM-2013-DevrieseSCP #domain-specific language #recursion

Fixing idioms: a recursion primitive for applicative DSLs (DD, IS, DC, FP), pp. 97–106.

PLDI-2013-LiangF #composition #verification

Modular verification of linearizability with non-fixed linearization points (HL, XF), pp. 459–470.

ICALP-v1-2013-MarxV #algorithm #parametricity

Fixed-Parameter Algorithms for Minimum Cost Edge-Connectivity Augmentation (DM, LAV), pp. 721–732.

ICML-c1-2013-LiWWT #fixpoint

Fixed-Point Model For Structured Labeling (QL, JW, DPW, ZT), pp. 214–221.

ECOOP-2013-ServettoMPN #composition

The Billion-Dollar Fix — Safe Modular Circular Initialisation with Placeholders and Placeholder Types (MS, JM, AP, JN), pp. 205–229.

ICSE-2013-CokerH #c #integer #program transformation

Program transformations to fix C integers (ZC, MH), pp. 792–801.

ICSE-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.

ICSE-2013-Murphy-HillZBN #debugging #design

The design of bug fixes (ERMH, TZ, CB, NN), pp. 332–341.

ICSE-2013-NguyenQRC #analysis #named #program repair #semantics

SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.

ICSE-2013-ZhangGV #empirical #predict

Predicting bug-fixing time: an empirical study of commercial software projects (HZ, LG, SV), pp. 1042–1051.

SPLC-2013-WangPXCZ0 #named

SmartFixer: fixing software configurations based on dynamic priorities (BW, LTP, YX, KC, HZ, WZ), pp. 82–90.

CSL-2013-GallianiH #fixpoint #logic

Inclusion Logic and Fixed Point Logic (PG, LH), pp. 281–295.

CSL-2013-Goller #concurrent #model checking #parametricity

The Fixed-Parameter Tractability of Model Checking Concurrent Systems (SG), pp. 332–347.

ICST-2013-LiuYTH #automation #debugging #generative #named

R2Fix: Automatically Generating Bug Fixes from Bug Reports (CL, JY, LT, MH), pp. 282–291.

LICS-2013-AndersonDH #fixpoint #linear #logic #programming

Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (MA, AD, BH), pp. 173–182.

LICS-2013-BirkedalM #fixpoint #recursion #type system

Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes (LB, REM), pp. 213–222.

DATE-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.

DATE-2012-PonsMP #layout #metric

Fixed origin corner square inspection layout regularity metric (MP, MNM, CP), pp. 1397–1402.

CSMR-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.

CSMR-2012-LamkanfiD #analysis #debugging

Filtering Bug Reports for Fix-Time Analysis (AL, SD), pp. 379–384.

ICSM-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.

ICSM-2012-QianZ #java #memory management

Inferring weak references for fixing Java memory leaks (JQ, XZ), pp. 571–574.

MSR-2012-ParkKRB #debugging #empirical

An empirical study of supplementary bug fixes (JP, MK, BR, DHB), pp. 40–49.

MSR-2012-SouzaC #debugging #ide #open source #verification

Characterizing verification of bug fixes in two open source IDEs (RS, CC), pp. 70–73.

WCRE-2012-ZhangKZH #debugging #empirical

An Empirical Study on Factors Impacting Bug Fixing Time (FZ, FK, YZ, AEH), pp. 225–234.

PEPM-2012-KarlsenHO #debugging #eclipse #java #plugin

Finding and fixing Java naming bugs with the lancelot eclipse plugin (EKK, EWH, BMØ), pp. 35–38.

ICALP-v1-2012-ChitnisCHM #feedback #parametricity #set

Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable (RHC, MC, MTH, DM), pp. 230–241.

ICALP-v1-2012-KratschPPW #graph #multi #parametricity

Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs (SK, MP, MP, MW), pp. 581–593.

ICALP-v1-2012-Marx #bound #multi

A Tight Lower Bound for Planar Multiway Cut with Fixed Number of Terminals (DM), pp. 677–688.

CIKM-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.

ICPR-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.

KR-2012-LacknerP #algorithm #modelling #parametricity

Fixed-Parameter Algorithms for Finding Minimal Models (ML, AP).

SIGIR-2012-LuCL #information retrieval

Fixed versus dynamic co-occurrence windows in TextRank term weights for information retrieval (WL, QC, CL), pp. 1079–1080.

PPDP-2012-FilipiukNN #fixpoint #logic

Layered fixed point logic (PF, FN, HRN), pp. 45–54.

FSE-2012-NguyenNNN #approach #debugging #multi

Multi-layered approach for recovering links between bug reports and fixes (ATN, TTN, HAN, TNN), p. 63.

ICSE-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.

ICSE-2012-LiuZ #automation #constraints #named

Axis: Automatically fixing atomicity violations through solving control constraints (PL, CZ), pp. 299–309.

ICSE-2012-PaganoJBRBM #maintenance #monitoring #named

FastFix: Monitoring control for remote software maintenance (DP, MAJ, AB, TR, BB, WM), pp. 1437–1438.

ICSE-2012-TianLL #debugging #identification #linux

Identifying Linux bug fixing patches (YT, JLL, DL), pp. 386–396.

ICSE-2012-XiongHSC #generative

Generating range fixes for software configuration (YX, AH, SS, KC), pp. 58–68.

ICSE-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.

OSDI-2012-Jin0D #automation

Automated Concurrency-Bug Fixing (GJ, WZ, DD), pp. 221–236.

LICS-2012-BaeldeN #deduction #fixpoint #logic

Combining Deduction Modulo and Logics of Fixed-Point Definitions (DB, GN), pp. 105–114.

SAT-2012-CrowstonGJRSY #parametricity

Fixed-Parameter Tractability of Satisfying beyond the Number of Variables (RC, GG, MJ, VR, SS, AY), pp. 355–368.

SMT-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.

ASE-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.

ASE-2011-PeiWFNM #automation

Code-based automated program fixing (YP, YW, CAF, MN, BM), pp. 392–395.

DATE-2011-TsaiLCKCK #bound #on the

On routing fixed escaped boundary pins for high speed boards (TYT, RJL, CYC, CYK, HMC, YK), pp. 461–466.

DocEng-2011-Davis #how

Google’s international bloopers... and how we fixed one (MD), pp. 101–102.

ICDAR-2011-DeckertSEG #comprehension

Table Content Understanding in SmartFIX (FD, BS, ME, MG), pp. 488–492.

VLDB-2011-FanLMTY #named

CerFix: A System for Cleaning Data with Certain Fixes (WF, JL, SM, NT, WY), pp. 1375–1378.

ICSM-2011-DhaliwalKZ #case study #debugging

Classifying field crash reports for fixing bugs: A case study of Mozilla Firefox (TD, FK, YZ), pp. 333–342.

MSR-2011-BhattacharyaN #debugging #modelling #predict #question

Bug-fix time prediction models: can we do better? (PB, IN), pp. 207–210.

MSR-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.

MSR-2011-SadowskiLLZW #algorithm #analysis #empirical

An empirical analysis of the FixCache algorithm (CS, CL, ZL, XZ, EJWJ), pp. 219–222.

PLDI-2011-JinSZLL #automation

Automated atomicity-violation fixing (GJ, LS, WZ, SL, BL), pp. 389–400.

STOC-2011-GroheKMW #parametricity

Finding topological subgraphs is fixed-parameter tractable (MG, KiK, DM, PW), pp. 479–488.

STOC-2011-MarxR #multi #parametricity

Fixed-parameter tractability of multicut parameterized by the size of the cutset (DM, IR), pp. 469–478.

ICALP-v1-2011-CyganPPW #feedback #parametricity #set

Subset Feedback Vertex Set Is Fixed-Parameter Tractable (MC, MP, MP, JOW), pp. 449–461.

ICFP-2011-HinzeJ #category theory #fixpoint #proving

Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.

IDGD-2011-ZhangM #trust

Once Broken, Never Fixed? The Impact of Culture and Medium on Repairing Trust in CMC (QZ, NM), pp. 341–350.

ICML-2011-KuleszaT #named #process

k-DPPs: Fixed-Size Determinantal Point Processes (AK, BT), pp. 1193–1200.

ICML-2011-MeyerBS #approach #constraints #linear

Linear Regression under Fixed-Rank Constraints: A Riemannian Approach (GM, SB, RS), pp. 545–552.

BX-2011-Xiong #generative

Fix Generation (YX), p. 65.

TOOLS-EUROPE-2011-Tip #debugging #web

Finding and Fixing Bugs in Web Applications (Invited Talk) (FT), p. 2.

SAC-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-FSE-2011-YinYZPB #debugging #how #question

How do fixes become bugs? (ZY, DY, YZ, SP, LNB), pp. 26–36.

CAV-2011-HoderBM #constraints #fixpoint #named #performance

μZ — An Efficient Engine for Fixed Points with Constraints (KH, NB, LMdM), pp. 457–462.

CAV-2011-PhamTTC #constraints #fixpoint #named #quantifier

FixBag: A Fixpoint Calculator for Quantified Bag Constraints (THP, MTT, AHT, WNC), pp. 656–662.

LICS-2011-Krokhin #complexity #first-order

The Complexity of Evaluating First-Order Sentences over a Fixed Structure (AAK), p. 331.

ASE-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.

VLDB-2010-FanLMTY #editing #towards

Towards Certain Fixes with Editing Rules and Master Data (WF, JL, SM, NT, WY), pp. 173–184.

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

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

WCRE-2010-NguyenAH #bias #case study #dataset #debugging

A Case Study of Bias in Bug-Fix Datasets (THDN, BA, AEH), pp. 259–268.

ICML-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.

ICPR-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.

KR-2010-DvorakPW #algorithm #parametricity #towards

Towards Fixed-Parameter Tractable Algorithms for Argumentation (WD, RP, SW).

MoDELS-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.

FSE-2010-BachmannBRDB #commit #debugging

The missing links: bugs and bug-fix commits (AB, CB, FR, PTD, AB), pp. 97–106.

ICSE-2010-GuBHS #debugging #question

Has the bug really been fixed? (ZG, ETB, DJH, ZS), pp. 55–64.

ICSE-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.

ICSE-2010-NguyenNPAN #debugging #object-oriented #source code

Recurring bug fixes in object-oriented programs (TTN, HAN, NHP, JMAK, TNN), pp. 315–324.

ICST-2010-DebroyW #automation #source code #using

Using Mutation to Automatically Suggest Fixes for Faulty Programs (VD, WEW), pp. 65–74.

ICST-2010-EngstromRW #empirical #evaluation #recommendation #testing

An Empirical Evaluation of Regression Testing Based on Fix-Cache Recommendations (EE, PR, GW), pp. 75–78.

ICST-2010-KimSGSHN #analysis #automation #debugging #identification

Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes (MK, SS, CG, HS, MJH, MGN), pp. 383–392.

ISSTA-2010-WeiPFSBMZ #automation #contract #source code

Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.

LICS-2010-EndrullisHK #combinator #composition #fixpoint

Modular Construction of Fixed Point Combinators and Clocked Bohm Trees (JE, DH, JWK), pp. 111–119.

LICS-2010-Grohe #fixpoint #graph #polynomial

Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors (MG), pp. 179–188.

ASE-2009-DallmeierZM #behaviour #generative

Generating Fixes from Object Behavior Anomalies (VD, AZ, BM), pp. 550–554.

DATE-2009-DSilvaK #detection #fixpoint #multi

Fixed points for multi-cycle path detection (VD, DK), pp. 1710–1715.

DATE-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.

DATE-2009-MilderHP #automation #generative #permutation #streaming

Automatic generation of streaming datapaths for arbitrary fixed permutations (PAM, JCH, MP), pp. 1118–1123.

DATE-2009-StoimenovPT #realtime #reliability #scheduling

Reliable mode changes in real-time systems with fixed priority or EDF scheduling (NS, SP, LT), pp. 99–104.

ICDAR-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.

ICPC-2009-JeffreyFGG #debugging #developer #named

BugFix: A learning-based tool to assist developers in fixing bugs (DJ, MF, NG, RG), pp. 70–79.

PLDI-2009-TorreMP #calculus #fixpoint #recursion #source code #using

Analyzing recursive programs using a fixed-point calculus (SLT, PM, GP), pp. 211–222.

ICALP-v1-2009-FellowsFLLRS #parametricity

Distortion Is Fixed Parameter Tractable (MRF, FVF, DL, EL, FAR, SS), pp. 463–474.

LATA-2009-Ollinger

Tiling the Plane with a Fixed Number of Polyominoes (NO), pp. 638–647.

ICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion

Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.

CHI-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.

MLDM-2009-Calliess #on the

On Fixed Convex Combinations of No-Regret Learners (JPC), pp. 494–504.

SEKE-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.

PPDP-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-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-FSE-2009-XiongHZSTM #automation #consistency #nondeterminism

Supporting automatic model inconsistency fixing (YX, ZH, HZ, HS, MT, HM), pp. 315–324.

CAV-2009-BjornerH #fixpoint #functional #linear

Linear Functional Fixed-points (NB, JH), pp. 124–139.

CSL-2009-Grohe #fixpoint #polynomial

Fixed-Point Definability and Polynomial Time (MG), pp. 20–23.

ASE-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.

DAC-2008-PangR #fixpoint #optimisation

Optimizing imprecise fixed-point arithmetic circuits specified by Taylor Series through arithmetic transform (YP, KR), pp. 397–402.

DAC-2008-YanC #named

DeFer: deferred decision making enabled fixed-outline floorplanner (JZY, CC), pp. 161–166.

DATE-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.

ITiCSE-2008-MurphyT #education #research #self

Dangers of a fixed mindset: implications of self-theories research for computer science education (LM, LT), pp. 271–275.

MSR-2008-SudakrishnanMWR #comprehension #debugging

Understanding bug fix patterns in verilog (SS, JTM, EJWJ, JR), pp. 39–42.

STOC-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.

DLT-J-2007-JirasekJS08 #automaton #finite #nondeterminism

Deterministic blow-UPS of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 617–631.

DLT-2008-DurandRS #fixpoint

Fixed Point and Aperiodic Tilings (BD, AER, AS), pp. 276–288.

DLT-2008-EsparzaKL #analysis #fixpoint

Derivation Tree Analysis for Accelerated Fixed-Point Computation (JE, SK, ML), pp. 301–313.

ICALP-A-2008-Kawarabayashi #approximate

Approximating List-Coloring on a Fixed Surface (KiK), pp. 333–344.

ICALP-A-2008-RazgonO #parametricity #satisfiability

Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract) (IR, BO), pp. 551–562.

ICFP-2008-Hinze #fixpoint #functional

Functional pearl: streams and unique fixed points (RH), pp. 189–200.

ICPR-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.

SIGIR-2008-LeeKJ #algorithm #constraints #learning

Fixed-threshold SMO for Joint Constraint Learning Algorithm of Structural SVM (CL, HK, MGJ), pp. 829–830.

OOPSLA-2008-SmithC #java #question #type inference

Java type inference is broken: can we fix it? (DS, RC), pp. 505–524.

PPDP-2008-BertotK #coq #fixpoint #recursion #semantics

Fixed point semantics and partial recursion in Coq (YB, VK), pp. 89–96.

ICSE-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.

CSL-2008-HorbachW

Superposition for Fixed Domains (MH, CW), pp. 293–307.

ASE-2007-RaysideM #memory management #profiling

Object ownership profiling: a technique for finding and fixing memory leaks (DR, LM), pp. 194–203.

DATE-2007-CucuG #multi #scheduling

Feasibility intervals for multiprocessor fixed-priority scheduling of arbitrary deadline periodic systems (LC, JG), pp. 1635–1640.

DocEng-2007-ChaoGW #scalability

Preserving the aesthetics during non-fixed aspect ratio scaling of the digital border (HC, PG, AW), pp. 144–146.

MSR-2007-WeissPZZ #debugging #how #question

How Long Will It Take to Fix This Bug? (CW, RP, TZ, AZ), p. 1.

DLT-2007-JirasekJS #automaton #finite #nondeterminism

Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 254–265.

ICALP-2007-ArenasBL #automaton #fixpoint #regular expression #word

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization (MA, PB, LL), pp. 888–900.

POPL-2007-OhoriS #fixpoint #lightweight

Lightweight fusion by fixed point promotion (AO, IS), pp. 143–154.

ESEC-FSE-2007-KimE #question

Which warnings should I fix first? (SK, MDE), pp. 45–54.

ICSE-2007-Egyed #consistency #design #modelling #nondeterminism #uml

Fixing Inconsistencies in UML Design Models (AE), pp. 292–301.

CSL-2007-ChenF #parametricity

Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping (YC, JF), pp. 389–404.

DAC-2006-YangCTRC #design

An up-stream design auto-fix flow for manufacturability enhancement (JY, EC, CT, NR, MC), pp. 73–76.

DATE-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.

DATE-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.

VLDB-2006-0002OIA #documentation #named #xml

FIX: Feature-based Indexing Technique for XML Documents (NZ, MTÖ, IFI, AA), pp. 259–270.

MSR-2006-KimW #debugging #how #question

How long did it take to fix bugs? (SK, EJWJ), pp. 173–174.

PEPM-2006-Edwards #fixpoint #simulation #using

Using program specialization to speed SystemC fixed-point simulation (SAE), pp. 21–28.

DLT-2006-Krieger #fixpoint #morphism #on the

On Critical Exponents in Fixed Points of Non-erasing Morphisms (DK), pp. 280–291.

ICALP-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.

ICALP-v1-2006-ChenD #2d #complexity #fixpoint #on the #problem

On the Complexity of 2D Discrete Fixed Point Problem (XC, XD), pp. 489–500.

ICPR-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.

FSE-2006-KimPW #debugging

Memories of bug fixes (SK, KP, EJWJ), pp. 35–45.

ICSE-2006-AnvikHM #debugging #question

Who should fix this bug? (JA, LH, GCM), pp. 361–370.

LICS-2006-PanV #parametricity

Fixed-Parameter Hierarchies inside PSPACE (GP, MYV), pp. 27–36.

DAC-2005-SuC #algorithm

An exact jumper insertion algorithm for antenna effect avoidance/fixing (BYS, YWC), pp. 325–328.

DATE-2005-AmatoCMP #precise

Realization of a Virtual Lambda Sensor on a Fixed Precision System (PA, NC, MDM, FP), pp. 192–197.

MSR-2005-SliwerskiZZ #question

When do changes induce fixes? (JŚ, TZ, AZ), pp. 41–45.

STOC-2005-ChenD #algorithm #approximate #fixpoint #on the

On algorithms for discrete and approximate brouwer fixed points (XC, XD), pp. 323–330.

ICALP-2005-Zhang #game studies #performance #resource management

The Efficiency and Fairness of a Fixed Budget Resource Allocation Game (LZ0), pp. 485–496.

AdaEurope-2005-MartinezH #communication #named #protocol #realtime #standard

RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet (JMM, MGH), pp. 180–195.

AdaEurope-2005-SaezLTC #implementation #performance

Efficient Alternatives for Implementing Fixed-Priority Schedulers (SS, VLG, ST, AC), pp. 39–50.

CAV-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.

DAC-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.

DAC-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.

TACAS-2004-GrooteK #equation #fixpoint

Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points (JFG, MK), pp. 436–450.

ICALP-2004-AndrewsZ #capacity #network

Wavelength Assignment in Optical Networks with Fixed Fiber Capacity (MA, LZ), pp. 134–145.

ICALP-2004-DawarGK #backtracking #fixpoint #game studies

Backtracking Games and Inflationary Fixed Points (AD, EG, SK), pp. 420–432.

ICALP-2004-FlumGW #bound #nondeterminism #parametricity

Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits (JF, MG, MW), pp. 555–567.

ICALP-2004-Martin #fixpoint

Entropy as a Fixed Point (KM), pp. 945–958.

ICALP-2004-Schweikardt #fixpoint #logic #monad #on the #power of

On the Expressive Power of Monadic Least Fixed Point Logic (NS), pp. 1123–1135.

ICPR-v1-2004-ZouariHLA #classification #performance #simulation

Simulating Classifier Ensembles of Fixed Diversity for Studying Plurality Voting Performance (HZ, LH, YL, AMA), pp. 232–235.

ICPR-v3-2004-YanLWW #automation

Automatic Template Matching Method for Tropical Cyclone Eye Fix (KYW, CLY, PWL, WWT), pp. 650–653.

ICPR-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.

SAC-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.

FSE-2004-Marks #exclamation #problem #usability

The usability problem for home appliances: engineers caused it, engineers can fix it! (JM), p. 95.

LCTES-2004-JejurikarG #realtime #scheduling

Procrastination scheduling in fixed priority real-time systems (RJ, RKG), pp. 57–66.

CSL-2004-AbelM #fixpoint #recursion

Fixed Points of Type Constructors and Primitive Recursion (AA, RM), pp. 190–204.

DAC-2003-CarlettaVKF #fixpoint

Determining appropriate precisions for signals in fixed-point IIR filters (JC, RJV, FWK, ZF), pp. 656–661.

DAC-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.

ICALP-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.

CSL-2003-Bradfield #independence

Parity of Imperfection of Fixing Independence (JCB), pp. 72–85.

CSL-2003-DawarR #fixpoint #logic #symmetry

A Fixed-Point Logic with Symmetric Choice (AD, DR), pp. 169–182.

LICS-2003-GradelK #fixpoint

Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions (EG, SK), p. 158–?.

SAT-2003-MaarenN

Hidden Threshold Phenomena for Fixed-Density SAT-formulae (HvM, LvN), pp. 135–149.

SAT-2003-Szeider #on the #parametricity #satisfiability

On Fixed-Parameter Tractable Parameterizations of SAT (SS), pp. 188–202.

TLCA-2003-KakutaniH #category theory #fixpoint

Parameterizations and Fixed-Point Operators on Control Categories (YK, MH), pp. 180–194.

DATE-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.

DATE-2002-MenardS #algorithm #automation #evaluation #fixpoint

Automatic Evaluation of the Accuracy of Fixed-Point Algorithms (DM, OS), pp. 529–535.

DATE-2002-QuanH #energy #scheduling

Minimum Energy Fixed-Priority Scheduling for Variable Voltage Processor (GQ, XH), pp. 782–787.

FoSSaCS-2002-LangeS #fixpoint #logic #model checking

Model Checking Fixed Point Logic with Chop (ML, CS), pp. 250–263.

IFM-2002-AkbarpourDT #fixpoint #formal method

Formalization of Cadence SPW Fixed-Point Arithmetic in HOL (BA, AD, ST), pp. 185–204.

ICML-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.

ICPR-v3-2002-KangL #evaluation #multi

Evaluation on Selection Criteria of Multiple Numeral Recognizers with the Fixed Number of Recognizers (HJK, SWL), pp. 403–406.

SEKE-2002-BarbutiTBF #bytecode #java #verification

Fixing the Java bytecode verifier by a suitable type domain (RB, LT, CB, NDF), pp. 377–382.

LOPSTR-2002-VanhoofTB #fixpoint #logic programming #semantics #source code

A Fixed Point Semantics for Logic Programs Extended with Cuts (WV, RT, MB), pp. 238–257.

CSL-2002-Kreutzer #fixpoint #infinity #logic

Partial Fixed-Point Logic on Infinite Structures (SK), pp. 337–351.

LICS-2002-Kreutzer #equivalence #fixpoint #logic

Expressive Equivalence of Least and Inflationary Fixed-Point Logic (SK), p. 403–?.

DAC-2001-QuanH #energy #performance #realtime #scheduling

Energy Efficient Fixed-Priority Scheduling for Real-Time Systems on Variable Voltage Processors (GQ, XH), pp. 828–833.

DLT-2001-Esik #equation #fixpoint

The Equational Theory of Fixed Points with Applications to Generalized Language Theory (ZÉ), pp. 21–36.

SIGAda-2001-Taft01a

Keynote address: fixing software before it breaks (STT), pp. 97–98.

ICML-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.

CSL-2001-DawarGK #fixpoint #logic

Inflationary Fixed Points in Modal Logic (AD, EG, SK), pp. 277–291.

ICLP-2001-KumarRS #equation #fixpoint #modelling

Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (KNK, CRR, SAS), pp. 227–241.

ICLP-2001-LoncT #complexity #logic programming #parametricity #semantics #source code

Fixed-Parameter Complexity of Semantics for Logic Programs (ZL, MT), pp. 197–211.

DAC-2000-CongY

Routing tree construction under fixed buffer locations (JC, XY), pp. 379–384.

DATE-2000-BrennerV #performance

Faster Optimal Single-Row Placement with Fixed Ordering (UB, JV), pp. 117–121.

PODS-2000-Kreutzer #constraints #database #fixpoint #linear #query

Fixed-Point Query Languages for Linear Constraint Databases (SK), pp. 116–125.

ICML-2000-FariasR #approximate #fixpoint #learning

Fixed Points of Approximate Value Iteration and Temporal-Difference Learning (DPdF, BVR), pp. 207–214.

ICPR-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.

SAC-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.

CSL-2000-Atserias #bound #complexity #fixpoint

The Descriptive Complexity of the Fixed-Points of Bounded Formulas (AA), pp. 172–186.

CSL-2000-Esik #axiom #fixpoint

Axiomatizing the Least Fixed Point Operation and Binary Supremum (ZÉ), pp. 302–316.

LICS-2000-SimpsonP #axiom #category theory #fixpoint

Complete Axioms for Categorical Fixed-Point Operators (AKS, GDP), pp. 30–41.

ASE-1999-Biggerstaff #problem

Fixing Some Transformation Problems (TJB), pp. 148–157.

DAC-1999-BashfordL #constraints #fixpoint

Constraint Driven Code Selection for Fixed-Point DSPs (SB, RL), pp. 817–822.

DAC-1999-CaldwellKM #clustering

Hypergraph Partitioning with Fixed Vertices (AEC, ABK, ILM), pp. 355–359.

DAC-1999-ShinC #realtime #scheduling

Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems (YS, KC), pp. 134–139.

DATE-1999-CmarRSVB #design #fixpoint #refinement

A Methodology and Design Environment for DSP ASIC Fixed-Point Refinement (RC, LR, PS, SV, IB), p. 271–?.

TACAS-1999-GardnerL #probability #realtime

Analyzing Stochastic Fixed-Priority Real-Time Systems (MKG, JWSL), pp. 44–58.

DLT-1999-Holzer #on the

On fixed and general membership for external and internal contextual languages (MH), pp. 351–361.

CC-1999-CilioC #c #fixpoint #float

Floating Point to Fixed Point Conversion of C Code (AGMC, HC), pp. 229–243.

LICS-1999-AtseriasK #finite #first-order #fixpoint #logic #set

First-Order Logic vs. Fixed-Point Logic in Finite Set Theory (AA, PGK), pp. 275–284.

LICS-1999-GradelW #fixpoint #logic

Guarded Fixed Point Logic (EG, IW), pp. 45–54.

DATE-1998-KedingWCM #design #fixpoint #named #simulation

FRIDGE: A Fixed-Point Design and Simulation Environment (HK, MW, MC, HM), pp. 429–435.

TACAS-1998-BjornerP

Deiding Fixed and Non-fixed Size Bit-vectors (NB, MCP), pp. 376–392.

TACAS-1998-LiuRS #evaluation #fixpoint #performance

Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract) (XL, CRR, SAS), pp. 5–19.

ICALP-1998-LiuS #algorithm #fixpoint #linear

Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract) (XL, SAS), pp. 53–66.

ICPR-1998-Liu #coordination

Determination of the point of fixation in a head-fixed coordinate system (JL), pp. 501–504.

CSL-1998-Matthes #fixpoint #normalisation

Monotone Fixed-Point Types and Strong Normalization (RM), pp. 298–312.

LICS-1998-Grohe #fixpoint #graph #logic

Fixed-Point Logics on Planar Graphs (MG), pp. 6–15.

DAC-1997-WillemsBKGM #approach #design #fixpoint

System Level Fixed-Point Design Based on an Interpolative Approach (MW, VB, HK, TG, HM), pp. 293–298.

CAV-1997-CyrlukMR #formal method #performance

An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (DC, MOM, HR), pp. 60–71.

TACAS-1996-Lowe #protocol #using

Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR (GL), pp. 147–166.

ICALP-1996-KoutsoupiasPY #graph

Searching a Fixed Graph (EK, CHP, MY), pp. 280–289.

CADE-1996-SagonasSW #automaton #source code

An Abstract Machine for Fixed-Order Dynamically Stratified Programs (KFS, TS, DSW), pp. 328–342.

ICSM-1995-LanubileV #maintenance #re-engineering

Iterative reengineering to compensate for quick-fix maintenance (FL, GV), pp. 140–146.

CAV-1995-AndersenV #behaviour #fixpoint #performance #using

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion (HRA, BV), pp. 142–154.

LICS-1995-Seth #complexity #fixpoint #logic #question

When Do Fixed Point Logics Capture Complexity Classes? (AS), pp. 353–363.

HT-ECHT-1994-Levy #documentation

Fixed or Fluid? Document Stability and New Media (DML), pp. 24–31.

PODS-1994-HillebrandK #database #functional #order #query #λ-calculus

Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (GGH, PCK), pp. 222–231.

ESOP-J-1992-HankinH94 #abstract interpretation #approximate #fixpoint

Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 283–306.

ESOP-1994-Amtoft #fixpoint #re-engineering

Local Type Reconstruction by Means of Symbolic Fixed Point Iteration (TA), pp. 43–57.

SAS-1994-Henglein #analysis #fixpoint #strict #type system

Iterative Fixed Point Computation for Type-Based Strictness Analysis (FH), pp. 395–407.

SAS-1994-VergauwenWL #fixpoint #performance

Efficient FixPoint Computation (BV, JW, JL), pp. 314–328.

ILPS-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.

PODS-1993-HaasNSS #estimation

Fixed-Precision Estimation of Join Selectivity (PJH, JFN, SS, ANS), pp. 190–201.

FPCA-1993-Sparud #garbage collection

Fixing Some Space Leaks without a Garbage Collector (JS), pp. 117–124.

SAC-1993-RankinW #combinator #fixpoint #prolog #using

Finding Fixed Point Combinators Using Prolog (RR, RWW), pp. 604–608.

CSL-1993-Grohe #bound #fixpoint #logic

Bounded-Arity Hierarchies in Fixed-Point Logics (MG), pp. 150–164.

CSL-1993-Stewart #fixpoint #quantifier

Incorporating Generalized Quantifiers and the Least Fixed Point Operator (IAS), pp. 318–333.

DAC-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.

ESOP-1992-HankinH #abstract interpretation #approximate #fixpoint

Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 219–232.

STOC-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.

LFP-1992-ChuangG #approach #finite #fixpoint

A Syntactic Approach to Fixed Point Computation on Finite Domains (TRC, BG), pp. 109–118.

LFP-1992-NielsonN #fixpoint

Finiteness Conditions for Fixed Point Iteration (FN, HRN), pp. 96–108.

POPL-1992-NielsonN #bound #fixpoint

Bounded Fixed Point Iteration (HRN, FN), pp. 71–82.

LICS-1991-Taylor #fixpoint

The Fixed Point Property in Synthetic Domain Theory (PT0), pp. 152–160.

PLILP-1990-Sahlin #fixpoint #prolog #using

Finding the Least Fixed Point Using Wait-Declarations in Prolog (DS), pp. 151–158.

PODS-1989-DublishM #bound #fixpoint #query

Expressibility of Bounded-Arity Fixed-Point Query Hierarchies (PD, SNM), pp. 324–335.

PODS-1989-Przymusinski #fixpoint #logic programming

Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (TCP), pp. 11–21.

STOC-1989-Feder #approach #fixpoint #network

A New Fixed Point Approach for Stable Networks and Stable Marriages (TF), pp. 513–522.

STOC-1989-KochLMRR #network

Work-Preserving Emulations of Fixed-Connection Networks (Extended Abstract) (RRK, FTL, BMM, SR, ALR), pp. 227–240.

LICS-1989-MisloveMO #fixpoint #set

Non-Well-Founded Sets Obtained from Ideal Fixed Points (MWM, LSM, FJO), pp. 263–272.

NACLP-1989-Batarekh #convergence #fixpoint

Convergence Issues and Fixed Points of Non-Monotone Maps (AB), pp. 257–273.

VLDB-1988-Rougemont #algorithm #fixpoint #representation #scalability #semantics

Fixed-point semantics and the representation of algorithms on large data (MdR), pp. 264–272.

LICS-1988-Amadio #fixpoint #higher-order #modelling #λ-calculus

A fixed point extension of the second order λ-calculus: observable equivalences and models (RMA), pp. 51–60.

LICS-1988-Niwinski #fixpoint #generative #infinity

Fixed Points vs. Infinite Generation (DN), pp. 402–409.

FPCA-1987-MartinH #finite #fixpoint

Finding fixed points in finite lattices (CM, CH), pp. 426–445.

ICLP-1987-OKeefe87 #finite #fixpoint #problem

Finite Fixed-Point Problems (RAO), pp. 729–743.

LICS-1987-Milner #fixpoint

Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) (RM), p. 3.

ICALP-1986-Niwinski #fixpoint #on the

On Fixed-Point Clones (Extended Abstract) (DN), pp. 464–473.

ICALP-1983-YannakakisKCP #clustering #graph

Cutting and Partitioning a Graph aifter a Fixed Pattern (Extended Abstract) (MY, PCK, SSC, CHP), pp. 712–722.

ICALP-1982-Niwinski #algebra #fixpoint #semantics

Fixed-Point Semantics for Algebraic (Tree) Grammars (Extended Abstract) (DN), pp. 384–396.

LFP-1982-MuchnickJ #combinator #evaluation

A Fixed-Program Machine for Combinator Expression Evaluation (SSM, NDJ), pp. 11–20.

STOC-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.

ICALP-1980-Majster-Cederbaum #algebra #axiom #fixpoint #named #semantics

Semantics: Algebras, Fixed Points, Axioms (MEMC), pp. 394–408.

ICALP-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.

ICALP-1979-Tiuryn #fixpoint

Unique Fixed Points vs. Least Fixed Points (JT), pp. 633–645.