samskivert: paper reviews

Herein lies a collection of dubious opinions on Computer Science papers:

  • Feeding Frenzy: Selectively Materializing Users’ Event Feeds - Silberstein, et al. - 20 Feb 2012
  • An Experiment About Static and Dynamic Type Systems – Hanenberg - 12 Aug 2011
  • Typeclassopedia – Yorgey - 27 Dec 2010
  • Modules as Objects in Newspeak – Bracha, et al. - 27 Dec 2010
  • Applicative Programming with Effects – McBride and Paterson - 28 Nov 2010
  • Lightweight Modular Staging – Rompf and Odersky - 24 Nov 2010
  • Deprecating the Observer Pattern – Maier, et al. - 26 Oct 2010
  • Type Classes as Objects and Implicits – Oliveira, et al. - 03 Oct 2010
  • Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform – Rompf, et al. - 03 Oct 2010
  • F-Bounded Polymorphism for Object-Oriented Programming – Canning, et al. - 03 Oct 2010
  • Modular Type Classes – Dreyer, et al. - 21 Aug 2010
  • Compiling Structural Types on the JVM – Dubochet and Odersky - 21 Aug 2010
  • Principles of Traditional Animation Applied to 3D Computer Animation – Lasseter - 06 Jul 2010
  • Extensible Pattern Matching Via a Lightweight Language Extension – Syme, et al. - 06 Jul 2010
  • Bricolage Programming in the Creative Arts – McLean and Wiggins - 06 Jul 2010
  • Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analysis – Bond, et al. - 03 Jun 2010
  • Using Information Fragments to Answer the Questions Developers Ask – Fritz and Murphy - 19 May 2010
  • The Office of the Future: A Unified Approach to Image-Based Modeling and Spatially Immersive Displays – Raskar, et al. - 19 May 2010
  • Hacking the Nintendo Wii Remote – Lee - 19 May 2010
  • Strongtalk: Typechecking Smalltalk in a Production Environment – Bracha and Griswold - 06 May 2010
  • Prefab: Implementing Advanced Behaviors Using Pixel-Based Reverse Engineering of Interface Structure – Dixon and Fogarty - 06 May 2010
  • Embodied Social Proxy: Mediating Interpersonal Connection in Hub-and-Satellite Teams – Venolia, et al. - 06 May 2010
  • A Degree-of-Knowledge Model to Capture Source Code Familiarity – Fritz, et al. - 06 May 2010
  • Voyagers and Voyeurs: Supporting Asynchronous Collaborative Information Visualization – Heer, et. al - 30 Apr 2010
  • Stages of Design in Technology for Global Development – Donner, et. al - 30 Apr 2010
  • Pacer: Proportional Detection of Data Races – Bond, et al. - 30 Apr 2010
  • Interacting with paper on the DigitalDesk – Wellner - 24 Apr 2010
  • From Behaviour Preservation to Behaviour Modification: Constraint-Based Mutant Generation – Steimann and Thies - 24 Apr 2010
  • Evaluating User Interface Systems Research – Olsen Jr. - 24 Apr 2010
  • Bonfire: A Nomadic System for Hybrid Laptop-Tabletop Interaction – LaMarca, et al. - 24 Apr 2010
  • Usability Evaluation Considered Harmful (Some of the Time) – Greenberg and Buxton - 19 Apr 2010
  • Why Functional Programming Matters – Hughes - 11 Apr 2010
  • Using Twinning to Adapt Programs to Alternative APIs – Nita and Notkin - 11 Apr 2010
  • Runtime Support for Multicore Haskell – Marlow, et al. - 11 Apr 2010
  • Verification of object-oriented programs with invariants – Barnett, et al. - 28 Mar 2010
  • Automatic Steering of Behavioral Model Inference – Lo, et al. - 28 Mar 2010
  • Using Predicate Abstraction to Reduce Object-Oriented Programs for Model Checking – Visser, et al. - 06 Mar 2010
  • The Design of a Task Parallel Library – Leijen et al. - 06 Mar 2010
  • Strictly Declarative Specification of Sophisticated Points-to Analyses – Bravenboer and Smaragdakis - 06 Mar 2010
  • Principal type-schemes for functional programs – Damas and Milner - 06 Mar 2010
  • Points-to Analysis in Almost Linear Time – Steensgaard - 06 Mar 2010
  • Points-to Analysis by Type Inference of Programs with Structures and Unions – Steensgaard - 06 Mar 2010
  • Lackwit: A Program Understanding Tool Based on Type Inference – O’Callahan and Jackson - 06 Mar 2010
  • Integration of Typed and Untyped Code in Thorn – Wrigstad, et al. - 06 Mar 2010
  • Finding User/Kernel Pointer Bugs With Type Inference – Johnson and Wagner - 06 Mar 2010
  • Counterexample-Guided Abstraction Refinement – Clarke, et al. - 06 Mar 2010
  • A Type and Effect System for Deterministic Parallel Java – Bocchino, et al. - 06 Mar 2010
  • A Fistfull of Papers - 06 Mar 2010
  • Simplifying and Isolating Failure-Inducing Input – Zeller and Hildebrandt - 20 Feb 2010
  • DART: Directed Automated Random Testing – Godefroid, et al. - 20 Feb 2010
  • Object and Reference Immutability using Java Generics – Zibin, et al. - 10 Feb 2010
  • Mining Temporal Specifications from Object Usage – Wasylkowski and Zeller - 10 Feb 2010
  • Static Extraction of Sound Hierarchical Runtime Object Graphs – Abi-Antoun and Aldrich - 30 Jan 2010
  • Snugglebug: A Powerful Approach to Weakest Preconditions – Chandra, et al. - 30 Jan 2010
  • Flapjax: A Programming Language for Ajax Applications – Meyerovich, et al. - 30 Jan 2010
  • Automatic Documentation Inference for Exceptions – Buse and Weimer - 30 Jan 2010
  • Arch Java: Connecting Software Architecture to Implementation – Aldrich, et al. - 26 Jan 2010
  • The Multi-Principal OS Construction of the Gazelle Web Browser – Wang, et al. - 24 Jan 2010
  • Thorn—Robust, Concurrent, Extensible Scripting on the JVM – Vitek, et al. - 22 Jan 2010
  • The Semantics of x86-CC Multiprocessor Machine Code – Sarkar, et al. - 20 Jan 2010
  • Static Validation of C Preprocessor Macros – Sæbjørnsen, et al. - 19 Jan 2010
  • Optimizing Programs with Intended Semantics – von Dincklage and Diwan - 12 Jan 2010
  • A Case Study in Architectural Analysis: The Evolution of the Modern Web Browser – Grosskurth and Godfrey - 08 Jan 2010
  • Modular Visitor Components – Oliveira - 22 Dec 2009
  • Bytecodes meet Combinators: invokedynamic on the JVM – Rose - 21 Nov 2009
  • Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure using Annotations – Abi-Antoun, et. al. - 20 Nov 2009
  • Pig Latin: A Not-So-Foreign Language for Data Processing – Olston, et. al. - 09 Nov 2009
  • Parallel Database Systems: The Future of High Performance Database Processing – DeWitt, et. al. - 09 Nov 2009
  • MapReduce: Simplified Data Processing on Large Clusters – Dean & Ghemawat - 09 Nov 2009
  • Column-Stores vs. Row-Stores: How Different Are They Really? – Abadi, et. al. - 04 Nov 2009
  • On Understanding Data Abstraction, Revisited: Cook - 02 Nov 2009
  • Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals: Gray, et. al. - 02 Nov 2009
  • Constrained Types for Object-Oriented Languages – Nystrom, et. al. - 30 Oct 2009
  • Concurrency Control and Recovery – Franklin - 30 Oct 2009
  • Reveal your sources - 21 Oct 2009
  • Access Path Selection in a Relational Database Management System – Selinger, et. al. - 21 Oct 2009
  • Join Processing in Database Systems with Large Main Memories – Shapiro - 19 Oct 2009
  • Generalized Search Trees for Database Systems – Hellerstein, et. al. - 14 Oct 2009
  • Operating System Support for Database Management – Stonebraker - 12 Oct 2009
  • Of Objects and Databases: A Decade of Turmoil – Carey, DeWitt - 08 Oct 2009
  • Hazard Reduction in Scala Actors – Stiegler - 06 Oct 2009
  • Finding Bugs in Dynamic Web Applications – Artzi, et. al. - 06 Oct 2009
  • What Goes Around Comes Around – Stonebraker, et. al. - 02 Oct 2009
  • A Relational Model of Data for Large Shared Data Banks – Codd - 30 Sep 2009
  • Papers please - 29 Sep 2009
  • ©1999–2013 Michael Bayne