Herein lies a collection of dubious opinions. You can also view the
individual archives for books, films,
games and Computer Science papers.
2012
2011
2010
- 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
- Death by Black Hole -
06 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
2009
- Modular Visitor Components – Oliveira -
22 Dec 2009
- Coders at Work -
22 Dec 2009
- Up in the Air -
20 Dec 2009
- Out of Their Minds -
04 Dec 2009
- Broken Flowers -
28 Nov 2009
- Fantastic Mr. Fox -
27 Nov 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
- 100 Essential Things You Didn’t Know You didn’t know -
08 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
- The Housekeeper and the Professor -
23 Sep 2009
- The Logic of Life -
21 Sep 2009
- District 9 -
15 Aug 2009
- Pineapple Express -
14 Aug 2009
- The Fountain -
14 Jul 2009
- Role Models -
04 Jul 2009
- Aqua Teen Hunger Force colon Movie for Theaters -
26 Jun 2009
- Metoroporisu -
13 Jun 2009
- The Wrestler -
07 Jun 2009
- Drag Me to Hell -
07 Jun 2009
- Dan In Real Life -
04 Jun 2009
- Hors de prix -
02 Jun 2009
- Up -
29 May 2009
- Idiocracy -
17 May 2009
- Star Trek -
12 May 2009
- What I Talk About When I Talk About Running -
08 May 2009
- Earth -
02 May 2009
- The Duchess -
11 Apr 2009
- Låt den rätte komma in -
10 Apr 2009
- Watchmen -
13 Mar 2009
- Slumdog Millionaire -
20 Feb 2009
- The Labyrinth of Time -
05 Feb 2009
- Revolutionary Road -
31 Jan 2009
- Doubt -
28 Jan 2009
- Yes Man -
25 Jan 2009
- Kitchen -
24 Jan 2009
- The Audacity of Hope -
21 Jan 2009
- Letters to a Young Mathematician -
17 Jan 2009
- The Rest is Noise -
16 Jan 2009
- The Curious Case of Benjamin Button -
02 Jan 2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999