| |
| @unpublished{DouglasEngelbart1968 |
| ,author="Douglas Engelbart" |
| ,title="The Demo" |
| ,year="1968" |
| ,month="December" |
| ,day="9" |
| ,note="Available: |
| \url{http://video.google.com/videoplay?docid=-8734787622017763097} |
| [Viewed November 28, 2008]" |
| } |
| |
| @unpublished{StephenJohnson1977lint |
| ,author="Stephen Johnson" |
| ,title="Lint, a {C} program checker" |
| ,year="1977" |
| ,month="December" |
| ,note="Computer Science Technical Report 65, Bell Laboratories" |
| } |
| |
| @Book{GlenfordJMyers1979 |
| ,Author="Glenford J. Myers" |
| ,title="The Art of Software Testing" |
| ,Publisher="Wiley" |
| ,Year="1979" |
| ,pages="174" |
| } |
| |
| @Book{MargaretAEllis1990Cplusplus |
| ,Author="Margaret A. Ellis and Bjarne Stroustrup" |
| ,title="The Annotated {C++} Reference Manual" |
| ,Publisher="Addison Wesley" |
| ,Year="1990" |
| ,pages="447" |
| } |
| |
| @unpublished{ScottGriffen2000 |
| ,author="Scott Griffen" |
| ,title="Internet Pioneers: Doug Englebart" |
| ,year="2000" |
| ,month="May" |
| ,note="Available: |
| \url{http://www.ibiblio.org/pioneers/englebart.html} |
| [Viewed November 28, 2008]" |
| } |
| |
| @Book{Holzmann03a |
| ,Author="Gerard J. Holzmann" |
| ,title="The {Spin} Model Checker: Primer and Reference Manual" |
| ,Publisher="Addison-Wesley" |
| ,address={Boston, MA, USA} |
| ,Year="2003" |
| ,pages="608" |
| } |
| |
| @unpublished{PeteBecker2009N3000 |
| ,author="Pete Becker" |
| ,title="Working Draft, Standard for Programming Language {C++}" |
| ,month="November" |
| ,day="9" |
| ,year="2009" |
| ,note="Available: |
| \url{http://open-std.org/jtc1/sc22/wg21/docs/papers/2009/n3000.pdf} |
| [Viewed: November 9, 2009]" |
| } |
| |
| @unpublished{PeteBecker2010N3035 |
| ,author="Pete Becker" |
| ,title="Working Draft, Standard for Programming Language {C++}" |
| ,month="February" |
| ,day="16" |
| ,year="2010" |
| ,note="Available: |
| \url{http://open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3035.pdf} |
| [Viewed: February 16, 2010]" |
| } |
| |
| @unpublished{PeteBecker2010N3126 |
| ,author="Pete Becker" |
| ,title="Working Draft, Standard for Programming Language {C++}" |
| ,month="August" |
| ,day="21" |
| ,year="2010" |
| ,note="Available: |
| \url{http://open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3126.pdf} |
| [Viewed: February 16, 2010]" |
| } |
| |
| @unpublished{PeteBecker2010N3225 |
| ,author="Pete Becker" |
| ,title="Working Draft, Standard for Programming Language {C++}" |
| ,month="November" |
| ,day="27" |
| ,year="2010" |
| ,note="Available: |
| \url{http://open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3225.pdf} |
| [Viewed: March 4, 2011]" |
| } |
| |
| @unpublished{PeteBecker2011N3242 |
| ,author="Pete Becker" |
| ,title="Working Draft, Standard for Programming Language {C++}" |
| ,month="February" |
| ,day="28" |
| ,year="2011" |
| ,note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf}" |
| } |
| |
| @unpublished{JonathanCorbet2004sparse |
| ,author="Jonathan Corbet" |
| ,title="Finding kernel problems automatically" |
| ,month="June" |
| ,day="1" |
| ,year="2004" |
| ,note="\url{http://lwn.net/Articles/87538/}" |
| } |
| |
| @inproceedings{YoannPadioleau2005CollateralEvolution |
| ,author = "Yoann Padioleau and Julia L. Lawall and Gilles Muller" |
| ,title = "Understanding Collateral Evolution in Linux Device Drivers" |
| ,booktitle = {Proceedings of the ACM SIGOPS EuroSys 2006 Conference} |
| ,month = {April} |
| ,year = {2006} |
| ,pages = {59-71} |
| ,publisher = {ACM} |
| ,address = {Leuven, Belgium} |
| ,url=http://doi.acm.org/10.1145/1217935.1217942 |
| } |
| |
| @unpublished{JonathanCorbet2006lockdep |
| ,author="Jonathan Corbet" |
| ,title="The kernel lock validator" |
| ,month="May" |
| ,day="31" |
| ,year="2006" |
| ,note="Available: |
| \url{http://lwn.net/Articles/185666/} |
| [Viewed: March 26, 2010]" |
| } |
| |
| @unpublished{StevenRostedt2010perfHP+DeathlyMacros |
| ,author="Steven Rostedt" |
| ,title="tracing: {Harry} {Potter} and the {Deathly} {Macros}" |
| ,month="December" |
| ,day="3" |
| ,year="2010" |
| ,note="Available: |
| \url{http://lwn.net/Articles/418710/} |
| [Viewed: August 28, 2011]" |
| } |
| |
| @unpublished{StevenRostedt2010perfTraceEventP1 |
| ,author="Steven Rostedt" |
| ,title="Using the {TRACE\_EVENT()} macro (Part 1)" |
| ,month="March" |
| ,day="24" |
| ,year="2010" |
| ,note="Available: |
| \url{http://lwn.net/Articles/379903/} |
| [Viewed: August 28, 2011]" |
| } |
| |
| @unpublished{StevenRostedt2010perfTraceEventP2 |
| ,author="Steven Rostedt" |
| ,title="Using the {TRACE\_EVENT()} macro (Part 2)" |
| ,month="March" |
| ,day="31" |
| ,year="2010" |
| ,note="Available: |
| \url{http://lwn.net/Articles/381064/} |
| [Viewed: August 28, 2011]" |
| } |
| |
| @unpublished{StevenRostedt2010perfTraceEventP3 |
| ,author="Steven Rostedt" |
| ,title="Using the {TRACE\_EVENT()} macro (Part 3)" |
| ,month="April" |
| ,day="21" |
| ,year="2010" |
| ,note="Available: |
| \url{http://lwn.net/Articles/383362/} |
| [Viewed: August 28, 2011]" |
| } |
| |
| @unpublished{MathieuDesnoyers2009LFCollabSummit |
| ,author="Mathieu Desnoyers and Michel R. Dagenais" |
| ,title="LTTng, Filling the Gap Between Kernel Instrumentation and a Widely Usable Kernel Tracer" |
| ,month="April" |
| ,day="8" |
| ,year="2009" |
| ,note="Available: |
| \url{http://events.linuxfoundation.org/slides/lfcs09_desnoyers_paper.pdfSimilar} |
| [Viewed: August 28, 2011]" |
| } |
| |
| @unpublished{PaulEMcKenney2011ppcmem |
| ,Author="Paul E. McKenney" |
| ,Title="Validating Memory Barriers and Atomic Instructions" |
| ,month="December" |
| ,day="6" |
| ,year="2011" |
| ,note="\url{http://lwn.net/Articles/470681/}" |
| } |
| |
| @unpublished{JadeAlglave2011ppcmem |
| ,Author="Jade Alglave and Luc Maranget and Pankaj Pawan and Susmit Sarkar and Peter Sewell and Derek Williams and Francesco Zappa Nardelli" |
| ,Title="{PPCMEM/ARMMEM}: A Tool for Exploring the {POWER} and {ARM} Memory Models" |
| ,month="June" |
| ,day="4" |
| ,year="2011" |
| ,note="\url{http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/pldi105-sarkar.pdf}" |
| } |
| |
| @unpublished{RichardBornat2006SheepGoats |
| ,Author="Maggie Bowman" |
| ,Title="Dividing the Sheep from the Goats" |
| ,month="February" |
| ,day="20" |
| ,year="2006" |
| ,note={url={http://www.cs.kent.ac.uk/news/2006/RBornat/}} |
| } |
| |
| @inproceedings{SaeedDehnadi2009SheepGoats |
| ,author = {Saeed Dehnadi and Richard Bornat and Ray Adams} |
| ,title = {Meta-analysis of the effect of consistency on success in early learning of programming} |
| ,booktitle = {PPIG 2009} |
| ,month = {June} |
| ,year = {2009} |
| ,pages = {1--13} |
| ,numpages = {13} |
| ,publisher = {Psychology of Programming Interest Group} |
| ,address = {University of Limerick, Ireland} |
| ,url=http://www.ppig.org/papers/21st-muller.pdf |
| } |
| |
| @unpublished{RegBraithwaite2007FizzBuzz |
| ,Author="Reg Braithwaite" |
| ,Title="Don't Overthink FizzBuzz" |
| ,month="January" |
| ,day="24" |
| ,year="2007" |
| ,note={url={http://weblog.raganwald.com/2007/01/dont-overthink-fizzbuzz.html}} |
| } |
| |
| @unpublished{StevenRostedt2011locdepCryptic |
| ,Author="Steven Rostedt" |
| ,Title="lockdep: How to read its cryptic output" |
| ,month="September" |
| ,day="9" |
| ,year="2011" |
| ,note={\url{http://www.linuxplumbersconf.org/2011/ocw/sessions/153}} |
| } |
| |
| @unpublished{ValgrindHomePage |
| ,Author="{The Valgrind Developers}" |
| ,Title="Valgrind" |
| ,month="November" |
| ,day="10" |
| ,year="2011" |
| ,note={\url{http://www.valgrind.org/}} |
| } |
| |
| @unpublished{OProfileHomePage |
| ,Author="{The OProfile Developers}" |
| ,Title="OProfile" |
| ,month="April" |
| ,day="28" |
| ,year="2012" |
| ,note={\url{http://oprofile.sourceforge.net}} |
| } |
| |
| @unpublished{LinuxKernelPerfWiki |
| ,Author="Stephane Eranian and Eric Gouriou and Tipp Moseley and Willem de Bruijn" |
| ,Title="Linux kernel profiling with perf" |
| ,month="June" |
| ,day="29" |
| ,year="2011" |
| ,note={\url{https://perf.wiki.kernel.org/index.php/Tutorial}} |
| } |
| |
| @unpublished{NishanthAravamudan2005stiu |
| ,author="Nishanth Aravamudan" |
| ,title="{[PATCH]} Add schedule\_timeout\_\{in\-ter\-rupt\-i\-ble,un\-in\-ter\-rupt\-i\-ble\}\{,\_msecs\}() interfaces" |
| ,month="July" |
| ,day="22" |
| ,year="2005" |
| ,url={http://lwn.net/Articles/144763/} |
| ,note="Linux Weekly News" |
| } |
| |
| @unpublished{JohnRegehr2010UndefinedBehavior |
| ,Author="John Regehr" |
| ,Title="A Guide to Undefined Behavior in C and C++, Part 1" |
| ,month="July" |
| ,day="9" |
| ,year="2010" |
| ,note="\url{http://blog.regehr.org/archives/213}" |
| } |
| |
| @inproceedings{Golovanevsky:2010:TDL:2174824.2174835 |
| ,author = {Golovanevsky, Olga and Dayan, Alon and Zaks, Ayal and Edelsohn, David} |
| ,title = {Trace-Based Data Layout Optimizations for Multi-core Processors} |
| ,booktitle = {Proceedings of the 5th International Conference on High Performance Embedded Architectures and Compilers} |
| ,series = {HiPEAC'10} |
| ,year = {2010} |
| ,isbn = {3-642-11514-4, 978-3-642-11514-1} |
| ,location = {Pisa, Italy} |
| ,pages = {81--95} |
| ,numpages = {15} |
| ,url = {http://dx.doi.org/10.1007/978-3-642-11515-8_8} |
| ,doi = {10.1007/978-3-642-11515-8_8} |
| ,acmid = {2174835} |
| ,publisher = {Springer-Verlag} |
| ,address = {Berlin, Heidelberg} |
| ,keywords = {cache-conscious data layout, compiler optimizations, data affinity, false sharing, spatial locality} |
| } |
| |
| @inproceedings{NicolasPalix2011CoccinelleTenYears |
| ,author = "Nicolas Palix and Ga\:el Thomas and Suman Saha and Christophe Calvès and Julia Lawall and Gilles Muller" |
| ,title = "Faults in Linux: Ten Years Later" |
| ,booktitle = {Proceedings of the Sixteenth International Conference on |
| Architectural Support for Programming Languages and Operating Systems |
| (ASPLOS 2011)} |
| ,month = {March} |
| ,year = {2011} |
| ,pages = {305-318} |
| ,publisher = {ACM} |
| ,address = {Newport Beach, California, USA} |
| ,url=http://dx.doi.org/10.1145/1950365.1950401 |
| } |
| |
| @Conference{DaveJones2011Trinity |
| ,author = "Dave Jones" |
| ,title = "Trinity: A system call fuzzer" |
| ,booktitle = {Proceedings of the 13\textsuperscript{th} Ottawa Linux Symposium} |
| ,month = {June} |
| ,year = {2011} |
| ,pages = {???--???} |
| ,address = {Ottawa, Canada} |
| ,url=http://codemonkey.org.uk/projects/trinity/ |
| } |
| |
| @unpublished{PaulEMcKenney2012SignedOverflow |
| ,Author="Paul E. McKenney" |
| ,Title="Signed overflow optimization hazards in the kernel" |
| ,month="August" |
| ,day="15" |
| ,year="2012" |
| ,note="\url{http://lwn.net/Articles/511259/}" |
| } |
| |
| @inproceedings{Alglave:2013:SVW:2450268.2450306 |
| ,author = {Alglave, Jade and Kroening, Daniel and Nimal, Vincent and Tautschnig, Michael} |
| ,title = {Software verification for weak memory via program transformation} |
| ,booktitle = {Proceedings of the 22nd European conference on Programming Languages and Systems} |
| ,series = {ESOP'13} |
| ,year = {2013} |
| ,isbn = {978-3-642-37035-9} |
| ,location = {Rome, Italy} |
| ,pages = {512--532} |
| ,numpages = {21} |
| ,url = {http://dx.doi.org/10.1007/978-3-642-37036-6_28} |
| ,doi = {10.1007/978-3-642-37036-6_28} |
| ,acmid = {2450306} |
| ,publisher = {Springer-Verlag} |
| ,address = {Berlin, Heidelberg} |
| } |
| |
| @inproceedings{VijayDSilva2012-sas |
| ,AUTHOR={ D'Silva, Vijay and Haller, Leopold and Kroening, Daniel } |
| ,TITLE={ Satisfiability Solvers are Static Analyzers } |
| ,BOOKTITLE={ Static Analysis Symposium (SAS) } |
| ,YEAR={ 2012 } |
| ,PUBLISHER={ Springer } |
| ,PAGES={ 317--333 } |
| ,SERIES={ LNCS } |
| ,VOLUME={ 7460 } |
| } |
| |
| @inproceedings{JadeAlglave2013-cav |
| ,AUTHOR={ Alglave, Jade and Kroening, Daniel and Tautschnig, Michael } |
| ,TITLE={ Partial Orders for Efficient {Bounded Model Checking} of Concurrent Software } |
| ,BOOKTITLE={ Computer Aided Verification (CAV) } |
| ,YEAR={ 2013 } |
| ,PUBLISHER={ Springer } |
| ,PAGES={ 141--157 } |
| ,SERIES={ LNCS } |
| ,VOLUME={ 8044 } |
| } |
