Commit ecc25e2d authored by Viktor Vafeiadis's avatar Viktor Vafeiadis
Browse files

bib: more lowercase

parent 78b0eed3
......@@ -2782,8 +2782,8 @@
}
@InProceedings{ musuvathi2008:heisenbugs,
title = {Finding and Reproducing Heisenbugs in Concurrent
Programs},
title = {Finding and reproducing Heisenbugs in concurrent
programs},
author = {Madanlal Musuvathi and Shaz Qadeer and Thomas Ball and
Gérard Basler and Piramanayagam Arumuga Nainar and Iulian
Neamtiu},
......@@ -2901,14 +2901,14 @@
}
@InProceedings{ owens2006:units,
title = {From Structures and Functors to Modules and Units},
title = {From structures and functors to modules and units},
author = {Scott Owens and Matthew Flatt},
booktitle = {\bibICFP{2006}},
year = 2006
}
@InProceedings{ owens2009:x86-tso,
title = {A Better {x86} Memory Model: {x86-TSO}},
title = {A better {x86} memory model: {x86-TSO}},
author = {Owens, Scott and Sarkar, Susmit and Sewell, Peter},
booktitle = {\bibTPHOLS{2009}},
year = {2009},
......@@ -2925,8 +2925,8 @@
}
@InProceedings{ owens2010:abstractions,
title = {Reasoning about the Implementation of Concurrency
Abstractions on {x86-TSO}},
title = {Reasoning about the implementation of concurrency
abstractions on {x86-TSO}},
author = {Scott Owens},
booktitle = {\bibECOOP{2010}},
year = {2010},
......@@ -2953,8 +2953,8 @@
}
@Article{ owicki1976:properties,
title = {Verifying Properties of Parallel Programs: {An} Axiomatic
Approach},
title = {Verifying properties of parallel programs: {An} axiomatic
approach},
author = {Owicki, Susan and Gries, David},
journal = {\bibCACM},
year = {1976},
......@@ -2969,14 +2969,14 @@
}
@PhDThesis{ owicki:thesis,
title = {Axiomatic Proof Techniques for Parallel Programs.},
title = {Axiomatic proof techniques for parallel programs},
author = {Owicki, Susan Speer},
year = {1975},
school = {Cornell University}
}
@Article{ papadimitriou1979:scdu,
title = {The Serializability of Concurrent Database Updates},
title = {The serializability of concurrent database updates},
author = {Papadimitriou, Christos H.},
journal = {\bibJACM},
year = {1979},
......@@ -2995,8 +2995,8 @@
}
@Article{ park2017:ijournaling,
title = {iJournaling: Fine-Grained Journaling for Improving the
Latency of Fsync System Call},
title = {{iJournaling}: Fine-grained journaling for improving the
latency of fsync system call},
author = {Daejun Park and Dongkun Shin},
booktitle = {\bibUSENIX{2017}},
year = {2017},
......@@ -3005,7 +3005,7 @@
}
@InProceedings{ pavioti2020:mrd,
title = {Modular Relaxed Dependencies in Weak Memory Concurrency},
title = {Modular relaxed dependencies in weak memory concurrency},
author = {Marco Paviotti and Simon Cooksey and Anouk Paradis and
Daniel Wright and Scott Owens and Mark Batty},
booktitle = {\bibESOP{2020}},
......@@ -3019,7 +3019,7 @@
}
@InProceedings{ pelley2014:persistency,
title = {Memory Persistency},
title = {Memory persistency},
author = {Pelley, Steven and Chen, Peter M. and Wenisch, Thomas F.},
booktitle = {\bibISCA{2014}},
year = {2014},
......@@ -3072,8 +3072,8 @@
}
@InProceedings{ pillai2014:filesystems,
title = {All File Systems Are Not Created Equal: On the Complexity
of Crafting Crash-Consistent Applications},
title = {All file systems are not created equal: on the complexity
of crafting crash-consistent applications},
author = {Thanumalayan Sankaranarayana Pillai and Vijay Chidambaram
and Ramnatthan Alagappan and Samer Al-Kiswany and Andrea C.
Arpaci-Dusseau and Remzi H. Arpaci-Dusseau},
......@@ -3088,7 +3088,7 @@
}
@Article{ pillai2017:crash-consistency,
title = {Application Crash Consistency and Performance with
title = {Application crash consistency and performance with
{CCFS}},
author = {Pillai, Thanumalayan Sankaranarayana and Alagappan,
Ramnatthan and Lu, Lanyue and Chidambaram, Vijay and
......@@ -3106,7 +3106,7 @@
}
@InProceedings{ pitts1998:local-states,
title = {Operational Reasoning for Functions with Local State},
title = {Operational reasoning for functions with local state},
author = {Andrew Pitts and Ian Stark},
booktitle = {\bibHOOTS{1998}},
year = {1998}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment