Tag #linux
89 papers:
ICSME-2019-LiYZ #kernel- Application of Philosophical Principles in Linux Kernel Customization (HL, LY, XZ), p. 365.
SEFM-2019-OliveiraCO #kernel #performance #verification- Efficient Formal Verification for the Linux Kernel (DBdO, TC, RSdO), pp. 315–332.
PLDI-2019-GershuniAGNNRRS #kernel #precise #static analysis- Simple and precise static analysis of untrusted Linux kernel extensions (EG, NA, AG, NN, JAN, NR, LR, MS), pp. 1069–1084.
ASE-2019-WenCC #kernel #named- PTracer: A Linux Kernel Patch Trace Bot (YW, JC, SC), pp. 1210–1211.
ESEC-FSE-2019-ShiWFWSJSJS #enterprise #fuzzing #industrial #kernel- Industry practice of coverage-guided enterprise Linux kernel fuzzing (HS, RW, YF, MW, XS, XJ, HS, YJ0, JS), pp. 986–995.
- ESEC-FSE-2019-Tan #kernel #maintenance #multi
- Reducing the workload of the Linux kernel maintainers: multiple-committer model (XT), pp. 1205–1207.
ASPLOS-2019-BaiLTH #automation #detection #fault #kernel #named- DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel (JJB, JL, WT, SMH0), pp. 287–299.
MSR-2018-XuZ #dataset #kernel #multi- A multi-level dataset of linux kernel patchwork (YX, MZ), pp. 54–57.
- ICSE-2018-BagherzadehKBHD
- Analyzing a decade of Linux system calls (MB, NK, CPB, AEH, JD, JRC), p. 267.
- ASPLOS-2018-AlglaveMMPS #concurrent #kernel
- Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel (JA, LM, PEM, AP, ASS), pp. 405–418.
- IFM-2017-FerreiraJMB #authentication #case study #coq #quality #using
- Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules (JFF, SAJ, AM, PJB), pp. 407–421.
- SEFM-2017-GeorgetJPTT #concurrent #data flow #memory management
- Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory (LG, MJ, GP, FT, VVTT), pp. 1–16.
- ESEC-FSE-2017-ZhouCMW #kernel #maintenance #on the #scalability
- On the scalability of Linux kernel maintainers' work (MZ, QC, AM, FW), pp. 27–37.
ICST-2017-JeongLKKH #embedded #fault #framework #injection #kernel #named- FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux System (EJ, NL, JK, DK, SH), pp. 23–34.
- ICST-2017-WanLXCL #mining
- Mining Sandboxes for Linux Containers (ZW, DL0, XX0, LC, SL), pp. 92–102.
- ICSME-2016-ThungLLL #automation #recommendation
- Recommending Code Changes for Automatic Backporting of Linux Device Drivers (FT, XBDL, DL0, JLL), pp. 222–232.
SCAM-2016-JimenezPT #case study #kernel #modelling #predict- Vulnerability Prediction Models: A Case Study on the Linux Kernel (MJ, MP, YLT), pp. 1–10.
- MSR-2015-GermanAH #dataset #git #process
- A Dataset of the Activity of the Git Super-repository of Linux in 2012 (DMG, BA, AEH), pp. 470–473.
DAC-2015-SarmaMBDN #energy #named #performance- SmartBalance: a sensing-driven linux load balancer for energy efficiency of heterogeneous MPSoCs (SS, TM, LADB, NDD, AN), p. 6.
- MSR-2014-PassosC #dataset #feature model #kernel
- A dataset of feature additions and feature removals from the Linux kernel (LTP, KC), pp. 376–379.
- ASE-2014-AbalBW #analysis #debugging #kernel #variability
- 42 variability bugs in the linux kernel: a qualitative analysis (IA, CB, AW), pp. 421–432.
SAC-2014-OliveiraO #analysis #kernel- 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 #named
- KVM/ARM: the design and implementation of the linux ARM hypervisor (CD, JN), pp. 333–348.
SIGITE-2013-GasparLBB #online #student- Student perspective on an online asynchronous introduction to linux based on user-first pedagogy (AG, SL, NRB, CB), pp. 23–28.
- MSR-2013-JiangAG #case study #how #kernel #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 #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
- Characterization and assessment of the linux configuration complexity (AJ, DGF), pp. 11–20.
SPLC-2013-PassosGTCWB #case study #kernel #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 #search-based- Understanding the genetic makeup of Linux device drivers (PST, LR, LJ, DL, JLL, GM), p. 6.
- SIGITE-2012-JohnsonAGBB #multi #overview #taxonomy
- Multi-perspective survey of the relevance of the revised bloom’s taxonomy to an introduction to linux course (GKJ, WDA, AG, NRB, CB), pp. 105–110.
CSMR-2012-NadiH #detection #mining #variability- Mining Kbuild to Detect Variability Anomalies in Linux (SN, RCH), pp. 107–116.
ICPC-2012-Jbara - Characterization of the Linux configuration system (AJ), pp. 273–276.
- ICPC-2012-JbaraMF #kernel
- High-MCC functions in the Linux kernel (AJ, AM, DGF), pp. 83–92.
- ICSM-2012-KhomhYZ #adaptation #android #empirical #mobile #platform
- Adapting Linux for mobile platforms: An empirical study of Android (FK, HY, YZ), pp. 629–632.
- ICSM-2012-SuvorovNHZA #case study #empirical #kernel
- 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 #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.
- SPLC-2012-DietrichTSL #approach #robust #variability
- A robust approach for variability extraction from the Linux build system (CD, RT, WSP, DL), pp. 21–30.
- ASE-2012-BissyandeRLM #automation #debugging #generative #interface #kernel #named
- Diagnosys: automatic generation of a debugging interface to the Linux kernel (TFB, LR, JLL, GM), pp. 60–69.
ICSE-2012-TianLL #debugging #identification- Identifying Linux bug fixing patches (YT, JLL, DL), pp. 386–396.
- SAC-2012-FahmyRJ #implementation #interface #kernel #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
- Kernel-level ARINC 653 partitioning for Linux (SH, HWJ), pp. 1632–1637.
- SAC-2012-MavrogiannopoulosTP #encryption #framework #kernel
- A linux kernel cryptographic framework: decoupling cryptographic keys from applications (NM, MT, BP), pp. 1435–1442.
- SIGITE-2011-DavisJ #community #learning
- Learning in the GNU/Linux community (DD, IJ), pp. 21–26.
- SCAM-2011-WangG #case study
- A Study of Cloning in the Linux SCSI Drivers (WW, MWG), pp. 95–104.
- WCRE-2011-NadiH #mining
- Make it or Break it: Mining Anomalies from Linux Kbuild (SN, RCH), pp. 315–324.
- WCRE-2011-WangLXJ #empirical #information retrieval #kernel #locality #using
- Concern Localization using Information Retrieval: An Empirical Study on Linux Kernel (SW, DL, ZX, LJ), pp. 92–96.
- SAC-2011-KookHLJK #embedded #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
- 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 #random
- Fuzzing the out-of-memory killer on embedded Linux: an adaptive random approach (KYS, FCK, RGM), pp. 387–392.
- ASPLOS-2011-PalixTSCLM #fault #years after
- Faults in linux: ten years later (NP, GT, SS, CC, JLL, GM), pp. 305–318.
- DAC-2011-DellingerGR #kernel #multi #realtime
- ChronOS Linux: a best-effort real-time multiprocessor Linux kernel (MD, PG, BR), pp. 474–479.
LCTES-2011-SahaLM #approach #kernel- An approach to improving the structure of error-handling code in the linux kernel (SS, JLL, GM), pp. 41–50.
- ICST-2011-RubanovS #kernel #runtime #verification
- Runtime Verification of Linux Kernel Modules Based on Call Interception (VVR, EAS), pp. 180–189.
ISSTA-2011-Rubio-GonzalezL #fault #interactive #kernel #pointer- Defective error/pointer interactions in the Linux kernel (CRG, BL), pp. 111–121.
- SPLC-2010-LotufoSBCW #evolution #kernel #variability
- Evolution of the Linux Kernel Variability Model (RL, SS, TB, KC, AW), pp. 136–150.
AdaEurope-2010-SaezC #ada #multi- Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems (SS, AC), pp. 68–82.
OSDI-2010-Boyd-WickizerCMPKMZ #analysis #scalability- An Analysis of Linux Scalability to Many Cores (SBW, ATC, YM, AP, MFK, RM, NZ), pp. 1–16.
- ICSM-2009-WangWYZY #evolution #kernel #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
- An implementation of the earliest deadline first algorithm in Linux (DF, MT, FC), pp. 1984–1989.
- SAC-2009-LombardiP #kernel #named #security #virtual machine
- KvmSec: a security extension for Linux kernel virtual machines (FL, RDP), pp. 2029–2034.
VMCAI-2009-GallowayLMS #file system #model checking- Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.
ICFP-2008-DolstraL #functional #named- NixOS: a purely functional Linux distribution (ED, AL), pp. 367–378.
- SIGITE-2007-ToderickL #physics #using
- Using VPN technology to remove physical barriers in linux lab experiments (LT, PJLI), pp. 113–118.
- SIGITE-2007-YuanZ #protocol #student
- Building a CISCO-feel linux router to enable students learn and configure dynamic routing protocols (DY, JZ), pp. 271–272.
- MSR-2007-LivieriHMI #analysis #evolution #kernel #using
- Analysis of the Linux Kernel Evolution Using Code Clone Coverage (SL, YH, MM, KI), p. 22.
IFM-2007-PostK #static analysis #verification- Integrated Static Analysis for Linux Device Driver Verification (HP, WK), pp. 518–537.
- ICFP-2007-BeshersFS #case study #experience #functional #programming #using
- Experience report: using functional programming to manage a linux distribution (CB, DF, JS), pp. 213–218.
- ASE-2007-WitkowskiBKW #concurrent #model checking
- Model checking concurrent linux device drivers (TW, NB, DK, GW), pp. 501–504.
- SAC-2007-KimmSS #algorithm #evaluation #mobile #scalability
- Evaluation of interval-based dynamic voltage scaling algorithms on mobile Linux system (HK, SYS, COS), pp. 1141–1145.
- SAC-2007-NakamuraM #design #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- A study of tracing overhead on a high-performance linux cluster (KM, KLK), pp. 158–159.
- ICSM-2006-Stallman #operating system
- The Free Software Movement and the GNU/Linux Operating System (RMS), p. 426.
- AdaEurope-2006-BreuerP #fault #kernel #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 #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- Getting Priorities Straight: Improving Linux Support for Database I/O (CH, PB), pp. 1116–1127.
- LCTES-2005-ChanetSBPB #kernel
- System-wide compaction and specialization of the linux kernel (DC, BDS, BDB, LVP, KDB), pp. 95–104.
SOSP-2005-WitchelRA #memory management #named #using- Mondrix: memory isolation for linux using mondriaan memory protection (EW, JR, KA), pp. 31–44.
ITiCSE-2004-Davoli #education #operating system- Teaching operating systems administration with user mode linux (RD), pp. 112–116.
- AdaEurope-2004-BreuerG #concurrent #detection #kernel
- Static Deadlock Detection in the Linux Kernel (PTB, MGV), pp. 52–64.
- AdaEurope-2004-MasmanoRRC #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 #realtime
- Running Ada on Real-Time Linux (MM, JR, IR, AC), pp. 322–333.
SIGAda-2003-AllaertCW #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
- Analyzing cloning evolution in the Linux kernel (GA, UV, EM, MDP), pp. 755–765.
- OSDI-2002-FlautnerM #automation #named
- Vertigo: Automatic Performance-Setting for Linux (KF, TNM), pp. 105–116.
- SCAM-2001-AntoniolVDCM #clone detection #identification #kernel
- Identifying Clones in the Linux Kernel (GA, UV, MDP, GC, EM), pp. 92–99.
- AdaEurope-1999-ShenCB #ada #implementation #kernel #multi
- A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel (HS, AC, TPB), pp. 287–297.
- ICSE-1999-BowmanHB #architecture #case study
- Linux as a Case Study: Its Extracted Software Architecture (ITB, RCH, NVB), pp. 555–563.
- SAC-1999-RowMAW #network #security
- Security Issues in Small Linux Networks (WMR, DJM, BLA, AHW), pp. 506–510.
- SAC-1998-HuizingaS
- File hoarding under NFS and Linux (DMH, HS), pp. 409–415.
