2009 Proceeding- Program Chair:
- Gilles Muller
- Sponsor:
- sigops
This volume contains the proceedings of the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009). The PLOS workshop series brings together people from the programming language and operating system communities to discuss emerging work at the intersection of these fields. It is a venue for discussing new visions, experiences, problems, and solutions arising from the application of advanced programming and software engineering concepts to operating systems construction, and vice versa.
The program committee for PLOS 2009 received fourteen short papers for consideration, and of these, seven were selected for presentation at the workshop. Each submitted paper was assigned to four members of the program committee for review. In total, 59 reviews were written, many of which contained long and detailed comments. Once all the reviews were in, the program committee met by teleconference to decide upon the workshop program. The discussions during the many-hour teleconference were thoughtful and often intense! Papers were evaluated based on technical quality, originality, relevance, and presentation.
The PLOS workshops are highly interactive forums where researchers present their work in development, and in return, receive feedback from their peers. As such, the publication of a paper in the PLOS workshop proceedings is not intended to replace future conference publication.
Proceeding Downloads
Checking process-oriented operating system behaviour using CSP and refinement
Process orientation is an approach to concurrency that uses concepts of processes and message-passing communication, with whole systems constructed from layered and dynamically evolving networks of communicating processes. The work described in this ...
A microkernel API for fine-grained decomposition
Microkernel-based operating systems typically require special attention to issues that otherwise arise only in distributed systems. The resulting extra code degrades performance and increases development effort, severely limiting decomposition ...
Code-Partitioning Gossip
Code-Partitioning Gossip (CPG) is a novel technique to facilitate implementation and analysis of gossip protocols. A gossip exchange is a pair-wise transaction between two nodes; a gossip system executes an endless sequence of exchanges between nodes ...
CatchAndRetry: extending exceptions to handle distributed system failures and recovery
In this paper, we present CatchAndRetry, an extension of the traditional exception mechanism to provide language-level support for common recovery techniques in distributed systems. We motivate and justify our design by analyzing several cases studies ...
Filet-o-Fish: practical and dependable domain-specific languages for OS development
We address a persistent problem with using domain-specific languages to write operating systems: the effort of implementing, checking, and debugging the DSL usually outweighs any of its benefits. Because these DSLs generate C by templated string ...
KStruct: preserving consistency through C annotations
Debuggers and instrumentation tools have been proven valuable for understanding the inner workings of software systems. Although these tools are essential for various people, e.g., system administrators, developers, or teachers, they have one major ...
Distributed data flow language for multi-party protocols
This paper presents a novel object-oriented approach to modeling the semantics of distributed multi-party protocols such as leader election, distributed locks or reliable multicast, and a programming language that supports it. The approach extends our ...
Cited By
-
Schwan W, Luedtke J, Engelbrecht K, Mollinger J, Wheaton A, Foster J and Wolchak R (2022). Regulation of Escherichia coli fim gene transcription by GadE and other acid tolerance gene products, Microbiology, 10.1099/mic.0.001149, 168:3, Online publication date: 22-Mar-2022.
-
do Sacramento P, Sales M, Kasahara T, Monteiro C, Oyamada H, Dias A, Lopes L, Castro C, Rossi Á, Milioni L, Agrawal A, Alvarenga R, Vasconcelos C and Bento C (2022). Major depression favors the expansion of Th17-like cells and decrease the proportion of CD39+Treg cell subsets in response to myelin antigen in multiple sclerosis patients, Cellular and Molecular Life Sciences, 10.1007/s00018-022-04315-0, 79:6, Online publication date: 1-Jun-2022.
-
Graffeuil A, Guerrero-Castro J, Assefa A, Uhlin B and Cisneros D (2022). Polar mutagenesis of polycistronic bacterial transcriptional units using Cas12a, Microbial Cell Factories, 10.1186/s12934-022-01844-y, 21:1, Online publication date: 1-Dec-2022.
-
Schwarz J, Schumacher K, Brameyer S and Jung K (2022). Bacterial battle against acidity, FEMS Microbiology Reviews, 10.1093/femsre/fuac037, 46:6, Online publication date: 2-Nov-2022.
-
Xia X (2022). Multiple regulatory mechanisms for pH homeostasis in the gastric pathogen, Helicobacter pylori , 10.1016/bs.adgen.2022.07.001, (39-69),
-
Gavande P, Nath P, Kumar K, Ahmed N, Fontes C and Goyal A (2022). Highly efficient, processive and multifunctional recombinant endoglucanase RfGH5_4 from Ruminococcus flavefaciens FD-1 v3 for recycling lignocellulosic plant biomasses, International Journal of Biological Macromolecules, 10.1016/j.ijbiomac.2022.04.059, 209, (801-813), Online publication date: 1-Jun-2022.
-
Mondal S, Thakur A, Fontes C and Goyal A (2021). A trimodular family 16 glycoside hydrolase from the cellulosome of Ruminococcus flavefaciens displays highly specific licheninase (EC 3.2.1.73) activity, Microbiology, 10.1099/mic.0.001055, 167:7, Online publication date: 23-Jul-2021.
-
Schwaner C, Barbosa M, Connors P, Park T, de Silva D, Griffith A, Gobler C, Pales Espinosa E and Allam B (2020). Experimental acidification increases susceptibility of Mercenaria mercenaria to infection by Vibrio species, Marine Environmental Research, 10.1016/j.marenvres.2019.104872, 154, (104872), Online publication date: 1-Feb-2020.
-
El-Mansi A, Al-Kahtani M, Al-Sayyad K, Ahmed E and Gad A (2020). Visual adaptability and retinal characterization of the Egyptian fruit bat (Rousettus aegyptiacus, Pteropodidae): New insights into photoreceptors spatial distribution and melanosomal activity, Micron, 10.1016/j.micron.2020.102897, 137, (102897), Online publication date: 1-Oct-2020.
-
Shanmugam S, Sun C, Chen Z and Wu Y (2019). Enhanced bioconversion of hemicellulosic biomass by microbial consortium for biobutanol production with bioaugmentation strategy, Bioresource Technology, 10.1016/j.biortech.2019.01.121, 279, (149-155), Online publication date: 1-May-2019.
-
Wong W, Mohd-Nor N, Noordin R, Foo P, Mohamed Z, Haq J, Acosta A, Sarmiento M, Subramaniam P, Dony J, Mohamad-Roze M, Osman S and Lim B (2019). Parasitic infections in Malaysian aborigines with pulmonary tuberculosis: a comparative cross-sectional study, Parasitology Research, 10.1007/s00436-019-06406-7, 118:9, (2635-2642), Online publication date: 1-Sep-2019.
-
Kane S and French C (2018). Characterisation of novel biomass degradation enzymes from the genome of Cellulomonas fimi, Enzyme and Microbial Technology, 10.1016/j.enzmictec.2018.02.004, 113, (9-17), Online publication date: 1-Jun-2018.
-
Galvão I, Sugimoto M, Vago J, Machado M and Sousa L (2018). Mediators of Inflammation Immunopharmacology and Inflammation, 10.1007/978-3-319-77658-3_1, (3-32),
-
Berne C, Ellison C, Ducret A and Brun Y (2018). Bacterial adhesion at the single-cell level, Nature Reviews Microbiology, 10.1038/s41579-018-0057-5, 16:10, (616-627), Online publication date: 1-Oct-2018.
-
Boulais M, Chenevert K, Demey A, Darrow E, Robison M, Roberts J and Volety A (2017). Oyster reproduction is compromised by acidification experienced seasonally in coastal regions, Scientific Reports, 10.1038/s41598-017-13480-3, 7:1, Online publication date: 1-Dec-2017.
-
Duerschmied D and Massberg S (2017). Platelets as Regulators of Thrombosis and Inflammation Platelets, Haemostasis and Inflammation, 10.1007/978-3-319-66224-4_4, (53-80),
-
Anh D, Giang L, Hien N, Cuc D, Thanh N, Ha N, Chinh P, Van Tuyen N and Van Kiem P (2017). Synthesis and Cytotoxic Evaluation of Betulin–Triazole–AZT Hybrids, Natural Product Communications, 10.1177/1934578X1701201010, 12:10, (1934578X1701201), Online publication date: 1-Oct-2017.
-
Rice J, Beamish R, Duplisea D, Reid G and Gurley‐Smith H (2017). Canadian Fisheries and Aquaculture: Prospects under a Changing Climate Climate Change Impacts on Fisheries and Aquaculture, 10.1002/9781119154051.ch13, (415-454), Online publication date: 20-Sep-2017.
-
Hobdey S, Donohoe B, Brunecky R, Himmel M and Bomble Y (2015). New Insights into Microbial Strategies for Biomass Conversion Direct Microbial Conversion of Biomass to Advanced Biofuels, 10.1016/B978-0-444-59592-8.00007-5, (111-127),
-
Watanabe D, Suzuki S, Ashida M, Shimoji Y, Hirota K, Ogawa Y, Yajima K, Kasai D, Nishida Y, Uehira T and Shirasaka T (2015). Disease progression of HIV-1 infection in symptomatic and asymptomatic seroconverters in Osaka, Japan: a retrospective observational study, AIDS Research and Therapy, 10.1186/s12981-015-0059-6, 12:1, Online publication date: 1-Dec-2015.
-
Fufa T, Byun J, Wakano C, Fernandez A, Pise-Masison C and Gardner K (2015). The Tax oncogene enhances ELL incorporation into p300 and P-TEFb containing protein complexes to activate transcription, Biochemical and Biophysical Research Communications, 10.1016/j.bbrc.2015.07.072, 465:1, (5-11), Online publication date: 1-Sep-2015.
-
Brokamp R, Bergmann B, Müller I and Bienz S (2014). Stereoselective preparation of pyridoxal 1,2,3,4-tetrahydro-β-carboline derivatives and the influence of their absolute and relative configuration on the proliferation of the malaria parasite Plasmodium falciparum, Bioorganic & Medicinal Chemistry, 10.1016/j.bmc.2014.01.057, 22:6, (1832-1837), Online publication date: 1-Mar-2014.
-
Bondaryk M, Ochal Z and Staniszewska M (2014). Sulfone derivatives reduce growth, adhesion and aspartic protease SAP2 gene expression, World Journal of Microbiology and Biotechnology, 10.1007/s11274-014-1676-2, 30:9, (2511-2521), Online publication date: 1-Sep-2014.
-
Zhaodan Kong , Ozcimder K, Fuller N, Greco A, Theriault D, Zheng Wu , Kunz T, Betke M and Baillieul J (2013). Optical flow sensing and the inverse perception problem for flying bats 2013 IEEE 52nd Annual Conference on Decision and Control (CDC), 10.1109/CDC.2013.6760112, 978-1-4673-5717-3, (1608-1615)
-
Sikowitz M, Shome B, Zhang Y, Begley T and Ealick S (2013). Structure of a Clostridium botulinum C143S Thiaminase I/Thiamin Complex Reveals Active Site Architecture, , Biochemistry, 10.1021/bi400841g, 52:44, (7830-7839), Online publication date: 5-Nov-2013.
-
Maichrowski J, Gjikaj M, Hübner E, Bergmann B, Müller I and Kaufmann D (2013). Efficient Synthesis of Quinoxaline Derivatives by Selective Modification of 3‐Chloro‐6‐fluoroquinoxalin‐2(1 H )‐one 4‐Oxide , European Journal of Organic Chemistry, 10.1002/ejoc.201201569, 2013:11, (2091-2105), Online publication date: 1-Apr-2013.
-
Waldbusser G, Brunner E, Haley B, Hales B, Langdon C and Prahl F (2013). A developmental and energetic basis linking larval oyster shell formation to acidification sensitivity, Geophysical Research Letters, 10.1002/grl.50449, 40:10, (2171-2176), Online publication date: 28-May-2013.
-
Chen E, Tay N, Brzostek J, Gascoigne N and Rybakin V (2019). A Dual Inhibitor of Cdc7/Cdk9 Potently Suppresses T Cell Activation, Frontiers in Immunology, 10.3389/fimmu.2019.01718, 10
-
Erickson M and Pessoa D (2022). Determining factors of flower coloration, Acta Botanica Brasilica, 10.1590/0102-33062021abb0299, 36
