71 papers:
DAC-2015-SarmaMBDN #energy #linux #named #performance- SmartBalance: a sensing-driven linux load balancer for energy efficiency of heterogeneous MPSoCs (SS, TM, LADB, NDD, AN), p. 6.
MSR-2015-GermanAH #dataset #git #linux #process- A Dataset of the Activity of the Git Super-repository of Linux in 2012 (DMG, BA, AEH), pp. 470–473.
ASE-2014-AbalBW #analysis #debugging #kernel #linux #variability- 42 variability bugs in the linux kernel: a qualitative analysis (IA, CB, AW), pp. 421–432.
DATE-2014-MercatiBPRB #android #mobile #reliability- A Linux-governor based Dynamic Reliability Manager for android mobile devices (PM, AB, FP, TSR, LB), pp. 1–4.
- MSR-2014-PassosC #dataset #feature model #kernel #linux
- A dataset of feature additions and feature removals from the Linux kernel (LTP, KC), pp. 376–379.
SAC-2014-OliveiraO #analysis #kernel #linux- Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model (DBdO, RSdO), pp. 1543–1544.
ASPLOS-2014-DallN #design #implementation #linux #named- KVM/ARM: the design and implementation of the linux ARM hypervisor (CD, JN), pp. 333–348.
- MSR-2013-JiangAG #case study #how #kernel #linux #performance
- Will my patch make it? and how fast?: case study on the Linux kernel (YJ, BA, DMG), pp. 101–110.
- 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.
SCAM-2013-JbaraF #assessment #complexity #linux- Characterization and assessment of the linux configuration complexity (AJ, DGF), pp. 11–20.
ICSE-2013-XingXJ #benchmark #feature model #kernel #metric #research #scalability- A large scale Linux-kernel based benchmark for feature location research (ZX, YX, SJ), pp. 1311–1314.
SPLC-2013-PassosGTCWB #case study #kernel #linux #modelling #variability- Coevolution of variability models and related artifacts: a case study from the Linux kernel (LTP, JG, LT, KC, AW, PB), pp. 91–100.
PLOS-2013-TschudinRJLLM #comprehension #linux #search-based- Understanding the genetic makeup of Linux device drivers (PST, LR, LJ, DL, JLL, GM), p. 6.
- ASE-2012-BissyandeRLM #automation #debugging #generative #interface #kernel #linux #named
- Diagnosys: automatic generation of a debugging interface to the Linux kernel (TFB, LR, JLL, GM), pp. 60–69.
CSMR-2012-NadiH #detection #linux #mining #variability- Mining Kbuild to Detect Variability Anomalies in Linux (SN, RCH), pp. 107–116.
ICPC-2012-Jbara #linux- Characterization of the Linux configuration system (AJ), pp. 273–276.
- ICPC-2012-JbaraMF #kernel #linux
- High-MCC functions in the Linux kernel (AJ, AM, DGF), pp. 83–92.
ICSM-2012-KhomhYZ #adaptation #android #empirical #linux #mobile- Adapting Linux for mobile platforms: An empirical study of Android (FK, HY, YZ), pp. 629–632.
- ICSM-2012-SuvorovNHZA #case study #empirical #kernel #linux
- An empirical study of build system migrations in practice: Case studies on KDE and the Linux kernel (RS, MN, AEH, YZ, BA), pp. 160–169.
WCRE-2012-HemelK #case study #clone detection #detection #linux #reverse engineering #source code #using #variability- Reverse Engineering Variability in Source Code Using Clone Detection: A Case Study for Linux Variants of Consumer Electronic Devices (AH, RK), pp. 357–366.
- SAC-2012-FahmyRJ #implementation #interface #kernel #linux #programming #realtime #scheduling #thread
- Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support (SFF, BR, EDJ), pp. 1771–1778.
- SAC-2012-HanJ #clustering #kernel #linux
- Kernel-level ARINC 653 partitioning for Linux (SH, HWJ), pp. 1632–1637.
- SAC-2012-MavrogiannopoulosTP #encryption #framework #kernel #linux
- A linux kernel cryptographic framework: decoupling cryptographic keys from applications (NM, MT, BP), pp. 1435–1442.
- ICSE-2012-TianLL #debugging #identification #linux
- Identifying Linux bug fixing patches (YT, JLL, DL), pp. 386–396.
- SPLC-2012-DietrichTSL #approach #linux #robust #variability
- A robust approach for variability extraction from the Linux build system (CD, RT, WSP, DL), pp. 21–30.
- DAC-2011-DellingerGR #kernel #linux #multi #realtime
- ChronOS Linux: a best-effort real-time multiprocessor Linux kernel (MD, PG, BR), pp. 474–479.
- SCAM-2011-WangG #case study #linux
- A Study of Cloning in the Linux SCSI Drivers (WW, MWG), pp. 95–104.
- WCRE-2011-NadiH #linux #mining
- Make it or Break it: Mining Anomalies from Linux Kbuild (SN, RCH), pp. 315–324.
- WCRE-2011-WangLXJ #empirical #information retrieval #kernel #linux #locality #using
- Concern Localization using Information Retrieval: An Empirical Study on Linux Kernel (SW, DL, ZX, LJ), pp. 92–96.
- SAC-2011-KookHLJK #embedded #linux #memory management #optimisation
- Optimization of out of memory killer for embedded Linux environments (JK, SH, WL, EJ, JK), pp. 633–634.
- SAC-2011-LeeKY #kernel #linux
- Experimenting with system and Libc call interception attacks on ARM-based Linux kernel (HcL, CHK, JHY), pp. 631–632.
- SAC-2011-SimKM #adaptation #approach #embedded #fuzzing #linux #random
- Fuzzing the out-of-memory killer on embedded Linux: an adaptive random approach (KYS, FCK, RGM), pp. 387–392.
- ASPLOS-2011-PalixTSCLM #fault #linux #years after
- Faults in linux: ten years later (NP, GT, SS, CC, JLL, GM), pp. 305–318.
LCTES-2011-SahaLM #approach #kernel #linux- An approach to improving the structure of error-handling code in the linux kernel (SS, JLL, GM), pp. 41–50.
ICST-2011-RubanovS #kernel #linux #runtime #verification- Runtime Verification of Linux Kernel Modules Based on Call Interception (VVR, EAS), pp. 180–189.
ISSTA-2011-Rubio-GonzalezL #fault #interactive #kernel #linux #pointer- Defective error/pointer interactions in the Linux kernel (CRG, BL), pp. 111–121.
AdaEurope-2010-SaezC #ada #linux #multi- Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems (SS, AC), pp. 68–82.
- SPLC-2010-LotufoSBCW #evolution #kernel #linux #variability
- Evolution of the Linux Kernel Variability Model (RL, SS, TB, KC, AW), pp. 136–150.
OSDI-2010-Boyd-WickizerCMPKMZ #analysis #linux #scalability- An Analysis of Linux Scalability to Many Cores (SBW, ATC, YM, AP, MFK, RM, NZ), pp. 1–16.
- ICSM-2009-WangWYZY #evolution #kernel #linux #network #novel
- Linux kernels as complex networks: A novel method to study evolution (LW, ZW, CY, LZ, QY), pp. 41–50.
- SAC-2009-FaggioliTC #algorithm #implementation #linux
- An implementation of the earliest deadline first algorithm in Linux (DF, MT, FC), pp. 1984–1989.
- SAC-2009-LombardiP #kernel #linux #named #security #virtual machine
- KvmSec: a security extension for Linux kernel virtual machines (FL, RDP), pp. 2029–2034.
VMCAI-2009-GallowayLMS #file system #linux #model checking- Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.
ICFP-2008-DolstraL #functional #linux #named- NixOS: a purely functional Linux distribution (ED, AL), pp. 367–378.
- ASE-2007-WitkowskiBKW #concurrent #linux #model checking
- Model checking concurrent linux device drivers (TW, NB, DK, GW), pp. 501–504.
- MSR-2007-LivieriHMI #analysis #evolution #kernel #linux #using
- Analysis of the Linux Kernel Evolution Using Code Clone Coverage (SL, YH, MM, KI), p. 22.
IFM-2007-PostK #linux #static analysis #verification- Integrated Static Analysis for Linux Device Driver Verification (HP, WK), pp. 518–537.
- ICFP-2007-BeshersFS #case study #experience #functional #linux #programming #using
- Experience report: using functional programming to manage a linux distribution (CB, DF, JS), pp. 213–218.
- SAC-2007-KimmSS #algorithm #evaluation #linux #mobile #scalability
- Evaluation of interval-based dynamic voltage scaling algorithms on mobile Linux system (HK, SYS, COS), pp. 1141–1145.
- SAC-2007-NakamuraM #design #linux #trust
- Designing a trust chain for a thin client on a live Linux cd (MN, SM), pp. 1605–1606.
PPoPP-2007-MohrorK #case study #clustering #linux- A study of tracing overhead on a high-performance linux cluster (KM, KLK), pp. 158–159.
SOSP-2007-RossbachHPRAW #hardware #memory management #named #operating system #transaction #using- TxLinux: using and managing hardware transactional memory in an operating system (CJR, OSH, DEP, HER, BA, EW), pp. 87–102.
- ICSM-2006-Stallman #linux #operating system
- The Free Software Movement and the GNU/Linux Operating System (RMS), p. 426.
- AdaEurope-2006-BreuerP #fault #kernel #linux #source code #static analysis
- One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (PTB, SP), pp. 56–70.
- SAC-2006-ChoiBS #design #implementation #kernel #linux #programming #robust
- Design and implementation of a kernel resource protector for robustness of Linux module programming (JC, SB, SYS), pp. 1477–1481.
VLDB-2005-HallB #database #linux- Getting Priorities Straight: Improving Linux Support for Database I/O (CH, PB), pp. 1116–1127.
- LCTES-2005-ChanetSBPB #kernel #linux
- System-wide compaction and specialization of the linux kernel (DC, BDS, BDB, LVP, KDB), pp. 95–104.
- SOSP-2005-WitchelRA #linux #memory management #named #using
- Mondrix: memory isolation for linux using mondriaan memory protection (EW, JR, KA), pp. 31–44.
ITiCSE-2004-Davoli #education #linux #operating system- Teaching operating systems administration with user mode linux (RD), pp. 112–116.
- AdaEurope-2004-BreuerG #concurrent #detection #kernel #linux
- Static Deadlock Detection in the Linux Kernel (PTB, MGV), pp. 52–64.
- AdaEurope-2004-MasmanoRRC #linux #realtime
- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux (MM, JR, IR, AC), pp. 144–155.
- AdaEurope-2003-MasmanoRRC #ada #linux #realtime
- Running Ada on Real-Time Linux (MM, JR, IR, AC), pp. 322–333.
SIGAda-2003-AllaertCW #linux #migration #scalability- European air traffic flow management: porting a large application to GNU/linux (GA, DC, PW), pp. 29–37.
- SCAM-J-2001-AntoniolVMP02 #evolution #kernel #linux
- Analyzing cloning evolution in the Linux kernel (GA, UV, EM, MDP), pp. 755–765.
- OSDI-2002-FlautnerM #automation #linux #named
- Vertigo: Automatic Performance-Setting for Linux (KF, TNM), pp. 105–116.
- SCAM-2001-AntoniolVDCM #clone detection #identification #kernel #linux
- Identifying Clones in the Linux Kernel (GA, UV, MDP, GC, EM), pp. 92–99.
- AdaEurope-1999-ShenCB #ada #implementation #kernel #linux #multi
- A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel (HS, AC, TPB), pp. 287–297.
- SAC-1999-RowMAW #linux #network #security
- Security Issues in Small Linux Networks (WMR, DJM, BLA, AHW), pp. 506–510.
- ICSE-1999-BowmanHB #architecture #case study #linux
- Linux as a Case Study: Its Extracted Software Architecture (ITB, RCH, NVB), pp. 555–563.
- SAC-1998-HuizingaS #linux
- File hoarding under NFS and Linux (DMH, HS), pp. 409–415.
- LCTES-1998-TerrasaEG #component #flexibility #realtime
- Extending RT-Linux to Support Flexible Hard Real-Time Systems with Optional Components (AT, AE, AGF), pp. 41–50.
