Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: Ningning Xie <ningningxie AT cs.toronto.edu>
  • To: types-announce AT lists.seas.upenn.edu, haskell-cafe AT haskell.org, coq-club AT inria.fr
  • Cc: Ningning Xie <ningningxie AT cs.toronto.edu>
  • Subject: [Coq-Club] PLDI ’24 Artifact Evaluation Committee: Call for nominations
  • Date: Fri, 8 Dec 2023 16:35:43 -0500
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ningningxie AT cs.toronto.edu; spf=Pass smtp.mailfrom=ningningxie AT cs.toronto.edu; spf=Pass smtp.helo=postmaster AT aviary.cs.toronto.edu
  • Ironport-data: A9a23:tQUw1KxhfD/RnLB1Ru16t+cVwyrEfRIJ4+MujC+fZmUNrF6WrkUCm GdLUDuHaffeZTT2edAkbt/k9U4Du5fSmII1GlFppFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Ic3l48sfrZ80o15KSq4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPn/dk/HUQTfrZBxf8wB2dL7 9dAdBsSO0Xra+KemNpXS8FlmMUqNtitN5hZpnZ6yjfFCrArTY2rr6fivIUImm5o3oYVW6eGD yYaQWIHgBDoZRxJNVEWDp0uneqAjWK5bzpCr1SJouw673W7IAlZieS0aouLIoPVLSlTth6H+ TnfpXX+ORQTCseNlWOczX+ngsaayEsXX6pXTtVU7MVCi1qKg2cXFRc+Tkq+ufD/i0ikWtsZJ VZ8x8Y1haEs9UWxX5/2RFukp2SDuAIbHddcDoXW9T2w90Yd2C7BbkBsc9KLQIZOWBYeFGN6h Gya1cjkHyJuu7CzQHeQvOXc5zCrNCRfaSdIaSYYREFXq5PusaMivCLpF9xDKa+SisGqODfSx zvRkjMyqY9OhuE21oK632v9vRSSmrbzQDUY3D7nBlCe0lshZaqORZCZ1lzA3PMRcKebVgagu VYHqei/7ccPL5OGhXHVSr4vAruv3eihNQPfjWVOBLgkzSymoFS4TLBT4RZ/BUZnCdkFcjnXe 33uuRtdyZtQHXmyZ4p1Xt6BMNsrxq3eCtjVbPDYQd5QaJxXdgXc3iVRSWOP/mLqym4ArLoeP MqFTMOSEnoqM6Rr4z6oTeM707Vw5CQfx3vWdK/r3SaczruSS36Ee4graGLUQLgC05qFhwHJ/ /J0FciAkUxfWdKjRBjny9cYKFRSIEUrAZzzlddsSdeCBQhbA0AkNe7axOIwWo5inpkNrNzyw FOGZhZ6xmb81Fr9EifbTlB4abjqY4RzkmJjAwwoImST+iYCZaSB0f4hUqUZLJcb8N5t9/pWd 8U+Wt6hB61PQwvX+j5GYpjaqpdjRSuRhgmPHnSEZR4tW5haWQfMq8LoUVvyxhY0Vwu2qsoMj Lmy3SzLQZc4ZlpDDeSHTNmN3l+OrXwmt+YqZHTxI/5XY1TKzIhmDwfTn80HCZgABjubzwTLy jvMJwkToNf8hrMc8f7LtPiilJioGe4vJXhqNTDXwpjuPBaL41f555FLVduJWjXvVGnU3qGGT scNxtHeNMw3pnp7g7BeIZ1Kk51nv8DOooVExDtKBH/INlSnKo1xK0m8gPVgiPd/+a97iyCXB GS05dhoCZeYMpjEEXkQBjYfQMat6PU2ogTWvNMJeBjUxSkv57eWc1RgDz/VggxnEbZFGocEw +Aghc0o1zKCmicaataosg0E9kCnDGAxbKE8h5RLXK7pklUKz39BU7z9Cwj3wpGDbtFMOU8pP w7PobfOqOVNzBCfK3AiSHz//ddcob8suxl66kAICHrUu9jCh94xhAZw9xZuRCtr7xx36cBBE Uk1CF9UfIKgpyxJgupHVECSQzBxPgWToBHN+gFYhV/nQFmNfU2TCm8EYMKm3l0TqkBYdRhlp ICo8n7vC2vWTZugzxkJeBBXrtL4RoZM7SzEosesGvqFE7QcYTbIhqyPZ3ICmyD4APEe1VH2m u13wNleMaHLFzYcg6keObmo0b49TBOlJmsbZdpD+KgPP3/XeRDs+DyoBn2yRPhwJK3xwRflM /BtG8NBaU3vnmLG5DUWHrUFLLJIjeYkrohKMK/iIWkd9aCTtHx1uZbX7TLzn3IvX84oq8smN 4fNbHiXJwR8X5ePd7Pl96Go+1ZUYOXooCX1wuG86vRPHIlFrOZ2dkcu1f25s2j93M5P4UePp A2aD0PJ57UK9Giut9KE/mZ/68GcIsi1SOOS9wavtJJDYc6n3QLmqVYOsle+V+hJFeJ5Zjm0/ IhhdPb8xwXZu6wxVXze3ZSNCsGlICl0sPV/aqrKEZWRocdOtAIALffOF6BU5KGlSO9g2/Q=
  • Ironport-hdrordr: A9a23:fTNMQamn8PtalXghnopOYC8PfHjpDfIM3DAbv31ZSRFFG/FwWf re+sjztCWE8Qr5PUtKpTnuAtjifZqxz/5ICOoqXItKPjOW3VdARbsKheGO/9SKIVybygcy79 YGT0G8MrHNJGk/o8Lz4Az9Nc0hztmB+KXtoevF1X9iQUVLRshbnmVE48qgfXGejTMpOaYE
  • Ironport-phdr: A9a23:i6+EPBe+YhS7NRSbcHQCFxYwlGM+09fLVj580XLHo4xHfqnrxZn+J kuXvawr0AWZG9yLtbkd1rOempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf7B/I A+roQjSt8QajpZuJ6YsxhDUvnZGZuNayH9nKl6Ugxvy/MC88oJ9/S9Nofwh7clAUav7f6Q8U 7NVCSktPn426sP2qxTNVBOD6XQAXGoYlBpIGBXF4wrhXpjtqCv6t/Fy1zecMMbrUL07QzWi7 6NsSB/1lCcKMiMy/W/LhsBsiq9QvRWuqQFiw47PeIGaKuZxfr/Tc9MdQGpORMdRVypcCY+4Y IYCC+8NMOBFpIf/ulQOtwOzCgasCu3hyTFGm2H40LMm3Ok6Cw7KwBYtEsgSvHjIrtj4MroZX +CvzKnPyDXOd+tY2Tb76IjHdBAhoPeMXb1tesXQyEkgCR7Og1KWqYzkOTOV2eINs2md7+pvW uOvinAophptrTi03Msslo7JhpgSylDC6SV5x5w5KsOlR05meNOpFoZbuC6GOYVsWMwiX31ot zggyr0AoZO2fScExZo6yxLDdfCKc4yF7BzsWeiRITp2i3Zoda+hihus80Ws1O3xW8q63ltXo CRInNfCuH4O2hHQ98SKSOdx80G80jiB0ADT7/tLIUEylafDJZ4hxaQwlp8IsUjZES/2nFv5g amLfUsn4uil8/nrbqvlq5OGKoN4lh3yPr4gl8ClBek0LhACU3aH9em4zrHu/k30TK9UgvEqk aTVqpDXKdkdq6WkHQJV1psj6w2jDzi4ytQWgHgHLVNbdx+fk4TkPUzFLuriAvelmVuslS9mx /DYMb3lBZXANmLMkKngfbln8U5dyBA/wsxE555OFrEBJ+jzWkj3tNzECR81KRK7zPv6CNll1 4MeX3yAArOBPa/Pr1OF5fgjL/SQaIMJojrwJeIp6vrygXMhnF8SZ6ip3Z8ZaHCiGfRmJl2UY XztgtcHHmcKuAs+TOrliFyNUD5ceW2/UL4n5j0hFIKmCp3DRoergLyd2ye3BINZaX1bClyUF 3fnbJ2LW+0QZyKKPs9hjjsEWKC8R4M5zxGhqBf6y6Z7LurT4iAXqZXj1MFs6+LPkREy6Cd7A t+G02CNSmF0hnkHSyU33KB5u0x9y02M3bJ2g/xCRpRv4KZVQx83LtvVyep9Ftb5VyrFf8yVU xC9T9y9RywpQ9Q3hdICfgI1G9y5jR3H22+hCrEYv7yCH5859qaa2GL+Y452zG+D3608hXEnR NFOPCuonP1R7Q/WUqjIlUqflqClPZQd0WaZ8maFwmyPuk5IUQNYWr6DQXcFYU3KqpL06l6UH OzmMqguLgYUkZ3KEaBNcNC80QQurJbLPd3fZzj0gGKsHVOSwbjKaoP2emIb1SGbCU4ekglV8 2zVfRMmCHKHpGTTRCdrCUqpe1nlpO9/rny9T0k73wCHR0Z6kaay4BkTmfvaRv8OjfofoCl0k zxvBx6m2s7OTd+Jpg5vZqJZNNU85lhB1GTWpw1wFpe7abxlnFkYbwMxsk/zhF1sEosVqcExt zsxyRZqb6KV1FQUbzSDwZX5IaHaMEH74hGmcb+Q0UqYzNGM/aET77I1p0iLUBiBME0k/j0n1 tBU1yHZ/ZDWFE8IVpm3VE8r9h98rrWcYy8n5oqS22c+ea+z+iTP3d4kHo5Hgl6pYstfPaWYF QTzD9xSBs6gL/YvkkSoaRRMNf5b9ao9NcerP/Wc36vjMOFllTOgxWNJheI1mkSN8SV6S+jHz 5cI6/qDmBeATTD6kFDnv8zq2MhFaTwUAmuj2H38HocCA886NY0PCGqoP4i23oAn3c6rAiYAs gXlVgtVva3hMQCfZFH8wwBKgEEeoHj93DC90yQxiTYi6KyWwC3Jxe3mMhsBIG9CAmd43jKOa cC5ic4XWE+wYk0njhygsAz8xq5UoqV5IHnSTG9DZG7qKHtlVLe38LeOfoQcjfFg+TUSS+m6b V2AH/T7oh0V1SLlEHtfyRgwbHe2vY/+mQB9zm+RMTwgyRiRMdE1zhDZ6tvGQPdX1TdTXyh0h w7cAV2kNsWo99GZ/3vamti3THnpFphacC2xiJiFqDP+/2phRxu2g/G0nNTjVwk8yy7ykddwB 23EqxP1Y4+j0KrfU6oveEhuC1n97cVqG4xWmZB2mJYK3n4GgdOY8WdPnWroMNpd0L7zdzJUH 25NmoaNplOjiRUrJ2nspcqxTniHx8p9e9S2Kngb3C4w9YECCauZ6qBFgTogp1O5qQzLZv0u1 jwZyPYo9Dsbm7RQ4lprl33FROtUTBELWE6k3w6F5N2/sqhNMWOmcLzqkVF7gcjkFraJ5AdVR Hf+fJ4mWy529MR2dlzWgxiRosnpfsfdadULu1iaiRDF2qJTKZQ+kPsMijpmNEr2pjs5zPQ8i wBpm5y2ocLUTgcltLL8GRNeOjDvMokV+zfii6dYkdaX0qikBdN9HS8MWofvC/+kDXhB0Javf xbLGzo6pHCBHLPZFgLK80ZqoUXEFJWzPm2WLn0Unp1yAQOQL0tFjEUITS03y9QnQxuyypWrI yIbrngBo0T1oRxWxqd0OgnjBy3B8RywZG58C5HNKRNX6gxY/AHeKoqC6fh0GT1fuJCtsWnvY iSaYQ9MEG0ECFecCRb7JL6y6NLc8u+eQO2jM//JZrbIoutbH6CBwZblumd/1w6FLd7HfnxrD vlhn1FGQWg8AcPS3TMGVy0QkSvJKc+dvha1vCNt/Iiz9/HiWQSn4oXqafMaKdJ05xW/mruOL caZmidwMyce3YhK2XjSz74D2xgfhzwmezS2ELsGvDLAV+qJwP8RVkZDLXg1ZZMA5rlZvEEFI cPBj9LpyrN0xuU4DVtITx2pm82kY9ALP3DoNF7DAxXDP7CHKDvXhsDvNPrmGfsJ1L0S7Fvh4 WX+cQerJDmImjj3Wgr6NOhNiHveJxlCoMSndR0rD2H/TdXgYxn9MdltjDRwz6dn4xGCfWMaL zV4dFtA67OK6iYNyPN+HWNH73xqPeiJsy2CqfXfMJEQrfwtDyhp3bE/gjxy2/5O4SdISeYg0 jPVtcJrqkq6n/OnwyRmWQBf7D1Qwp6Mp0JkJaKf+5VdEyWhnlpF/SCbDBIEoMFgA9vktvVLy 9TBo6n0LS9L79Pe+cZPT9iRMs+MN2AtdAb4ADOBRhVQVialbCuM4i4V2OHX7HCeqYI274Thi IZbAKEOT0Q7T7tZAwwmFY4HKZZzUyk/17WAytIP/324sB6XSclH9sfOUvbYaR0KAD2Cy6VDf RwO3bS+IIgOZNWTM61KY0d7lZ7bXUHLG8xKuCpncghyrUlQoiEWpoIb0FmjdgS353kPEri5k gNk02ND
  • Ironport-sdr: 65738c47_AbDlVrSSFOuNlG1U0/td132KNMFN1lN5wgxCEEM+vRhV68j WW/8Gtw5eX45nwNkfKyhwy3l6ow23OQKKlyHEdg==

Dear all,

We are looking for motivated students and researchers to be members of the PLDI 2024 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/wWGfW33qMY2gUqqz7
The first round of nomination ends on Dec 22rd, 2023.

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 February and mid 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,
Manuel Rigger and Ningning Xie


  • [Coq-Club] PLDI ’24 Artifact Evaluation Committee: Call for nominations, Ningning Xie, 12/08/2023

Archive powered by MHonArc 2.6.19+.

Top of Page