# Specification

[Out Of The Tarpit](https://github.com/papers-we-love/papers-we-love/blob/master/design/out-of-the-tar-pit.pdf)

[BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud](http://db.cs.berkeley.edu/papers/eurosys10-boom.pdf)

[Dedalus: Datalog in Time and Space](http://db.cs.berkeley.edu/papers/datalog2011-dedalus.pdf)

[Logic and Lattices for Distributed Programming](http://www.neilconway.org/docs/socc2012_bloom_lattices.pdf)

# Performance

[OctopusDB: Towards a One Size Fits All Database Architecture](https://infosys.uni-saarland.de/publications/DJ11.pdf)

[Lightweight Modular Staging and Embedded Compilers: Abstraction Without Regret for High-Level High-Performance Programming](http://lampwww.epfl.ch/~rompf/thesis_120716.pdf)

[Edelweiss: Automatic Storage Reclamation
for Distributed Programming](http://db.cs.berkeley.edu/papers/vldb14-edelweiss.pdf)

[OLTP Through the Looking Glass](http://db.cs.berkeley.edu/cs286/papers/lookingglass-sigmod2008.pdf)

[Evita Raced: Metacompilation for Declarative Networks](http://p2.berkeley.intel-research.net/papers/EvitaRacedVLDB2008.pdf)

# Understanding

[Debugging Reinvented: Asking and Answering Why and
Why Not Questions about Program Behavior](http://repository.cmu.edu/cgi/viewcontent.cgi?article=1165&context=hcii)

[Database Queries that Explain their Work](http://arxiv.org/pdf/1408.1675.pdf)

[Personifying Programming Tool Feedback
Improves Novice Programmers Learning](http://faculty.washington.edu/ajko/papers/Lee2011Gidget.pdf)

# Correctness

[BloomUnit: Declarative Testing for Distributed Programs](http://db.cs.berkeley.edu/papers/dbtest12-bloom.pdf)

[Opis: Reliable Distributed Systems in OCaml](http://icwww.epfl.ch/~kuncak/papers/DagandETAL08Opis.pdf)

# UI

[Compiling Mockups to Flexible UI](https://4d75d27f-a-62cb3a1a-s-sites.googlegroups.com/site/sinhnish/documents/fluidLayouts.pdf?attachauth=ANoY7crdYgssu75ccg3Gc6sSDm-dxh2rWHL5jLVh7LkNKtUgFpv2GDqK8AVzr1IJ53Dg6eM5StLasOQk-SDN4KWaCi-phlQK30GSum-hbWOzT5VVSiNRJ7U3F_FJ8pBMndIjR60O9bYSSzxu1TJmR6kX4dlEuCL16pituZTrEFj7BNnX-SRU3JajEKY4f9s_mYqR3uTF4GW5Jm2EkHgpEUfSZtCrUJOZVPO4NGg7nc59490937x_VW4%3D&attredirects=0)

[Constraint Solvers for User Interface Layout](http://arxiv.org/pdf/1401.1031v1.pdf)