PLDI 2015 - PDF Preprint Papers

PLDI 2015 Conference on Programming Language Design and Implementation

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PLDI-2015 Paper

click to vote

PLDI
2015
ACM

24views Programming Languages» more PLDI 2015»

FlashRelate: extracting relational data from semi-structured spreadsheets using examples

8 years 7 months ago

Download people.cs.umass.edu

With hundreds of millions of users, spreadsheets are one of the most important end-user applications. Spreadsheets are easy to use and allow users great ﬂexibility in storing da...

Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjami...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	24	FlashRelate: extracting relational data from semi-structured spreadsheets using examples	claim
2	23	Automatic induction proofs of data-structures in imperative programs	claim
3	20	Design your analysis: a case study on implementation reusability of data-flow functions	claim
4	20	Diagnosing type errors with class	claim
5	19	Synthesizing racy tests	claim
6	19	Performance search engine driven by prior knowledge of optimization	claim
7	18	The APGAS library: resilient parallel and distributed programming in Java 8	claim
8	17	Concurrency debugging with differential schedule projections	claim
9	17	Abstract expressionism for parallel performance	claim
10	17	Making numerical program analysis fast	claim
11	16	Stateless model checking concurrent programs with maximal causality reduction	claim
12	16	Exploring and enforcing security guarantees via program dependence graphs	claim
13	16	Synthesis of machine code from semantics	claim
14	15	Blame and coercion: together again for the first time	claim
15	15	Verdi: a framework for implementing and formally verifying distributed systems	claim
16	15	Synthesizing parallel graph programs via automated planning	claim
17	15	Verifying read-copy-update in a logic for weak memory	claim
18	15	A simpler, safer programming and execution model for intermittent systems	claim
19	15	Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code	claim
20	15	Composing concurrency control	claim
21	14	Many-core compiler fuzzing	claim
22	14	Automatically improving accuracy for floating point expressions	claim
23	13	Sound reasoning about integral data types with a reusable SMT solver interface	claim
24	13	Compiling APL to accelerate through a typed array intermediate language	claim
25	13	Declarative programming over eventually consistent data stores	claim
26	12	KJS: a complete formal semantics of JavaScript	claim
27	12	Cutting out the middleman: OS-level support for x10 activities	claim
28	11	DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs	claim
29	11	Automatic error elimination by horizontal code transfer across multiple applications	claim
30	11	Asynchronous programming, analysis and testing with state machines	claim
31	11	Interactive parser synthesis by example	claim
32	11	Autotuning algorithmic choice for input sensitivity	claim
33	10	Lightweight, flexible object-oriented generics	claim
34	10	Provably correct peephole optimizations with alive	claim
35	10	Synthesizing data structure transformations from input-output examples	claim
36	10	A formal C memory model supporting integer-pointer casts	claim
37	10	Droidel: a general approach to Android framework modeling	claim
38	9	SnapQueue: lock-free queue with constant time snapshots	claim
39	9	The Push/Pull model of transactions	claim
40	8	Static detection of asymptotic performance bugs in collection traversals	claim
41	7	Fold-based fusion as a library: a generative programming pearl	claim
42	7	Improving compiler scalability: optimizing large programs at small price	claim
43	6	Tree dependence analysis	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers