Peter Sewell

Did you make any progress with this? I have the same problem, apparently when there are collisions (I would have expected the CRC to catch this, if the h/w is...

Thanks, I'll give that a go. I suspect it's not the cause of the problem I'm seeing, though - I believe I have auto-ack and retransmission turned off. I've got...

It's not doing exactly the same thing - provenance not capabilities - but one of our WG14 colleagues has produced a diff to the standard to add provenance (just per-allocation,...

On Sat, 9 Sept 2023 at 13:50, Eddie Kohler ***@***.***> wrote: > HotCRP already stores this information & has for years. Unfortunately, > there are some conceptual roadblocks in showing...

I'd like to echo this request. It is common in our field to distribute preprints of submitted papers. For those, there is a lot of extraneous noise that does not...

Thanks for the response. On 5 July 2017 at 20:28, Craig-Rodkin wrote: > I’ll put this forth within our annual review process, but the primary use > of ACM templates...

Having had to spend quite some time again last week hacking acmart to produce a clean version of a not-yet-submitted paper for distribution (on my web page and via arxiv),...

On 12 November 2017 at 19:15, Boris Veytsman wrote: > @PeterSewell , I understand these woes. > However, the decision to implement these changes - with one exception - is...

On 12 November 2017 at 21:35, Boris Veytsman wrote: > Why does your file load ts1ptm.fd? > no idea > It should not. Could you please post a preamble of...

they were there - I guess the reply.github.com is stripping them. another email? On 12 November 2017 at 23:18, Boris Veytsman wrote: > I do not see the attachment :(...