BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
linux
Google linux

Tag #linux

89 papers:

ICSMEICSME-2019-LiYZ #kernel
Application of Philosophical Principles in Linux Kernel Customization (HL, LY, XZ), p. 365.
SEFMSEFM-2019-OliveiraCO #kernel #performance #verification
Efficient Formal Verification for the Linux Kernel (DBdO, TC, RSdO), pp. 315–332.
PLDIPLDI-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.
ASEASE-2019-WenCC #kernel #named
PTracer: A Linux Kernel Patch Trace Bot (YW, JC, SC), pp. 1210–1211.
ESEC-FSEESEC-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-FSEESEC-FSE-2019-Tan #kernel #maintenance #multi
Reducing the workload of the Linux kernel maintainers: multiple-committer model (XT), pp. 1205–1207.
ASPLOSASPLOS-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.
MSRMSR-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.
ASPLOSASPLOS-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.
SEFMSEFM-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-FSEESEC-FSE-2017-ZhouCMW #kernel #maintenance #on the #scalability
On the scalability of Linux kernel maintainers' work (MZ, QC, AM, FW), pp. 27–37.
ICSTICST-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.
ICSTICST-2017-WanLXCL #mining
Mining Sandboxes for Linux Containers (ZW, DL0, XX0, LC, SL), pp. 92–102.
ICSMEICSME-2016-ThungLLL #automation #recommendation
Recommending Code Changes for Automatic Backporting of Linux Device Drivers (FT, XBDL, DL0, JLL), pp. 222–232.
SCAMSCAM-2016-JimenezPT #case study #kernel #modelling #predict
Vulnerability Prediction Models: A Case Study on the Linux Kernel (MJ, MP, YLT), pp. 1–10.
MSRMSR-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.
DACDAC-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.
MSRMSR-2014-PassosC #dataset #feature model #kernel
A dataset of feature additions and feature removals from the Linux kernel (LTP, KC), pp. 376–379.
ASEASE-2014-AbalBW #analysis #debugging #kernel #variability
42 variability bugs in the linux kernel: a qualitative analysis (IA, CB, AW), pp. 421–432.
SACSAC-2014-OliveiraO #analysis #kernel
Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model (DBdO, RSdO), pp. 1543–1544.
ASPLOSASPLOS-2014-DallN #design #implementation #named
KVM/ARM: the design and implementation of the linux ARM hypervisor (CD, JN), pp. 333–348.
SIGITESIGITE-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.
MSRMSR-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.
MSRMSR-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.
SCAMSCAM-2013-JbaraF #assessment #complexity
Characterization and assessment of the linux configuration complexity (AJ, DGF), pp. 11–20.
SPLCSPLC-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.
PLOSPLOS-2013-TschudinRJLLM #comprehension #search-based
Understanding the genetic makeup of Linux device drivers (PST, LR, LJ, DL, JLL, GM), p. 6.
SIGITESIGITE-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.
CSMRCSMR-2012-NadiH #detection #mining #variability
Mining Kbuild to Detect Variability Anomalies in Linux (SN, RCH), pp. 107–116.
ICPCICPC-2012-Jbara
Characterization of the Linux configuration system (AJ), pp. 273–276.
ICPCICPC-2012-JbaraMF #kernel
High-MCC functions in the Linux kernel (AJ, AM, DGF), pp. 83–92.
ICSMEICSM-2012-KhomhYZ #adaptation #android #empirical #mobile #platform
Adapting Linux for mobile platforms: An empirical study of Android (FK, HY, YZ), pp. 629–632.
ICSMEICSM-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.
WCREWCRE-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.
SPLCSPLC-2012-DietrichTSL #approach #robust #variability
A robust approach for variability extraction from the Linux build system (CD, RT, WSP, DL), pp. 21–30.
ASEASE-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.
ICSEICSE-2012-TianLL #debugging #identification
Identifying Linux bug fixing patches (YT, JLL, DL), pp. 386–396.
SACSAC-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.
SACSAC-2012-HanJ #clustering #kernel
Kernel-level ARINC 653 partitioning for Linux (SH, HWJ), pp. 1632–1637.
SACSAC-2012-MavrogiannopoulosTP #encryption #framework #kernel
A linux kernel cryptographic framework: decoupling cryptographic keys from applications (NM, MT, BP), pp. 1435–1442.
SIGITESIGITE-2011-DavisJ #community #learning
Learning in the GNU/Linux community (DD, IJ), pp. 21–26.
SCAMSCAM-2011-WangG #case study
A Study of Cloning in the Linux SCSI Drivers (WW, MWG), pp. 95–104.
WCREWCRE-2011-NadiH #mining
Make it or Break it: Mining Anomalies from Linux Kbuild (SN, RCH), pp. 315–324.
WCREWCRE-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.
SACSAC-2011-KookHLJK #embedded #memory management #optimisation
Optimization of out of memory killer for embedded Linux environments (JK, SH, WL, EJ, JK), pp. 633–634.
SACSAC-2011-LeeKY #kernel
Experimenting with system and Libc call interception attacks on ARM-based Linux kernel (HcL, CHK, JHY), pp. 631–632.
SACSAC-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.
ASPLOSASPLOS-2011-PalixTSCLM #fault #years after
Faults in linux: ten years later (NP, GT, SS, CC, JLL, GM), pp. 305–318.
DACDAC-2011-DellingerGR #kernel #multi #realtime
ChronOS Linux: a best-effort real-time multiprocessor Linux kernel (MD, PG, BR), pp. 474–479.
LCTESLCTES-2011-SahaLM #approach #kernel
An approach to improving the structure of error-handling code in the linux kernel (SS, JLL, GM), pp. 41–50.
ICSTICST-2011-RubanovS #kernel #runtime #verification
Runtime Verification of Linux Kernel Modules Based on Call Interception (VVR, EAS), pp. 180–189.
ISSTAISSTA-2011-Rubio-GonzalezL #fault #interactive #kernel #pointer
Defective error/pointer interactions in the Linux kernel (CRG, BL), pp. 111–121.
SPLCSPLC-2010-LotufoSBCW #evolution #kernel #variability
Evolution of the Linux Kernel Variability Model (RL, SS, TB, KC, AW), pp. 136–150.
AdaEuropeAdaEurope-2010-SaezC #ada #multi
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems (SS, AC), pp. 68–82.
OSDIOSDI-2010-Boyd-WickizerCMPKMZ #analysis #scalability
An Analysis of Linux Scalability to Many Cores (SBW, ATC, YM, AP, MFK, RM, NZ), pp. 1–16.
ICSMEICSM-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.
SACSAC-2009-FaggioliTC #algorithm #implementation
An implementation of the earliest deadline first algorithm in Linux (DF, MT, FC), pp. 1984–1989.
SACSAC-2009-LombardiP #kernel #named #security #virtual machine
KvmSec: a security extension for Linux kernel virtual machines (FL, RDP), pp. 2029–2034.
VMCAIVMCAI-2009-GallowayLMS #file system #model checking
Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.
ICFPICFP-2008-DolstraL #functional #named
NixOS: a purely functional Linux distribution (ED, AL), pp. 367–378.
SIGITESIGITE-2007-ToderickL #physics #using
Using VPN technology to remove physical barriers in linux lab experiments (LT, PJLI), pp. 113–118.
SIGITESIGITE-2007-YuanZ #protocol #student
Building a CISCO-feel linux router to enable students learn and configure dynamic routing protocols (DY, JZ), pp. 271–272.
MSRMSR-2007-LivieriHMI #analysis #evolution #kernel #using
Analysis of the Linux Kernel Evolution Using Code Clone Coverage (SL, YH, MM, KI), p. 22.
IFMIFM-2007-PostK #static analysis #verification
Integrated Static Analysis for Linux Device Driver Verification (HP, WK), pp. 518–537.
ICFPICFP-2007-BeshersFS #case study #experience #functional #programming #using
Experience report: using functional programming to manage a linux distribution (CB, DF, JS), pp. 213–218.
ASEASE-2007-WitkowskiBKW #concurrent #model checking
Model checking concurrent linux device drivers (TW, NB, DK, GW), pp. 501–504.
SACSAC-2007-KimmSS #algorithm #evaluation #mobile #scalability
Evaluation of interval-based dynamic voltage scaling algorithms on mobile Linux system (HK, SYS, COS), pp. 1141–1145.
SACSAC-2007-NakamuraM #design #trust
Designing a trust chain for a thin client on a live Linux cd (MN, SM), pp. 1605–1606.
PPoPPPPoPP-2007-MohrorK #case study #clustering
A study of tracing overhead on a high-performance linux cluster (KM, KLK), pp. 158–159.
ICSMEICSM-2006-Stallman #operating system
The Free Software Movement and the GNU/Linux Operating System (RMS), p. 426.
AdaEuropeAdaEurope-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.
SACSAC-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.
VLDBVLDB-2005-HallB #database
Getting Priorities Straight: Improving Linux Support for Database I/O (CH, PB), pp. 1116–1127.
LCTESLCTES-2005-ChanetSBPB #kernel
System-wide compaction and specialization of the linux kernel (DC, BDS, BDB, LVP, KDB), pp. 95–104.
SOSPSOSP-2005-WitchelRA #memory management #named #using
Mondrix: memory isolation for linux using mondriaan memory protection (EW, JR, KA), pp. 31–44.
ITiCSEITiCSE-2004-Davoli #education #operating system
Teaching operating systems administration with user mode linux (RD), pp. 112–116.
AdaEuropeAdaEurope-2004-BreuerG #concurrent #detection #kernel
Static Deadlock Detection in the Linux Kernel (PTB, MGV), pp. 52–64.
AdaEuropeAdaEurope-2004-MasmanoRRC #realtime
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux (MM, JR, IR, AC), pp. 144–155.
AdaEuropeAdaEurope-2003-MasmanoRRC #ada #realtime
Running Ada on Real-Time Linux (MM, JR, IR, AC), pp. 322–333.
AdaSIGAda-2003-AllaertCW #migration #scalability
European air traffic flow management: porting a large application to GNU/linux (GA, DC, PW), pp. 29–37.
SCAMSCAM-J-2001-AntoniolVMP02 #evolution #kernel
Analyzing cloning evolution in the Linux kernel (GA, UV, EM, MDP), pp. 755–765.
OSDIOSDI-2002-FlautnerM #automation #named
Vertigo: Automatic Performance-Setting for Linux (KF, TNM), pp. 105–116.
SCAMSCAM-2001-AntoniolVDCM #clone detection #identification #kernel
Identifying Clones in the Linux Kernel (GA, UV, MDP, GC, EM), pp. 92–99.
AdaEuropeAdaEurope-1999-ShenCB #ada #implementation #kernel #multi
A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel (HS, AC, TPB), pp. 287–297.
ICSEICSE-1999-BowmanHB #architecture #case study
Linux as a Case Study: Its Extracted Software Architecture (ITB, RCH, NVB), pp. 555–563.
SACSAC-1999-RowMAW #network #security
Security Issues in Small Linux Networks (WMR, DJM, BLA, AHW), pp. 506–510.
SACSAC-1998-HuizingaS
File hoarding under NFS and Linux (DMH, HS), pp. 409–415.

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.