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