Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PLDI’25 Artifact Evaluation Committee: Call for nominations

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PLDI’25 Artifact Evaluation Committee: Call for nominations


Chronological Thread 
  • From: Konstantinos Kallas <kkallas AT cs.ucla.edu>
  • To: coq-club <coq-club AT inria.fr>
  • Subject: [Coq-Club] PLDI’25 Artifact Evaluation Committee: Call for nominations
  • Date: Fri, 22 Nov 2024 15:26:19 -0800 (PST)
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kkallas AT cs.ucla.edu; spf=Pass smtp.mailfrom=kkallas AT cs.ucla.edu; spf=None smtp.helo=postmaster AT mail.cs.ucla.edu
  • Dkim-filter: OpenDKIM Filter v2.10.3 mail.cs.ucla.edu 940E73C03E9EF
  • Ironport-data: A9a23:fivVOKxN+SOeVptHF+Z6t+fXwirEfRIJ4+MujC+fZmUNrF6WrkVWm DFND26CM/3fY2GnKtAnPd7n8UMBuMXXydFlSlBqrFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmQc3l48sfrZ9Eo25q6q41v0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPFgMtlLmUfP7dfoL1ZKm0T7 8NbMRkSO0Xra+KemNpXS8Fpj8UnasLwep4UvngmwD3EZRokacmYGuOTuo4ehW1gwJ4QdRrdT 5JxhT5HbxfJZxlGIX8cE9Qjl+OhwHTzblW0rXrM9PdrujiLnFUZPL7FCuT8f+OQSMVsgW3G9 jyW4ETcIgk3HYnKodaC2inx3LeVzHKTtJgpPLa/77thhECZ7ncCDQUfE1q9u/iwzECkM++zM GQR8ysq66MpslGgStC7UhGlyJKZgvICc/MTLeYYzCiP8O2OuCiyCjUecX1YQcNz4afaWgcW/ lOOmtroAxlmv7uUVW+R+9+oQdWaZXV9wYgqOHRscOcV3+QPtr3fmf4mczqOOKu8j9mzEiq23 juOpW4zi6h7YS83O0eToA+vb9GE/8ahousJCuP/BDnNAuRRP9fNWmBQwQKHhcus1a7AJrV7g FAKmtKF8McFBoyXmSqGTY0lRe7yvazca2yE3wMzQfHNEghBHVb/Jei8BxkjfC9U3josIGOBj LL7410LtcYJVJdURfYtONPtYyjV8UQQPY+4DKiOP4smjmlZaQmG4ix0fk+MzijqngAnmKU+N 5CBd8elRXIdEuxuyjW7Q+oGuYLHNQhirV4/savTlkz9uZLHPS79YeleajOmMLtmhJ5oVS2Oq L6zwePRkE0HCIUTo0D/reYuELz9BSNqXsmn+pAIL7Trz8gPMDhJNsI9CIgJI+RN95m5XM+Rl p1kch4IkgjMljfcJB+Ua3tuTrrqUNwt5Tg4JCEgdxLgkXQqfY/lvu9VeooVbIsX0rVp7cd1a P0ZJOSGIPBEEQrc9xonMJLSkY1FdTaQvzyoARaLWjYFQsNfd1T7weO8JgrL3wsSPxWzrvo78 uGB1BuEYJ8tRDZCLcfxadCtxELs5ElHiOJWWnXLLuJyY2TpypBhcAbqv880IuYNCBTN/SSb3 ACoGiUlpfHBjos20dvRj4aGpJeNP8okO2QCBEjdz7K9FReCz1qZ2YUaDdq5J2HMZl376ICJR LtzzcilFNYlgVwTkY53M4gz/JIE/9G1+oNrlFV1Lk7qMWauJKhreESd/M91saZI+L9VlC22V m+L+fhYIb+5A9zkInFAODsaavm/6t9Mlgnw9fgVJGDI1B1z9peDUmRQOECoow5ZJ71XLogk4 LkAvOg71g+BsScpY+221n1sy2exL3I7Q/oGsLMeC9TVkQYF8AxJTqHdLS7U26uxTetwHHMkG RKuv5qatY9gnhLDV1ERCUny2fFsgMVSmRJSk34HCVe7uvvEof4V3hZArG0GFBRV6hB50O5IG 3NKMndtLv6k5AZYh8lkXkGtFTpeBRafxFfD9lsRmEDdTGiqTmbrLmYtHcqspmU3q3l9eBpf9 5GmkFfVay7gJpzN73FjSHxbpOzGZv0v0A/7weSMPdmPRrs+ahrb2p6eX3IC8UbbMJlglX/8h LdY+chrYvfGLg8WmaowDrea2Zk2SBypIG9jQ+lrzJgWHFPzKS2D5jyTF3+fIs99BeTG0UudO fxcIshiUxef1iHXihs5AaUKAaF/nd93xd4kV47oG1U7sOqknmI0iK7Tyynwv390YtNMlc1mF JjdWQjfGUOthFxVuVT3ku96BkSCb+IpWijAzcGu0eBQF5s8oOBmKk4z9b2vvkSqCghs/jPKn QaaZ6bp0PFTkqFxk7TKCZR4WgGGCe7ycM+q8wmDlctEQv2SEMXJtiIT8kLGOSYPN5Qvet1Hr 5a/m/+p41H055MNTHH/mbONM4Jr9PeCdrNbHeyvJUYLgBbYftHn5iUy3lyRKLtLoYt73damT Q7pU/mAX4cZdPkFzUIEdhUENQgWDpn2SaLSpSmdifCoITpF2CzlKOKXz1PYXVt5RAQpZaKnU hTVvsyw7O92tI5PXR8IJ893Cq9CfWPMZ/EUSM3ThxK5UE+TnVKwipnzn0EB6BbKKEW+PuTU3 JbnfiX6JTOO4Pzm7dcAv4JL60hdSD43hOQrZUsS9uJnkz3wXiZMMe0ZNo5AEZ1O1DD70Jbjf jzWcW8+EmPHUC9ZdQnnqsHWNutF6jfi5v+iTtDow6+VV8tyLIaJAb8n/Twm/nxyc33uwPzPx RTyPJHvFkDZ/32rbb97Cj+HbSNPzeic23kM8Abwn9Ga79M2H+ARzHI4dOZSfXWvLiwO/Xkn4 UA+XiZZS0WyD0P9DK6MvpKT9A4x5FvS8tnjUctDLBszdWlWIC2sBcAT493O74A=
  • Ironport-hdrordr: A9a23:n3LyUKCUy62CiWTlHeme55DYdb4zR+YMi2TDsHoBMSC9E/bo7v xH/pwguSMc7Qx/ZJhOo6HiBEDtewK/yXcX2/h2AV7BZniDhILAFugLhuGOol3d8kbFh4lgPN JbAtJD4arLfCVHZKjBkWyF+q4bsaK6GX+T69vj8w==
  • Ironport-phdr: A9a23:3ufZlhEuC5xXc9O6tuGZnJ1GfwFGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21RmVBc6Du7oE07OQ7/u4HzRYoN6oizMrTt9lb1w/tY0uhQsuAcqIWwXQDcXBSGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfq8Uam4RvJro+xhfVoXZDZuBayX91KV6JkBvx6Nu88IR//yhMvv4q6tJNX7j9c6kkQ rNUCygrPXoy6MP3qxfIUBGB5mEbUmUYkxpIBxbK4RTnVZrvsSX0q/Rw1jCCMcL5Ub47VzKi7 7x2SBDzkycIKyQ58GDMhcNuiq9QvQ+sqAZ+w47QZ4GVKeZ+c6bAdt4UWWZNQsBcXDFGDY2hc osPFPIBMvhEoInhqVUOqh6+ChOtBOPp1zREgnD70Kk/3+knDArI3hEvH8gWvXrarNv7KqQcX /26w6bUwjvNaO9W1Czh6IXKbh8tvfCNUa5yfMfX1EIhFxnFjlKVqYH9Oj2V0eINs3OH7+V6U +Kvl28nqwd2oji028wij5PGhoYRyl/e7iVy3YE4Jd67SEFhZd6kFIFftzqBOoRqWcMuWXxot zo+yrIco5K0YjUFyIk+yhPZdveIfJSG7Aj5W+aNPTd3mmhleLSnihqs8kWty+zxWte03ltKr iRLndvBu3MQ2xHS5MaKRPRz8Eev1DuA2Q3e6PxJL08wmKbFKZMszLE9mocPvEnCAyL7nlj9g qGRdkUh4Oeo6uLnb63opp+bLY90jxr+Pr4hmsy7H+s1NBUFUWuD+emkybHu81D1TK9XgvA0l qTVqo3WKdoYq6KjAgJY04Au4AuhAjeizdQYhmUHI0xfeByajojoOk/BLejkAfq5nl+iii1kx +rcMb3kGpjNLmbMkLPmfbtl7k5T0gszzdRF651IEbENOu/zVVP1tNPCFBM2LRG7w/v/BNV80 IMRR36PD7eEPK7crFOE/P8jLuuIaYMPpTrxNfso6+TvgHI4gVMdeLOm3ZoTaHC2BPRmJECZb GLvgtcCC2gKug4+Q/bxiFCZTTFTfGy+X78g6TE/Eo2qF5nMSZ2wgLCZ2ie0BYVZZnpaBVCUD Xfoa4KEVu8RZC6KOM9ujiQEVaS9S48mzRyhqAj6y6N+IuXI/i0YqIns2cNu5+zTkBEy7SZ7A 96c02GLVWF0n3kHSyU43KBl8gRBzQKI1rE9iPhFH5QH7PRQFww+KJT0zupgCtm0VBiXLfmTT 1PzYdKgGi04SM4wxdgVK2V0H9GrlViX3CmjB7scjJSAH9op+abVmXX9OpAumD79yKA9ggx+E YN0Pmq8i/sjpmA7ZqbMmkSdzeOxcLgEmTTK/yGFxHaPu0dRVEhxV7/EVDYRfBietsz3s2XFS bLmErE7Kk1Z08fXKahDbtngln1NX7H+M9DXJW+9hjT4Hg6Gk4uFd5GiYGABxGPYAUkAnRoU+ COFNgE6Ai66i2nFSiFlEVupbk/xoqFlsH3uaEgywkmRalF5kbq4/hlAnfuHV/Yaxa4Jog8ko jRwWl2mmc/dD9PGqgZ8FElFSfU65loPlWfQtggne4elM7gnnFkVNQJ+o0Lp0RxzTIRGi8kj6 n0wnkJ0LuqD3VVNein9v9i4M6DLKmT04BGkarLHklDY3tGM/64T6fM+41z9tQCtH0Am/j1py d5Qm3eb45zLCkIVX/eTGg409BF+o7jBSiImoZ7f0XQqPKWp83fD198vGOo520O4Zd4MeKiAF QL0D4gbH533c7Vswgf4KEtebKYMqv1RXYvubfaN1a+1Mfw1mTuniT4C+4VhygeW8CE6TOfU3 pEDyvXe3w2dVj66gk3y16K/0Y1CezwWGXKyjCb+A4sELK5xdIIPAHyGKNbx2956jtjgV2MSp zvBTxsWndSkfxafdQm33g5Z0UAeulSsgm2lxDh91Twls+DMlDyLyOPkeh0dP2dNT2Q3llbgL 7+/iNUCVVSpZQwk/Pe8zX7z3LMT5KF2Lm2JBFxNYzCzNWZpFK25qruFZcdLrpIuqyReFuqmM xiWTbv0oh1S1C2GfSMWxzMyczWjob3yhFpng2aUant/sTLVdNpxyhHW+NHHDacKh3xfG3g+0 GOHQAbid9Cytc2ZjZLCrvyzWwfDHtVIfC/nwJnB/Cq36Gt2AAGuyvW6m9npCw8/gmfw09hnU zmNrQ6pO9Kykf3lYKQ+JBkuWgGvjqgyUptzmYYxmpwKjH0Th5HPuGECjX+2K9JQn6T3cHsKQ zcPhd/T+gnsnkN5fRfrj8r0UGuQxsx5apy0eGQTj2g+7MlODK6PxLdf2zZ+plP+oA7MK6sY/ H9V2b415XgWjvtc8gkuxyGZC6s6FlIeICfonlKF4830/8A1LC6/NLO30kR5h9WoCrqP9xpdV HjOcZAnBSZs7897PQGEwDjp54rjYtWVccMLu0jejULbl+YMYsFU9LJClW99NGn6p3Fg1+Mrk Ukkw8ShpIbeY2R1oPDgWUceb2KkIZpJqne1yvwC1seOg9L2RcwnQ2paGsW0C674dVBa/fX/a 1TXS2R68yjKX+qHW17AoEZ+8SCVTcj0ZX/PfSFLn5I5HlGUdldanBhSQT4+l9g0Gh3tnpepZ k594np5CkfQjBxKx6ooMhD+Vj2avwK0cnIuT5PZKhNK7wZE7kOTMMqE7+s1ETsKtpum5BeAL GCWfWEqRSkAR1CEClb/P7Kv+ciI8u6WAfC7JufPZrPGoPJXVvOBz5aimoV8+DPEOsKKN3hkR /o1vygLFWh+ANjcki4TRjY/kivMa4iQv1Gh8Sl+6M2z7bWjWQ7i45eOF6oHMdhr/EPT4+/LP OqRiSBlbDdAg8pXnDmRl+lZhQRCzX8wJFzPWfwauCXATbzdgPpSBh8fMWZoMddQqrg71U9LM NLajdX80vh5iOQ0AhFLTw+E+InhaMoULmW6LF6CClyMMeHMJj7Cx8X+eou3UvtNh+Fd8RC8p HzIdi2rdiTGjDTvWx21ZKtUizqHORVFpIynWhNkCGylR8mgdxa/OZl6gSB8kthWzjvacGUbN zZ7aUZEqLaduDhZjvtIEGtE9nN5LOOAlk5xDsHdI5cS9/BwRDl/k+sc7XgnmeM9BMRsT+czh SDWp5hjr0z0yoFnJRJsS1xToTJCwo+HoBc7UZg=
  • Ironport-sdr: 6741131f_JFk5vhX6iRUAHE0KuevD2vsh8MAPOzUCeK33to9EfpOmn4W 9wIAuxhoPaQXRtVo97s30vUVOrviva0WszoHCQQ==

Dear all,

We are looking for motivated students and researchers to be members of the
PLDI 2025 Artifact Evaluation Committee (AEC). The artifact evaluation
process aims to promote, share, and catalog the research artifacts of papers
accepted to the PLDI research track.

This year, we are accepting self-nominations for the AEC. The self-nomination
form is available at: https://forms.gle/2TPmixasDmqMNz1GA
The first round of nominations ends on Dec 23rd, 2024.

As a committee member, the primary responsibilities would be to review the
artifacts submitted corresponding to the already accepted papers in the main
research track. In particular, you may have to run the associated tool, check
whether the results in the main paper can be reproduced, and inspect the data.

We expect the bulk of the review work to take place between early March and
late April. Each artifact will take about 8h to review, and reviewers will be
assigned about 3 artifacts to review.

Come join us in improving the quality of research in our field!

Best regards,
Ningning Xie and Qirun Zhang


  • [Coq-Club] PLDI’25 Artifact Evaluation Committee: Call for nominations, Konstantinos Kallas, 11/23/2024

Archive powered by MHonArc 2.6.19+.

Top of Page