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
operating system
Google operating system

Tag #operating system

245 papers:

SANERSANER-2018-Bosch #ecosystem #towards
Towards a new digital business operating system: Speed, data, ecosystems, and empowerment (keynote) (JB), p. 2.
ASEASE-2017-CoppikSWS #fault #kernel #named
TrEKer: tracing error propagation in operating system kernels (NC, OS, SW0, NS), pp. 377–387.
ICSE-2016-SpinellisLK #c #case study #evolution #programming
The evolution of C programming practices: a study of the Unix operating system 1973-2015 (DS, PL, MK), pp. 748–759.
ASPLOSASPLOS-2016-ShalevHPKW #named
CSR: Core Surprise Removal in Commodity Operating Systems (NS, EH, HP, IK, YW), pp. 773–787.
ITiCSEITiCSE-2015-KirkpatrickP #assurance #process #using
Using the Readiness Assurance Process and Metacognition in an Operating Systems Course (MSK, SP), pp. 183–188.
SACSAC-2015-ByunC #automation #constraints #safety #testing #using
Automated system-level safety testing using constraint patterns for automotive operating systems (TB, YC), pp. 1815–1822.
SACSAC-2015-InacioDBNM #file system #parallel #parametricity #performance
Performance impact of operating systems’ caching parameters on parallel file systems (ECI, MARD, FZB, POAN, DDJdM), pp. 2066–2068.
SACSAC-2015-ZiccardiSV
A time-composable operating system for the Patmos processor (MZ, MS, TV), pp. 1892–1897.
ASPLOSASPLOS-2015-DautenhahnKDCA #architecture #kernel
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation (ND, TK, WD, JC, VSA), pp. 191–206.
HPDCHPDC-2015-HaleD #kernel #parallel
A Case for Transforming Parallel Runtimes Into Operating System Kernels (KCH, PAD), pp. 27–32.
FMFM-2014-GunadiT #android #case study #logic #metric #monitoring #performance #runtime
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.
SACSAC-2014-MatiasPASH #case study #empirical #reliability
An empirical exploratory study on operating system reliability (RM, MP, LBdA, CS, LH), pp. 1523–1528.
ASPLOSASPLOS-2014-Calder #challenge
Inside windows azure: the challenges and opportunities of a cloud operating system (BC), pp. 1–2.
ASPLOSASPLOS-2014-CriswellDA
Virtual ghost: protecting applications from hostile operating systems (JC, ND, VSA), pp. 81–96.
ASPLOSASPLOS-2014-LinWZ #mobile #named
K2: a mobile operating system for heterogeneous coherence domains (FXL, ZW, LZ), pp. 285–300.
OSDIOSDI-2014-BelayPKGKB #latency #named #throughput
IX: A Protected Dataplane Operating System for High Throughput and Low Latency (AB, GP, AK, SG, CK, EB), pp. 49–65.
OSDIOSDI-2014-PeterLZPWKAR #named
Arrakis: The Operating System is the Control Plane (SP, JL, IZ, DRKP, DW, AK, TEA, TR), pp. 1–16.
OSDIOSDI-2014-SpahnBLBGK #abstraction #data transformation #fine-grained #named
Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems (RS, JB, ML, SB, RG, GEK), pp. 113–129.
OSDIOSDI-2014-ZellwegerGKR #kernel
Decoupling Cores, Kernels, and Operating Systems (GZ, SG, KK, TR), pp. 17–31.
SEFMSEFM-2013-Choi #constraints #generative #specification #testing
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.
GRAPHITEGRAPHITE-2013-Majster-CederbaumS #architecture #constraints #reachability
Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete (MEMC, NS), pp. 1–11.
AdaEuropeAdaEurope-2013-BaldovinMV #towards
Towards a Time-Composable Operating System (AB, EM, TV), pp. 143–160.
ASEASE-2013-CotroneoLFN #named #robust #testing
SABRINE: State-based robustness testing of operating systems (DC, DDL, FF, RN), pp. 125–135.
SACSAC-2013-ImJLL #configuration management #manycore
A dynamically reconfigurable operating system for manycore systems (CI, MJ, JL, SL), pp. 1622–1627.
SACSAC-2013-MatiasOA #case study #experience #quality #reliability
Operating system reliability from the quality of experience viewpoint: an exploratory study (RMJ, GDO, LBdA), pp. 1644–1649.
ASPLOSASPLOS-2013-GiuffridaKT #automation
Safe and automatic live update for operating systems (CG, AK, AST), pp. 279–292.
ASPLOSASPLOS-2013-HofmannKDLW #named
InkTag: secure applications on an untrusted operating system (OSH, SK, AMD, MZL, EW), pp. 265–278.
ASPLOSASPLOS-2013-MadhavapeddyMRSSGSHC #kernel #library #named
Unikernels: library operating systems for the cloud (AM, RM, CR, DJS, BS, TG, SS, SH, JC), pp. 461–472.
DACDAC-2013-BartoliniCDMSS #research
The autonomic operating system research project: achievements and future directions (DBB, RC, GD, MM, MDS, FS), p. 10.
DACDAC-2013-RellermeyerLK #embedded #platform
Cloud platforms and embedded computing: the operating systems of the future (JSR, SWL, MK), p. 6.
PDPPDP-2013-HolmbackaALL #energy #manycore #performance
QoS Manager for Energy Efficient Many-Core Operating Systems (SH, DA, SL, JL), pp. 318–322.
PDPPDP-2013-HolmbackaLLL #distributed #manycore #migration #performance
Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems (SH, WL, SL, JL), pp. 310–317.
PLOSPLOS-2013-Kell #question
The operating system: should there be one? (SK), p. 7.
SOSPSOSP-2013-NikolaevB #kernel #named
VirtuOS: an operating system with kernel virtualization (RN, GB), pp. 116–132.
ITiCSEITiCSE-2012-GoldweberDJ #hardware #using
Supporting operating systems projects using the μMPS2 hardware simulator (MG, RD, TJ), pp. 63–68.
ICEISICEIS-v2-2012-LelionnaisBDRS #behaviour #modelling #realtime
Formal Behavioral Modeling of Real-time Operating Systems (CL, MB, JD, OHR, CS), pp. 407–414.
SEKESEKE-2012-VicenteDMM #comprehension #execution #kernel
Improving Program Comprehension in Operating System Kernels with Execution Trace Information (EV, GD, RM, MdAM), pp. 174–179.
ASEASE-2012-IbrahimGHA #ambiguity #analysis #kernel #points-to #using
Supporting operating system kernel data disambiguation using points-to analysis (ASI, JG, JHHH, MA), pp. 234–237.
SACSAC-2012-ImJLLL #manycore #realtime
A real-time operating system for manycore systems (CI, MJ, JDL, SL, SL), pp. 1845–1846.
SACSAC-2012-JeremicMBR
Operating system support for dynamic over-provisioning of solid state drives (NJ, GM, AB, JR), pp. 1753–1758.
ASPLOSASPLOS-2012-PanneerselvamS #named
Chameleon: operating system support for dynamic processors (SP, MMS), pp. 99–110.
DACDAC-2012-SironiBCCHSS #adaptation #named #performance #self
Metronome: operating system level performance management via self-adaptive computing (FS, DBB, SC, FC, HH, DS, MDS), pp. 856–865.
DACDAC-2012-YouseffBKGWA
The case for elastic operating system services in fos (LY, NB, HK, CGI, DW, AA), pp. 265–270.
ITiCSEITiCSE-2011-Esser #memory management
Combining memory management and filesystems in an operating systems course (HGE), p. 386.
SIGITESIGITE-2011-Mustafa #learning #simulation #visualisation
Visualizing the modern operating system: simulation experiments supporting enhanced learning (BM), pp. 209–214.
SACSAC-2011-ChiangH #embedded
Supporting dynamic update and resource protection in an embedded operating system (MLC, HYH), pp. 616–620.
ASPLOSASPLOS-2011-HofmannDKRW #kernel
Ensuring operating system kernel integrity with OSck (OSH, AMD, SK, IR, EW), pp. 279–290.
HPCAHPCA-2011-JiangS #architecture #framework
Architectural framework for supporting operating system survivability (XJ, YS), pp. 456–465.
LCTESLCTES-2011-BerthierMM #embedded #programming
Synchronous programming of device drivers for global resource control in embedded operating systems (NB, FM, LM), pp. 81–90.
PDPPDP-2011-QuesnelL #distributed #framework
Operating Systems and Virtualization Frameworks: From Local to Distributed Similarities (FQ, AL), pp. 495–502.
SOSPSOSP-2011-RossbachCSRW #abstraction #named
PTask: operating system abstractions to manage GPUs as compute devices (CJR, JC, MS, BR, EW), pp. 233–248.
PLDIPLDI-2010-YangH #automation #type safety #verification
Safe to the last instruction: automated verification of a type-safe operating system (JY, CH), pp. 99–110.
ASEASE-2010-BergerSLWC #modelling #variability
Variability modeling in the real: a perspective from the operating systems domain (TB, SS, RL, AW, KC), pp. 73–82.
SACSAC-2010-ChenSC #aspect-oriented #evolution #framework
An aspect-oriented framework for operating system evolution (JC, HMS, CFC), pp. 226–230.
SACSAC-2010-OliverSF #abstraction #network
An operating system abstraction layer for portable applications in wireless sensor networks (RSO, IS, GF), pp. 742–748.
DATEDATE-2010-PenolazziSH #energy #performance #predict #realtime
Predicting energy and performance overhead of Real-Time Operating Systems (SP, IS, AH), pp. 15–20.
HPCAHPCA-2010-LiBKKRH #architecture #manycore
Operating system support for overlapping-ISA heterogeneous multi-core architectures (TL, PB, RCK, DAK, DR, SH), pp. 1–12.
OSDIOSDI-2010-TangMK #trust
Trust and Protection in the Illinois Browser Operating System (ST, HM, STK), pp. 17–32.
CBSECBSE-2009-LoiretNBL #component #embedded #realtime
Component-Based Real-Time Operating System for Embedded Applications (FL, JFN, JPB, OL), pp. 209–226.
ITiCSEITiCSE-2009-Hwang #education #video
Video courseware for teaching operating systems with Windows (SwH), p. 340.
ITiCSEITiCSE-2009-Hwang09a #education #learning
Blended learning for teaching operating systems with Windows (SwH), p. 380.
SIGITESIGITE-2009-Stanley #architecture #education #hardware #logic #network #simulation #using
Using digital logic simulation as a teaching aid in discrete mathematics, hardware and operating systems, networking, computer organization and computer architecture: a workshop outline (TDS), pp. 1–2.
SEFMSEFM-2009-DaumSS #correctness #implementation #realtime
Implementation Correctness of a Real-Time Operating System (MD, NS, MS), pp. 23–32.
ICSEICSE-2009-PadioleauTZ #taxonomy
Listening to programmers — Taxonomies and characteristics of comments in operating system code (YP, LT, YZ), pp. 331–341.
SACSAC-2009-CamaraBG #towards
Towards organizational agent-oriented operating systems (JPC, VJB, AGF), pp. 752–756.
SACSAC-2009-ParkH #embedded #fine-grained #programming #using
Building a customizable embedded operating system with fine-grained joinpoints using the AOX programming environment (JP, SH), pp. 1952–1956.
SACSAC-2009-YokoyamaHSK #internet #policy #security
Simplifying security policy descriptions for internet servers in secure operating systems (TY, MH, MS, KK), pp. 326–333.
ASPLOSASPLOS-2009-LenharthAK
Recovery domains: an organizing principle for recoverable operating systems (AL, VSA, STK), pp. 49–60.
DATEDATE-2009-SuCGSP #memory management #named
SecBus: Operating System controlled hierarchical page-based memory bus protection (LS, SC, PG, CS, RP), pp. 570–573.
SOSPSOSP-2009-PorterHRBW #transaction
Operating systems transactions (DEP, OSH, CJR, AB, EW), pp. 161–176.
ITiCSEITiCSE-2008-PerezMF #learning
Cooperative learning in operating systems laboratory (JEP, JGM, IMF), p. 323.
SACSAC-2008-YiMCJK #named #realtime
PreeMe: preemptive real-time task management for event-driven sensor operating systems (SY, HM, YC, IJ, YK), pp. 1726–1727.
ASPLOSASPLOS-2008-ChenGLSWBDP #approach #named
Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems (XC, TG, ECL, PS, CAW, DB, JSD, DRKP), pp. 2–13.
ASPLOSASPLOS-2008-WeinsbergDABW #programmable
Tapping into the fountain of CPUs: on operating system support for programmable devices (YW, DD, TA, MBY, PW), pp. 179–188.
DATEDATE-2008-ChenDC #encryption
Operating System Controlled Processor-Memory Bus Encryption (XC, RPD, ANC), pp. 1154–1159.
OSDIOSDI-2008-Boyd-WickizerCCMKMPSWDZZ #named
Corey: An Operating System for Many Cores (SBW, HC, RC, YM, MFK, RM, AP, LS, MW, YhD, YZ, ZZ), pp. 43–57.
OSDIOSDI-2008-DavidCCC #named #reliability
CuriOS: Improving Reliability through Operating System Structure (FMD, EC, JCC, RHC), pp. 59–72.
OSDIOSDI-2008-YangLBKM #named
Redline: First Class Support for Interactivity in Commodity Operating Systems (TY, TL, EDB, SFK, JEBM), pp. 73–86.
ITiCSEITiCSE-2007-Hwang #case study #education #experience
Teaching operating systems with Windows: experiences and contributions (SwH), p. 316.
ITiCSEITiCSE-2007-Sheehan #education #ruby
Teaching operating systems with ruby (RJS), pp. 38–42.
ICEISICEIS-AIDSS-2007-BenschBRBSB #optimisation #predict #self
Self-Learning Prediction System for Optimisation of Workload Management in a Mainframe Operating System (MB, DB, WR, MB, WGS, PB), pp. 212–218.
SACSAC-2007-HuangHYCK #named #network
LA-TinyOS: a locality-aware operating system for wireless sensor networks (TYH, KYH, HYY, ETHC, CTK), pp. 1151–1158.
SACSAC-2007-MinYCH #memory management #performance
An efficient dynamic memory allocator for sensor operating systems (HM, SY, YC, JH), pp. 1159–1164.
SACSAC-2007-YiMLKJ #concurrent #multi #named #stack #thread
SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems (SY, HM, SL, YK, IJ), pp. 1201–1202.
CASECASE-2007-PuSZD #precise #realtime
An Application of Real-time Operating System in High Speed and High Precision Motion Control Systems (DP, XS, WZ, HD), pp. 997–1001.
CGOCGO-2007-HeTPDA #kernel
Code Compaction of an Operating System Kernel (HH, JT, SP, SKD, GRA), pp. 283–298.
SOSPSOSP-2007-CriswellLDA #architecture #execution
Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.
SOSPSOSP-2007-RossbachHPRAW #hardware #memory management #named #transaction #using
TxLinux: using and managing hardware transactional memory in an operating system (CJR, OSH, DEP, HER, BA, EW), pp. 87–102.
SOSPSOSP-2007-SuAF #analysis #configuration management #named
AutoBash: improving configuration management with operating system causality analysis (YYS, MA, JF), pp. 237–250.
ITiCSEITiCSE-2006-GasparGS
SOFTICE undergraduate operating systems laboratories (AG, CG, JS), p. 354.
ICSMEICSM-2006-Stallman #linux
The Free Software Movement and the GNU/Linux Operating System (RMS), p. 426.
CHICHI-2006-BardramBS
Support for activity-based computing in a personal computing operating system (JEB, JBP, MS), pp. 211–220.
SACSAC-2006-CorreaZS #multi
Operating system multilevel load balancing (MC, AFZ, RS), pp. 1467–1471.
ASPLOSASPLOS-2006-Rosenblum #architecture
Impact of virtualization on computer architecture and operating systems (MR), p. 1.
DACDAC-2006-YangLD #memory management
High-performance operating system controlled memory compression (LY, HL, RPD), pp. 701–704.
DATEDATE-2006-IgnatNSN #classification #impact analysis #realtime
Soft-error classification and impact analysis on real-time operating systems (NI, BN, YS, GN), pp. 182–187.
DATEDATE-2006-PettisRL #automation #policy #runtime
Automatic run-time selection of power policies for operating systems (NP, JR, YHL), pp. 508–513.
OSDIOSDI-2006-JoukovTIWZ #analysis #latency #profiling
Operating System Profiling via Latency Analysis (NJ, AT, RI, CPW, EZ), pp. 89–102.
OSDIOSDI-2006-Ta-MinLL #configuration management #interface #trust
Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable (RTM, LL, DL), pp. 279–292.
ITiCSEITiCSE-2005-MaiaMP #education #framework #using
A constructivist framework for operating systems education: a pedagogic proposal using the SOsim (LPM, FBM, ACPJ), pp. 218–222.
SIGITESIGITE-2005-PardoK #interactive
Deploying interactive e-labs for a course on operating systems (AP, CDK), pp. 71–78.
ICFPICFP-2005-HallgrenJLT #approach #haskell
A principled approach to operating system construction in Haskell (TH, MPJ, RL, APT), pp. 116–128.
SOSPSOSP-2005-EfstathopoulosKVFZKMKM #process
Labels and event processes in the Asbestos operating system (PE, MNK, SV, CF, DZ, EK, DM, MFK, RM), pp. 17–30.
ITiCSEITiCSE-2004-Davoli #education #linux
Teaching operating systems administration with user mode linux (RD), pp. 112–116.
SIGITESIGITE-2004-HelpsR #case study #design #flexibility
Design of a flexible case-study instructional module for operating systems for information technology (CRGH, SAR), pp. 56–59.
ASPLOSASPLOS-2004-GomaaPV #named #smt
Heat-and-run: leveraging SMT and CMP to manage power density through the operating system (MAG, MDP, TNV), pp. 260–270.
DATEDATE-v1-2004-VuleticRPI #configuration management #interface
Operating System Support for Interface Virtualisation of Reconfigurable Coprocessors (MV, LR, LP, PI), p. 748.
OSDIOSDI-2004-LiLMZ #debugging #named
CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code (ZL, SL, SM, YZ), pp. 289–302.
ICEISICEIS-v3-2003-SerraoNT #analysis #open source #security
Open Source Security Analysis — Evaluating Security of Open Source vs. Closed Source Operating Systems (CS, DN, PT), pp. 433–440.
DATEDATE-2003-Mooney #clustering #hardware
Hardware/Software Partitioning of Operating Systems (VJM), pp. 10338–10339.
SOSPSOSP-2003-LieTH #hardware #implementation
Implementing an untrusted operating system on trusted hardware (DL, CAT, MH), pp. 178–192.
SOSPSOSP-2003-SwiftBL #reliability
Improving the reliability of commodity operating systems (MMS, BNB, HML), pp. 207–222.
IFLIFL-2002-WeeldenP #functional #towards
Towards a Strongly Typed Functional Operating System (AvW, MJP), pp. 215–231.
AdaEuropeAda-2002-BarrM #ada #embedded #named #open source #safety
Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT) (VB, SM), pp. 53–66.
SACSAC-2002-BrommeKEK #algorithm #authentication #concept #framework #testing
A conceptual framework for testing biometric algorithms within operating systems’ authentication (AB, MK, OE, OK), pp. 273–280.
ASPLOSASPLOS-2002-LiJSVR #comprehension #control flow #predict
Understanding and improving operating system effects in control flow prediction (TL, LKJ, AS, NV, JR), pp. 68–80.
ASPLOSASPLOS-2002-ZengELV #ecosystem #energy #named
ECOSystem: managing energy as a first class operating system resource (HZ, CSE, ARL, AV), pp. 123–132.
DATEDATE-2002-YooNGJ #automation #design #generative #modelling #performance #simulation
Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design (SY, GN, LG, AAJ), pp. 620–627.
LCTESLCTES-SCOPES-2002-Barthelmann
Inter-task register-allocation for static operating systems (VB), pp. 149–154.
OSDIOSDI-2002-NavarroIDC
Practical, Transparent Operating System Support for Superpages (JN, SI, PD, ALC), pp. 89–104.
VLDBVLDB-2001-CatozziR #parallel
Operating System Extensions for the Teradata Parallel VLDB (JC, SR), pp. 679–682.
ITiCSEITiCSE-2001-ClaypoolFW #open source
An open source laboratory for operating systems projects (MC, DF, CEW), pp. 145–148.
FSEESEC-FSE-2001-CoadyKFS #composition #using
Using aspectC to improve the modularity of path-specific customization in operating system code (YC, GK, MJF, GS), pp. 88–98.
DATEDATE-2001-GauthierYJ #automation #embedded #generative
Automatic generation and targeting of application specific operating systems and embedded systems software (LG, SY, AAJ), pp. 679–685.
DATEDATE-2001-MoyaML #design
A hardware-software operating system for heterogeneous designs (JMM, FM, JCL), p. 820.
SOSPSOSP-2001-ChouYCHE #empirical #fault
An Empirical Study of Operating System Errors (AC, JY, BC, SH, DRE), pp. 73–88.
SOSPSOSP-2001-PillaiS #embedded #power management #realtime #scalability
Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems (PP, KGS), pp. 89–102.
ITiCSEITiCSE-2000-Holliday #kernel
A kernel-based synchronization assignment for the operating systems course (MAH), p. 184.
PEPMPEPM-2000-Walpole #case study #challenge #experience
Operating Systems Specialization: Experiences, Opportunities and Challenges (JW), p. 83.
ASPLOSASPLOS-2000-RedstoneEL #analysis #architecture #behaviour #parallel #thread
An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture (JR, SJE, HML), pp. 245–256.
DACDAC-2000-DesmetVM #generative
Operating system based software generation for systems-on-chip (DD, DV, HDM), pp. 396–401.
DACDAC-2000-DickLRJ #analysis #embedded
Power analysis of embedded operating systems (RPD, GL, AR, NKJ), pp. 312–315.
HPDCHPDC-2000-KonCMNB #distributed #named
2K: A Distributed Operating System for Dynamic Heterogeneous Environments (FK, RHC, MDM, KN, FJB), pp. 201–210.
OSDIOSDI-2000-GriffinSGN
Operating System Management of MEMS-based Storage Devices (JLG, SWS, GRG, DN), pp. 227–242.
PDPPDP-2000-GoscinskiHS #message passing #overview #parallel #performance
Performance and transparency of message passing and DSM services within the GENESIS operating system for managing parallelism on COWs (AG, MH, JS), pp. 110–117.
ICFPICFP-1999-FlattFKF #lisp #programming language
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) (MF, RBF, SK, MF), pp. 138–147.
HCIHCI-CCAD-1999-MesserS #concept #distributed
Concepts for distributed groupware operating systems (BM, KS), pp. 308–312.
DATEDATE-1999-ONilsJ #implementation #independence #protocol #specification #synthesis
Operating System Sensitive Device Driver Synthesis from Implementation Independent Protocol Specification (MO, AJ), pp. 562–567.
DATEDATE-1999-WeissSR #embedded #performance #realtime #using
Emulation of a Fast Reactive Embedded System using a Real Time Operating System (KW, TS, WR), pp. 764–765.
OSDIOSDI-1999-GamsaKAS #concurrent #locality #memory management #multi #named
Tornado: Maximizing Locality and Concurrency in a Shared Memory Multiprocessor Operating System (BG, OK, JA, MS), pp. 87–100.
OSDIOSDI-1999-Hand #self
Self-Paging in the Nemesis Operating System (SMH), pp. 73–86.
OSDIOSDI-1999-TamchesM #fine-grained #kernel
Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels (AT, BPM), pp. 117–130.
HPDCHPDC-1998-VahdatADBCEY #named
WebOS: Operating System Services for Wide Area Applications (AV, TEA, MD, EB, DEC, PE, CY), pp. 52–63.
LCTESLCTES-1998-SeoPH #performance #realtime
Efficient User-Level I/O in the ARX Real-Time Operating System (YS, JP, SH), pp. 166–175.
ICFPICFP-1997-Shivers #automation
Automatic Management of Operating System Resources (OS), pp. 274–279.
HPCAHPCA-1997-MarkatosK #kernel
User-Level DMA without Operating System Kernel Modification (EPM, MK), pp. 322–331.
PDPPDP-1997-MayesB #named #parallel #runtime
Arena — A run-time operating system for parallel applications (KM, JB), pp. 253–258.
SOSPSOSP-1997-BugnionDR #multi #named #scalability
DISCO: Running Commodity Operating Systems on Scalable Multiprocessors (EB, SD, MR), pp. 143–156.
HTHT-1996-NurnbergLSS #hypermedia #paradigm
Hypermedia Operating Systems: A New Paradigm for Computing (PJN, JJL, ERS, JLS), pp. 194–202.
ITiCSEITiCSE-1996-Hartley #education #hypermedia #network #using
A hypermedia lab manual for operating systems: using the network to teach (SJH), pp. 8–10.
ITiCSEITiCSE-1996-Jones96a #education #java
RCOS.java: an animated operating system for computer science education (DJ), p. 233.
ITiCSEITiCSE-1996-LeesC #learning #natural language
Applying natural language technology to the learning of operating systems functions (BL, JC), pp. 11–13.
ICSEICSE-1996-Anderson #development
An Operating System Development: Windows 3 (CA), p. 101.
ICSEICSE-1996-WatanabeS #adaptation #generative #standard #testing
A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards (AW, KS), pp. 81–89.
ASPLOSASPLOS-1996-ChenNCARL
The Rio File Cache: Surviving Operating System Crashes (PMC, WTN, SC, CMA, GR, DEL), pp. 74–83.
ASPLOSASPLOS-1996-VergheseDGR #locality
Operating System Support for Improving Data Locality on CC-NUMA Compute Servers (BV, SD, AG, MR), pp. 279–289.
HPCAHPCA-1996-XiaT #multi #performance
Improving the Data Cache Performance of Multiprocessor Operating Systems (CX, JT), pp. 85–94.
OOPSLAOOPSLA-1995-ItohYT #concurrent #low level #named #programming #using
SCONE: Using Concurrent Objects for Low-level Operating System Programming (JiI, YY, MT), pp. 385–398.
HPCAHPCA-1995-TorrellasXD #optimisation #performance
Optimizing Instruction Cache Performance for Operating System Intensive Workloads (JT, CX, RLD), pp. 360–369.
SOSPSOSP-1995-BershadSPSFBCE #performance #safety
Extensibility, Safety and Performance in the SPIN Operating System (BNB, SS, PP, EGS, MEF, DB, CC, SJE), pp. 267–284.
SOSPSOSP-1995-ChenECMDSS #performance
The Measured Performance of Personal Computer Operating Systems (JBC, YE, KC, DM, AD, MIS, MDS), pp. 299–313.
SOSPSOSP-1995-EnglerKO #architecture #kernel #named #resource management
Exokernel: An Operating System Architecture for Application-Level Resource Management (DRE, MFK, JO), pp. 251–266.
SOSPSOSP-1995-PuABCCIKWZ #incremental
Optimistic Incremental Specialization: Streamlining a Commercial Operating System (CP, TA, APB, CC, CC, JI, LK, JW, KZ), pp. 314–324.
SOSPSOSP-1995-RosenblumBHWG #architecture #performance #roadmap
The Impact of Architectural Trends on Operating System Performance (MR, EB, SAH, EW, AG), pp. 285–298.
AdaEuropeAdaEurope-1994-SevestreB #ada #generative #multi #thread
Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model (JS, JB), pp. 24–32.
ASPLOSASPLOS-1994-ArgadeCT #monitoring #runtime
A Technique for Monitoring Run-Time Dynamics of an Operating System and a Microprocessor Executing User Applications (PVA, DKC, CT), pp. 122–131.
ASPLOSASPLOS-1994-TalluriH #performance
Surpassing the TLB Performance of Superpages with Less Operating System Support (MT, MDH), pp. 171–182.
ASPLOSASPLOS-1994-ThekkathLL #distributed
Separating Data and Control Transfer in Distributed Operating Systems (CAT, HML, EDL), pp. 2–11.
PDPPDP-1994-BastiaensLDV #algorithm #concurrent #image #implementation #parallel #performance #re-engineering #thread
An Efficient Parallel Implementation Of The Ml-EM Algorithm For PET Image Reconstruction With A Multi-threaded Operating System (KB, IL, PD, WV), pp. 253–259.
PDPPDP-1994-Scarabottolo #distributed
Session 9: Distributed Operating Systems (NS), p. 300.
TOOLSTOOLS-USA-1993-DeublerK #object-oriented
Object Oriented Restructuring of the General Purpose Operating System BS2000 (HHD, MK), pp. 21–30.
PEPMPEPM-1993-ConselPW #composition #incremental #partial evaluation #performance
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems (CC, CP, JW), pp. 44–46.
AdaTRI-Ada-1993-KrantzBGSV #multi
The Aladdex Operating Systems for the Aladdin Multiprocessor (DK, RB, SG, BS, MV), pp. 354–366.
SOSPSOSP-1993-ChenB #memory management #performance
The Impact of Operating System Structure on Memory System Performance (JBC, BNB), pp. 120–133.
SOSPSOSP-1993-WobberABL #authentication
Authentication in the Taos Operating System (EW, MA, MB, BWL), pp. 256–269.
OOPSLAOOPSLA-1992-ChaseLLB #lightweight
Lightweight Shared Objects in a 64-Bit Operating System (JSC, HML, EDL, MBH), pp. 397–413.
OOPSLAOOPSLA-1992-Yokote #concept #implementation
The Apertos Reflective Operating System: The Concept and its Implementation (YY), pp. 414–434.
SOSPSOSP-WIP-1991-Jeffay92 #network #video
Network and Operating System Support for Digital Audio and Video (KJ), p. 16.
SOSPSOSP-WIP-1991-LaRowe92 #architecture #research
Operating Systems Research Related to the Galactica Net Architecture (RPLJ), p. 13.
ASPLOSASPLOS-1992-KoldingerCE #architecture
Architectural Support for Single Address Space Operating Systems (EJK, JSC, SJE), pp. 175–186.
ASPLOSASPLOS-1992-TorrellasGH #multi #performance
Characterizing the Caching and Synchronization Performance of a Multiprocessor Operating System (JT, AG, JLH), pp. 162–174.
HPDCHPDC-1992-ShinjoK #distributed #parallel
Harmonizing a Distributed Operating System with Parallel and Distributed Applications (YS, YK), pp. 114–123.
ASPLOSASPLOS-1991-AndersonLBL #architecture #design #interactive
The Interaction of Architecture and Operating System Design (TEA, HML, BNB, EDL), pp. 108–120.
PPoPPPPoPP-1991-LaRoweWE #memory management #multi
Exploiting Operating System Support for Dynamic Page Placement on a NUMA Shared Memory Multiprocessor (RPLJ, JTW, CSE), pp. 122–132.
SOSPSOSP-1991-DravesBRD #communication #concurrent #continuation #thread #using
Using Continuations to Implement Thread Management and Communication in Operating Systems (RD, BNB, RFR, RWD), pp. 122–136.
TAPSOFTADC-1991-Weber #interactive
Interactive Internetworking for Interoperating Systems (Abstract) (HW), pp. 58–59.
ECOOPECOOP-1989-YokoteTT #architecture #distributed #object-oriented
A Reflective Architecture for an Object-Oriented Distributed Operating System (YY, FT, MT), pp. 89–106.
OOPSLAOOPSLA-1989-MarquesG #object-oriented
Extending the Operating System to Support an Object-Oriented Environment (JAM, PG), pp. 113–122.
OOPSLAOOPSLA-1989-RussoC #design #memory management #multi #object-oriented #using
Virtual Memory and Backing Storage Management in Multiprocessor Operating Systems Using Object-Oriented Design Techniques (VFR, RHC), pp. 267–278.
SOSPSOSP-1989-AbrossimovR #kernel #memory management
Generic Virtual Memory Management for Operating System Kernels (VA, MR, MS), pp. 123–136.
FMVDME-1988-Goldsack #kernel #specification
Specification of an Operating System Kernel FOREST and VDM compared (SJG), pp. 88–100.
ECOOPECOOP-1988-DoiKH #concurrent #implementation #kernel #object-oriented #using
An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+ (ND, YK, KH), pp. 250–266.
OOPSLAOOPSLA-1988-RussoJC #exception #multi #process
Process Management and Exception Handling in Multiprocessor Operating Systems (VFR, GJ, RHC), pp. 248–258.
SIGMODSIGMOD-1987-Gray #data transformation
Operating System Support for Data Management Systems (JG), p. 4.
VLDBVLDB-1987-KumarS #evaluation #performance #transaction
Performance Evaluation of an Operating System Transaction Manager (AK, MS), pp. 473–481.
ESECESEC-1987-Szwillus #data flow #editing #interactive #specification #user interface #using
Using Data Flow Specifications and Interactive Editing in the Operating System User Interface (GS), pp. 149–157.
SOSPSOSP-1987-JeffersonBWBLHLSTWWYB #distributed #simulation
Distributed Simulation and the Time Wrap Operating System (DRJ, BB, FW, LB, MDL, PH, PL, KS, JT, LVW, JJW, HY, SB), pp. 77–93.
SOSPSOSP-1987-YoungTRGECBBB #communication #implementation #memory management #multi
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System (MY, AT, RFR, DBG, JLE, JC, WJB, DLB, RVB), pp. 63–76.
ICLPICLP-1987-Foster87 #design #logic
Logic Operating System: Design Issues (ITF), pp. 910–926.
OOPSLAOOPSLA-1986-Dasgupta #distributed #monitoring #object-oriented
A Probe-Based Monitoring Scheme for an Object-Oriented Distributed Operating System (PD), pp. 57–66.
OOPSLAOOPSLA-1986-Ewing #interface #object-oriented
An Object-Oriented Operating System Interface (JJE), pp. 46–56.
SIGMODSIGMOD-1985-PageWP #database #distributed #named #overview
Genesis: A Distributed Database Operating System (TWPJ, MJW, GJP), pp. 374–387.
SOSPSOSP-1985-WeinsteinPLP #distributed #transaction
Transactions and Synchronization in a Distributed Operating System (MJW, TWPJ, BL, GJP), pp. 115–126.
SIGMODSIGMOD-1984-DielKLSS #data transformation #kernel
Data Management Facilities of an Operating System Kernel (HD, GK, NGL, MS, BS), pp. 58–69.
VLDBVLDB-1984-HarderP #multi
Evaluating Multiple Server DBMS in General Purpors Operating System Environments (TH, PP), pp. 129–140.
SOSPSOSP-1983-Silverman #kernel #security #verification
Reflections on the Verification of the Security of an Operating System Kernel (JMS), pp. 143–154.
SOSPSOSP-1983-WalkerPEKT #distributed
The LOCUS Distributed Operating System (BJW, GJP, RE, CSK, GT), pp. 49–70.
POPLPOPL-1982-Voda #named #programming language
Maple: a Programming Language, Operating System (PJV), pp. 157–168.
ASPLOSASPLOS-1982-BerenbaumCL
The Operating System and Language Support Features of the BELLMAC-32 Microprocessor (ADB, MWC, PML), pp. 30–38.
ASPLOSASPLOS-1982-KamibayashiONA #named
Heart: An Operating System Nucleus Machine Implemented by Firmware (NK, HO, KN, HA), pp. 195–204.
SOSPSOSP-1981-KahnCDDHHMP #multi #named
iMAX: A Multiprocessor Operating System for an Object-Based Computer (KCK, WMC, TDD, HD, DEH, LAH, JTM, FJP), pp. 127–136.
SOSPSOSP-1981-Lauer #development
Observations on the Development of an Operating System (HCL), pp. 30–36.
SOSPSOSP-1981-RashidR #communication #kernel #named #network
Accent: A Communication Oriented Network Operating System Kernel (RFR, GGR), pp. 64–75.
SOSPSOSP-J-1979-OusterhoutSS80 #distributed #empirical #named
Medusa: An Experiment in Distributed Operating System Structure (JKO, DAS, PSS), pp. 92–105.
SOSPSOSP-J-1979-RedellDHLLMMP80 #named
Pilot: An Operating System for a Personal Computer (DDR, YKD, TRH, HCL, WCL, PRM, HGM, SCP), pp. 81–92.
SOSPSOSP-1979-Cook
In Support of Domain Structure for Operating Systems (DC), pp. 128–130.
SOSPSOSP-1979-JonesCDSV #multi
StarOS, a Multiprocessor Operating System for the Support of Task Forces (AKJ, RJCJ, ID, KS, SRV), pp. 117–127.
SOSPSOSP-1979-LampsonS
An Open Operating System for a Single-User Machine (BWL, RFS), pp. 98–105.
SOSPSOSP-1979-OusterhoutSS #distributed #empirical #named
Medusa: An Experiment in Distributed Operating System Structure (JKO, DAS, PSS), pp. 115–116.
SOSPSOSP-1979-RedellDHLLMMP #named
Pilot: An Operating System for a Personal Computer (DDR, YKD, TRH, HCL, WCL, PRM, HGM, SCP), pp. 106–107.
SOSPSOSP-1979-SolomonF #distributed
The ROSCOE Distributed Operating System (MHS, RAF), pp. 108–114.
FMVDM-1978-Bjorner78a #abstraction #pl-i #specification #tutorial
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (DB), pp. 337–374.
ICSEICSE-1978-GoullonIL
Dynamic Restructuring in an Experimental Operating System (HG, RI, KPL), pp. 295–304.
SOSPSOSP-1977-CheritonMMS #realtime
Thoth, a Portable Real-Time Operating System (DRC, MAM, LSM, GRS), p. 171.
ICSEICSE-1976-ParnasHW #design #product line #set #specification #system family
Design and Specification of the Minimal Subset of an Operating System Family (DLP, GH, HW), p. 123.
SOSPSOSP-J-1975-HabermannFC76 #composition #product line
Modularization and Hierarchy in a Family of Operating Systems (ANH, LF, LWC), pp. 266–272.
SOSPSOSP-J-1975-LampsonS76 #design
Reflections on an Operating System Design (BWL, HES), pp. 251–265.
SOSPSOSP-1975-BayerL #multi #named #realtime
MERT — A Multi-Environment Real-Time Operating System (DLB, HL), pp. 33–42.
SOSPSOSP-1975-CohenJ
Protection in the HYDRA Operating System (ESC, DJ), pp. 141–160.
SOSPSOSP-1975-CosellJMSSTW #resource management
An Operating System for Computer Resource Sharing (BSC, PRJ, JHM, RES, JS, RHT, DCW), pp. 75–81.
SOSPSOSP-1975-HarrisonRU #on the
On Protection in Operating System (MAH, WLR, JDU), pp. 14–24.
SOSPSOSP-1975-PruittC #architecture #realtime
Architecture of a Real-Time Operating System (JLP, WWC), pp. 51–59.
SOSPSOSP-1975-WulfLP #development #overview
Overview of the HYDRA Operating System Development (WAW, RL, CP), pp. 122–131.
SOSPSOSP-1973-DayH #interactive #named
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control (PD, JH), pp. 28–37.
SOSPSOSP-J-1973-Gaines72 #concept
An Operating System Based on the Concept of a Supervisory Computer (RSG), pp. 150–156.
SOSPSOSP-J-1973-Liskov72 #design
The Design of the Venus Operating System (BL), pp. 144–149.
SOSPSOSP-1971-Alsberg
Extensible Data Features in the Operating System Language OSL/2 (PA), pp. 31–34.
SOSPSOSP-1971-Gaines #concept
An Operating System Based on the Concept of a Supervisory Computer (RSG), pp. 17–23.
SOSPSOSP-1971-Liskov #design
The Design of the Venus Operating System (BL), pp. 11–16.
SOSPSOSP-1971-Needham #fault
Handling Difficult Faults in Operating Systems (RMN), pp. 55–57.
SOSPSOSP-1971-Varney #process
Process Selection in an Hierarchical Operating System (RCV), pp. 106–108.
SOSPSOSP-1971-WinogradMH #memory management #simulation
Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating System (JW, SJM, RH), pp. 149–155.
SOSPSOSP-1969-AlsbergM
The structure of the ILLIAC IV operating system (PA, CRM), pp. 92–96.
SOSPSOSP-1969-NeedhamH #design #theory and practice
Theory and practice in operating system design (RMN, DFH), pp. 8–12.
SOSPSOSP-1967-OppenheimerW68 #resource management
Resource management for a medium scale time-sharing operating system (GO, NW), pp. 313–322.

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.