samth
2018-1-25 16:28:58

PLDI reviews are in


samth
2018-1-25 16:29:08

we aren’t going to get in, but I think we have some useful feedback


pravnar
2018-1-25 16:45:22

Yes. Here are three comments/questions that I found informative, especially as specific points to address and improve the paper:

  • Will your system work for models others than the one presented in this paper? When can I expect it to work? What is its failure mode?
  • Can the paper provide examples that show (i) exact inference is useful and (ii) a full posterior is required to solve a particular problem?
  • The paper posits that “Arrays are a key element of almost any realistic model…” but the evaluation uses only a very simple examples to demonstrate the paper’s efficacy (measured in micro seconds).

carette
2018-1-25 16:50:47

I have just read all the comments, and they really are quite good. [Although some of the reviewers seem to disagree on what parts they liked!]


samth
2018-1-25 16:51:15

I think the third reviewer really doesn’t like probabilistic programming in general


samth
2018-1-25 16:51:25

but otherwise I agree


carette
2018-1-25 16:51:29

For our ‘rebuttal’, I think we should simply thank the reviewers for providing this solid feedback. (Well, at least two of them did).


carette
2018-1-25 16:52:09

So now we should decide ICFP or POPL. I’m sort of leaning ICFP.


rjnw
2018-1-25 17:13:59

where can I see the reviews? I logged in https://pldi18.hotcrp.com/ but can’t see there.


samth
2018-1-25 17:14:33

can you see the paper?



rjnw
2018-1-25 17:15:19

nvm I was logged in with wrong email


ccshan
2018-1-25 22:19:06

I drafted a response:

We thank all the reviewers for their very helpful comments. We have implemented additional benchmarks where our system generates efficient code for approximate inference on models with arrays. These benchmarks will help us address your comments and improve the paper in the future, especially to illustrate our system’s generality as well as limitations.

We agree with Reviewer B that the histogram transformation is related to transforming loops into list homomorphisms (map/reduce), so we would appreciate any pointers to relevant works.

What do y’all think?


samth
2018-1-26 00:16:02

that looks good to me


ccshan
2018-1-26 07:26:59

Sent!