Reading List @ SG

gistfile1.md

Academic Papers

Kilim Ultra-lightweight Threads (4)

• Kilim: Isolation-Typed Actors for Java (A Million Actors, Safe Zero-Copy Communication) (kilim_ecoop08.pdf)
  • Slides: kilim-google.pdf
• A Thread of One’s Own (thread_of_ones_own.pdf)
• The Problem with Threads (EECS-2006-1.pdf)

Program Synthesis (?)

TODO

Books

• Erlang and OTP in Action (431 pages)
• Types and Programming Languages (645 pages)
• Implementing Functional Languages: a tutorial (296 pages)
• A Structural Approach to Operational Semantics (133 pages)
• The Implementation of Function Programming Languages (458 pages)
• Compiling with Continuations
• Lisp in Small Pieces
• Real World Haskell

Miscellaneous

• http://www.scs.stanford.edu/11au-cs240h/notes/
• http://www.erlang.org/doc/reference_manual/typespec.html
• http://www.martinfowler.com/bliki/BusinessReadableDSL.html
• http://www.martinfowler.com/articles/languageWorkbench.html

ACM Computing Surveys (27)

Volume 40 Issue 1, February 2008 (1)

• Process-Centered Review of Object Oriented Software Development Methodologies (a3-ramsin.pdf)

Volume 40 Issue 2, April 2008 (2)

• Server-Centric Web Frameworks: An Overview (a4-vosloo.pdf)

Volume 41 Issue 4, October 2009 (5)

• Preface to Special Issue on Software Verification (a18-hoare.pdf)
• Formal Methods: Practice and Experience (a19-woodcock.pdf)
• Automated Deduction for Verification (a20-shankar.pdf)
• Software Model Checking (a21-jhala.pdf)
• The Verified Software Initiative: A Manifesto (a22-hoare.pdf)

Volume 42 Issue 1, December 2009 (2)

• A Survey of Attack and Defense Techniques for Reputation Systems (a1-hoffman.pdf)
• A Survey of Computer Systems for Expressive Music Performance (a3-kirke.pdf)

Volume 43 Issue 1, November 2010 (1)

• Business Process Modeling Languages: Sorting Through the Alphabet Soup (a4-mili.pdf)

Volume 43 Issue 2, January 2011 (1)

• A Review of Grid Authentication and Authorization Technologies and Support for Federated Access Control (a12-jie.pdf)

Volume 43 Issue 3, April 2011 (4)

• Consumer Trust in E-Commerce Web Sites: A Meta-Study (a14-beatty.pdf)
• Implementing Statically Typed Object-Oriented Programming Languages (a18-ducournau.pdf)
• The State of the Art in End-User Software Engineering (a21-ko.pdf)
• What is the Future of Disk Drives, Death or Rebirth? (a23-deng.pdf)

Volume 43 Issue 4, October 2011 (4)

• Factors that Affect Software Systems Development Project Outcomes: A Survey of Research (a24-mcleod.pdf)
• A Survey on UML-Based Aspect-Oriented Design Modeling (a28-wimmer.pdf)
• Constraint Programming Systems for Modeling Music Theories and Composition (a30-anders.pdf)
• Decision-Making Techniques for Software Architecture Design: A Comparative Survey (a33-falessi.pdf)

Volume 44 Issue 1, January 2012 (1)

• A Survey of Automatic Query Expansion in Information Retrieval (a1-carpineto.pdf)

Volume 44 Issue 2, February 2012 (1)

• Free/Libre Open-Source Software Development: What We Know and What We Do Not Know (a7-crowston.pdf)

Volume 44 Issue 3, June 2012 (3)

• Control-Flow Analysis of Functional Programs (a10-midtgaard.pdf)
• Behavioral Interface Specification Languages (a16-hatcliff.pdf)
• Runtime Countermeasures for Code Injection Attacks Against C and C++ Programs (a17-younan.pdf)

Volume 44 Issue 4, August 2012 (2)

• A Taxonomy and Survey of SCTP Research (a18-budzisz.pdf)
• Graphical Passwords: Learning from the First Twelve Years (a19-biddle.pdf)