gasche/popl2016-papers issues and pull requests

#48 - link to wickerson paper

Pull Request - State: closed - Opened by johnwickerson over 8 years ago - 4 comments

#47 - Printing Floating-Point Numbers

Pull Request - State: closed - Opened by btlachance about 9 years ago

#46 - add env bisimulation for prob hol google docs link

Pull Request - State: closed - Opened by maxsnew about 9 years ago

#45 - Environmental Bisimulations for Probabilistic Higher-Order Languages

Issue - State: closed - Opened by maxsnew about 9 years ago - 1 comment

#44 - The Hardness of Data Packing preprint

Pull Request - State: closed - Opened by btlachance about 9 years ago - 1 comment

#43 - Symbolic Abstract Data Type Inference preprint

Pull Request - State: closed - Opened by btlachance about 9 years ago - 1 comment

#42 - Scaling Network Verification.... Preprint

Pull Request - State: closed - Opened by maxsnew about 9 years ago

#41 - Memoryful Geometry of Interaction II Preprint

Pull Request - State: closed - Opened by maxsnew about 9 years ago

#40 - Static Analysis + Probabilistic Models preprint

Pull Request - State: closed - Opened by maxsnew about 9 years ago - 2 comments

#39 - Kleenex preprint

Pull Request - State: closed - Opened by ulrikrasmussen about 9 years ago - 1 comment

#38 - Amend Cai, Giarrusso, Ostermann

Pull Request - State: closed - Opened by yfcai about 9 years ago - 1 comment

#37 - Add fabular, fix layout

Pull Request - State: closed - Opened by adrieng about 9 years ago - 1 comment

#36 - Added Chapar: Certified Causally Consistent Distributed Key-Value Stores

Pull Request - State: closed - Opened by atrieu about 9 years ago - 1 comment

#35 - Fix broken link for the "Cause I'm Strong Enough" paper

Pull Request - State: closed - Opened by adrieng about 9 years ago

#34 - add the Program Synthesis with Noise paper

Pull Request - State: closed - Opened by flurischt about 9 years ago

#33 - Added Casper paper.

Pull Request - State: closed - Opened by aziem about 9 years ago - 1 comment

#32 - Added treewidth paper.

Pull Request - State: closed - Opened by aziem about 9 years ago

#31 - Link to recoverability paper.

Pull Request - State: closed - Opened by aziem about 9 years ago

#30 - Fix typo in URL for Inferring Inductive Invariants

Pull Request - State: closed - Opened by aziem about 9 years ago - 1 comment

#29 - Updated MinX paper to camera ready version.

Pull Request - State: closed - Opened by aziem about 9 years ago

#28 - Add link to Newtonian Program Analysis paper.

Pull Request - State: closed - Opened by aziem about 9 years ago

#27 - A Program Logic for Concurrent Objects under Fair Scheduling

Pull Request - State: closed - Opened by atrieu about 9 years ago - 1 comment

#26 - HOPDA long version from arXiv

Pull Request - State: closed - Opened by maxsnew about 9 years ago

#25 - Fω Equirecursive etc project website

Pull Request - State: closed - Opened by maxsnew about 9 years ago - 4 comments

#24 - Transforming Spreadsheet Data Types using Examples

Pull Request - State: closed - Opened by maxsnew about 9 years ago

#23 - String Solving Word Equations and Transducers:...

Pull Request - State: closed - Opened by maxsnew about 9 years ago

#22 - Temporal Verification of Higher-order Functional Programs preprint

Pull Request - State: closed - Opened by maxsnew about 9 years ago

#21 - Update README.md

Pull Request - State: closed - Opened by mietek about 9 years ago - 1 comment

#20 - Update README.md

Pull Request - State: closed - Opened by dorchard about 9 years ago - 3 comments

#19 - Added Modelling the ARMv8 Architecture, Operationally: Concurrency an…

Pull Request - State: closed - Opened by atrieu about 9 years ago - 1 comment

#18 - Optimizing Synthesis with Metasketches preprint

Pull Request - State: closed - Opened by maxsnew over 9 years ago

#17 - "Example-Directed Synthesis: A Type-Theoretic Interpretation" preprint

Pull Request - State: closed - Opened by maxsnew over 9 years ago - 1 comment

#16 - Add "Abstracting Gradual Typing" preprint

Pull Request - State: closed - Opened by maxsnew over 9 years ago - 1 comment

#15 - jeans paper

Pull Request - State: closed - Opened by hannesm over 9 years ago - 2 comments

#14 - Add link for the "Complexity of Interaction" paper

Pull Request - State: closed - Opened by adrieng over 9 years ago

#13 - Add updated links for Matthew Flatt's paper

Pull Request - State: closed - Opened by takikawa over 9 years ago - 1 comment

#12 - Maximal specification synthesis paper

Pull Request - State: closed - Opened by barghouthi over 9 years ago - 1 comment

#11 - "Is Sound Gradual Typing Dead?" Preprint/Artifact

Pull Request - State: closed - Opened by maxsnew over 9 years ago - 1 comment

#10 - Add link for the "Lattice-Theoretic Progress Measures ..." paper

Pull Request - State: closed - Opened by adrieng over 9 years ago - 1 comment

#9 - Added "From MinX to MinC:..." paper.

Pull Request - State: closed - Opened by aziem over 9 years ago - 1 comment

#8 - Add link to "Pushdown Control-Flow Analysis for Free"

Pull Request - State: closed - Opened by josefs over 9 years ago - 2 comments

#7 - Link to paper "Satisfiability Modulo Differential Equivalence Relations"

Pull Request - State: closed - Opened by josefs over 9 years ago - 1 comment

#6 - Add link to Sets of Scopes website

Pull Request - State: closed - Opened by maxsnew over 9 years ago - 2 comments

#5 - Add link to Gradualizer paper

Pull Request - State: closed - Opened by maxsnew over 9 years ago - 1 comment

#4 - Added a few links + fix error

Pull Request - State: closed - Opened by atrieu over 9 years ago - 4 comments

#3 - Add an arXiv link to the "Overhauling SC atomics" paper

Pull Request - State: closed - Opened by adrieng over 9 years ago - 6 comments

#2 - Include links to Taming Release-Acquire Consistency

Pull Request - State: closed - Opened by adrieng over 9 years ago

#1 - added preprint links for two papers

Pull Request - State: closed - Opened by atrieu over 9 years ago - 1 comment

GitHub / gasche/popl2016-papers issues and pull requests