[Ur] Ideas for evaluating Ur/Web compiler's optimizations?

[Sergey Mironov]

Hi. Probably, it is not the best option, but I think I should mention:
I have an application without proprietary dependencies: Compet [1] (An
archery competitions management tool). Unfortunately, it is half-done
and the development is far from finish. Still, it is OK to use the
sources [2] for whatever reason.

Regards,
Sergey

[1] - http://hit.msk.ru/Compet/main
[2] - https://github.com/grwlf/urweb-compet

2014-11-02 18:08 GMT+04:00 Adam Chlipala <adamc at csail.mit.edu>:
> Hi all,
>
> I'm looking to write another paper, this time about the optimizations in the
> Ur/Web compiler.  The TechEmpower benchmarks provide a decent set of
> microbenchmarks, conveniently comparing against many competitor systems.  To
> support a paper evaluation section, I'd also like to run some kind of study
> on a reasonably realistic full-scale application.
>
> Thanks to several of you for publishing the source of your production
> applications on GitHub.  I wonder if any of those or some other code base
> out there makes sense to use for an evaluation of the impact of different
> optimizations.
>
> Any suggestions?  Thanks!
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur