nuprl/retic_performance issues and pull requests

#109 - Take5 is broken

Issue - State: open - Opened by vivaan2006 about 1 year ago

#108 - chaos: fix typo "print_"

Pull Request - State: closed - Opened by bennn over 1 year ago - 4 comments

#107 - Delete references to old package

Issue - State: closed - Opened by bennn almost 6 years ago - 1 comment

#106 - Benchmark metadata?

Issue - State: open - Opened by bennn over 6 years ago

#105 - Fix pkgs.racket-lang.org build

Issue - State: closed - Opened by bennn over 6 years ago - 1 comment

#104 - Add acknowledgements

Issue - State: closed - Opened by bennn almost 7 years ago

#103 - PEPM camera-ready

Pull Request - State: closed - Opened by bennn almost 7 years ago - 1 comment

#102 - PEPM camera-ready

Pull Request - State: closed - Opened by bennn almost 7 years ago

#101 - Writing: forward references

Issue - State: closed - Opened by bennn almost 7 years ago - 1 comment

#100 - Publish repo

Issue - State: closed - Opened by bennn almost 7 years ago

#99 - Define "compositional reasoning"

Issue - State: closed - Opened by bennn about 7 years ago - 2 comments

#98 - Explain the "x" on the overhead plots

Issue - State: closed - Opened by bennn about 7 years ago

#97 - Change overhead plots color

Issue - State: closed - Opened by bennn about 7 years ago - 1 comment

#96 - sample_fsm retic-untyped

Issue - State: closed - Opened by bennn about 7 years ago - 1 comment

#95 - Factor out LNM utils

Issue - State: closed - Opened by bennn about 7 years ago - 1 comment
Labels: AUGUST

#94 - Factor out Scribble helpers

Issue - State: closed - Opened by bennn about 7 years ago - 1 comment
Labels: AUGUST

#93 - Merge Retic sections

Issue - State: closed - Opened by bennn about 7 years ago - 2 comments

#92 - Revise Intro

Issue - State: closed - Opened by bennn about 7 years ago

#91 - doc

Pull Request - State: closed - Opened by bennn over 7 years ago

#90 - nepls slides

Pull Request - State: closed - Opened by bennn over 7 years ago

#89 - retic blames well typed programs?

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment

#88 - Z

Pull Request - State: closed - Opened by bennn over 7 years ago

#87 - Formatting in Section 5

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#86 - editing sec 7

Pull Request - State: closed - Opened by bennn over 7 years ago

#85 - Update / automate claims in Section 4

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#84 - Increase resolution of exact plots

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment

#83 - [dls] cosmetics for Sec 2

Pull Request - State: closed - Opened by bennn over 7 years ago

#82 - Why is reticulated adding a check at the return type of typed functions and another check at the call site?

Issue - State: closed - Opened by migeed-z over 7 years ago - 2 comments

#81 - Explain configurations that get faster with types

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#80 - Remove typed/python ratio from overhead plots

Issue - State: closed - Opened by bennn over 7 years ago

#79 - Rename the typed/untyped ratio

Issue - State: closed - Opened by bennn over 7 years ago

#78 - Things that are unclear in Section 7

Issue - State: closed - Opened by bennn over 7 years ago

#77 - Section 3 edits

Issue - State: closed - Opened by bennn over 7 years ago

#76 - May16

Pull Request - State: closed - Opened by bennn over 7 years ago

#75 - Misc. tasks

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment

#74 - try retic/blame

Issue - State: closed - Opened by bennn over 7 years ago - 3 comments

#73 - Section 3, undefined terms

Issue - State: closed - Opened by bennn over 7 years ago

#72 - Wrap-up of a few changes

Pull Request - State: closed - Opened by bennn over 7 years ago

#71 - Section 8, address benchmarks first

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment

#70 - Links to PEPs

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment
Labels: housekeeping

#69 - Add red dot to Takikawa plots

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#68 - Section 5,6,7 edits

Issue - State: closed - Opened by bennn over 7 years ago

#67 - Sec4 edit0

Pull Request - State: closed - Opened by bennn over 7 years ago

#66 - context-free sections

Issue - State: closed - Opened by bennn over 7 years ago
Labels: housekeeping

#65 - Validate pypi claims

Pull Request - State: closed - Opened by bennn over 7 years ago

#64 - How many configurations left, part II

Issue - State: closed - Opened by bennn over 7 years ago - 4 comments
Labels: data

#63 - conclusion, related work, experience

Pull Request - State: closed - Opened by bennn over 7 years ago - 2 comments

#62 - oops, retic is not source-to-source

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments
Labels: housekeeping

#61 - make a "phone book" of hyperlinks

Issue - State: closed - Opened by bennn over 7 years ago
Labels: housekeeping

#60 - POPL 2017: "the expected type safety"

Issue - State: closed - Opened by bennn over 7 years ago

#59 - fix formatting, X_d footnote

Issue - State: closed - Opened by bennn over 7 years ago
Labels: brain teaser

#58 - comparing our ratios with POPL'17

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment

#57 - retic, mutable data, SNAPL'15

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments
Labels: brain teaser

#56 - Threats draft

Pull Request - State: closed - Opened by bennn over 7 years ago

#55 - PythonFlow missing @fields annotation

Issue - State: closed - Opened by bennn over 7 years ago - 5 comments

#54 - Stats 2

Pull Request - State: closed - Opened by bennn over 7 years ago - 1 comment

#53 - Change benchmark names

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment

#52 - remove `Dyn` from stats

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#51 - retic not checking init in this one class

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#50 - Section 5, sloppy footnote

Issue - State: closed - Opened by bennn over 7 years ago

#49 - Section 4 edits

Issue - State: closed - Opened by bennn over 7 years ago

#48 - protocol: document num. configurations

Issue - State: closed - Opened by bennn over 7 years ago

#47 - bug or feature?: checking for unbound methods

Issue - State: closed - Opened by bennn over 7 years ago - 4 comments

#46 - Results II

Pull Request - State: closed - Opened by bennn over 7 years ago - 1 comment

#45 - Clickable benchmark names

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments
Labels: brain teaser

#44 - Organize scripts

Issue - State: closed - Opened by bennn over 7 years ago

#43 - Protocol

Pull Request - State: closed - Opened by bennn over 7 years ago

#42 - Misc. complaints about retic

Issue - State: closed - Opened by migeed-z over 7 years ago - 1 comment

#41 - formally compare sampling with/without replacement

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment
Labels: brain teaser

#40 - Berry-Esseen theorem

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments
Labels: brain teaser

#39 - Describe "inexhaustive" benchmarks

Issue - State: closed - Opened by bennn over 7 years ago - 3 comments

#38 - Describe protocol

Issue - State: closed - Opened by bennn over 7 years ago

#37 - Fully-typed, fully-untyped runtime for large benchmarks

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#36 - Missing iterations / samples

Issue - State: closed - Opened by bennn over 7 years ago - 6 comments
Labels: data

#35 - Discuss: what guarantees matter

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment

#34 - History of retic type annotation syntax

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#33 - Describing the graphs

Pull Request - State: closed - Opened by bennn over 7 years ago - 2 comments

#32 - Correlation / R^2

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#31 - What is micro gradual typing????

Issue - State: closed - Opened by migeed-z over 7 years ago - 1 comment

#30 - [dls] edit benchmarks.scrbl, part I

Pull Request - State: closed - Opened by bennn over 7 years ago - 3 comments

#29 - measuring and linear sections first draft

Issue - State: closed - Opened by migeed-z over 7 years ago - 2 comments

#28 - reticulated section first draft

Issue - State: closed - Opened by migeed-z over 7 years ago - 9 comments

#27 - Adapting method first draft

Issue - State: closed - Opened by migeed-z over 7 years ago

#26 - Review benchmark section

Issue - State: closed - Opened by migeed-z over 7 years ago - 1 comment

#25 - [dls] prettier 'exact runtime' plots

Pull Request - State: closed - Opened by bennn over 7 years ago

#24 - Static info

Pull Request - State: closed - Opened by bennn over 7 years ago

#23 - Investigate performance oddities

Issue - State: closed - Opened by bennn over 7 years ago - 5 comments

#22 - Fix ticks on exact runtimes plots

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment

#21 - Overhead plot

Pull Request - State: closed - Opened by bennn over 7 years ago - 1 comment

#20 - pidigits error on cluster

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#19 - Write first part of section 3

Issue - State: closed - Opened by migeed-z over 7 years ago - 1 comment

#18 - Typo in gradual guarantee?

Issue - State: closed - Opened by bennn over 7 years ago - 4 comments
Labels: brain teaser

#17 - How many configurations left?

Issue - State: closed - Opened by bennn over 7 years ago - 19 comments

#15 - A Picture of Static Info

Issue - State: closed - Opened by bennn over 7 years ago - 1 comment

#11 - Read papers on Reticulated Python

Issue - State: closed - Opened by bennn over 7 years ago

#10 - Draft the Benchmarks section

Issue - State: closed - Opened by bennn over 7 years ago

#8 - Related work: software product lines

Issue - State: closed - Opened by bennn over 7 years ago - 2 comments

#7 - Collect Python runtimes

Issue - State: closed - Opened by bennn over 7 years ago - 5 comments

#6 - CherryPy benchmark?

Issue - State: closed - Opened by bennn over 7 years ago - 5 comments

#5 - Port more benchmarks from Racket

Issue - State: open - Opened by bennn over 7 years ago - 5 comments

GitHub / nuprl/retic_performance issues and pull requests