Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PLDI 2023 Artifact Evaluation Committee Nominations

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PLDI 2023 Artifact Evaluation Committee Nominations


Chronological Thread 
  • From: Anders Miltner <miltner AT sfu.ca>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] PLDI 2023 Artifact Evaluation Committee Nominations
  • Date: Tue, 25 Oct 2022 04:29:20 +0000
  • Accept-language: en-US
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=miltner AT sfu.ca; spf=Pass smtp.mailfrom=miltner AT sfu.ca; spf=None smtp.helo=postmaster AT mailgw3.sfu.ca
  • Ironport-data: A9a23:dkB6mK2B3WK3OLo9IPbD5fR1kn2cJEfYwER7XKvMYLTBsI5bp2EFm mpJXT/SMvmMN2DweN8nPdznoR4B7J+GytcyTFE+3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHtIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3ZRn0hlaYDkpOs/jZ8Us14ayr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSMIUekIIrL0RTvuSo0knEU3nX+8lwFR5tH6YD9LtZPz9Ro KlwxDAlNnhvhsqzybO/RfY3wN8tMY/gNevzuFk5kWufUKZgG8uZBfyVure03x9o7ixKNfPfY 9YfZCBHdxrdJRZGUrsSIMxvxLn41iChG9FegHKngqssz0zy8B1O3JTzc/nIZeSEa/wAyy50o Uqcpj+nWE5AXDCF8hKO9WvpjevSlwvgSYcKHfu58ORriRud3AQu5AY+UFK6pfam0QilVc8ZI EV8FjcSQbYaz1GvTPn/ZCWEvmfb5Tw3QNQNPdNk91TYokbL2DqxCm8BRz9HTdUpss4qWDAnv mNlefu1WVSDV5XJEhqgGqeoQSCaZXlOczJcDcMQZU5cuYOy8d5p5v7aZo87eJNZmOEZDhnb6 lhmRgAYgK8PjYY13qOw+k3ZjijESnPhcFEXjuk7dki/7x94f47tTIus9F3R7P8oEWp0ZlyIv XwLhJPY9+4TS5qE/MBsfAnvNO/3jxpmGGSC6bKKI3XH32/wk5JEVdsBiAyS3G8zbq45lcXVS EHSoxhNw5RYIWGna6R6C6roVZp0k/O+T4+5C6mMBjarXnSXXFPalM2JTRLMt10BbGB1+U3CE cjBLp7wZZrkIfs3pNZJewvt+eVynX5kmjm7qWHT1BWi1rzWamScUrofeEaIb/409riFvBS9z jqsH5fi9vmra8WnOnO/2ddLczgidCFnbbir9ZA/XrPdc2JORjt9Y9ePmulJU9I+wMxoehLgp SzVclVG02D2mXCvAVzMMhiPnpu0Ac0gxZ/6VARwVWuVN48LONv/s/1GKMZsJ9HKNoVLlJZJc hXMQO3Yatwnd9gN0211gUDV/NEyJie4zxmDJTSkazUZdpttDV6BsNz9cwelsGFEAiOrvIFs6 /etxyHKc6olHg5CNcfxbO7w7lWTuXNGpvl+cXGVKfZueWLt0rNQFQrPstENLfsxdCrzngmh6 17OADMzh/X8nIsuwdyY2YGGt9iIFsV9LGp7Hk7az6SEMxTHzzCOwKtrcuWBTRbCXkzapYSgY uR0yannEfslxVxljat1I4xJ/4kfueT9huZ94Fx/PXPpa1+LNOtREkOe15MSipwXl65rhwSmf 2mupP9YAOytE+H4GgczIAEFULyy5csMkGOP0cVvcVTI3w4pzr+pSk4IAgKtjhZaJ75LMI8I5 +ctlcoVyg6ngCoRLde0oXFIxluIM0A/ff0rhrMCDK/vrzgb+FVITJjfKy3xuZ+0e4ptNGsuK WSqn6bsvelX6XfDVHsRLkLz+9Rhq64Agz106WMTBk+on4PFj8An3RcK/jUQSB9U/yp90OlyG zZKMhR1LJqe+Tt6odVIBVL1PwRnBDyY5U3D5F8bn0LJT0STdzLsLU9sHc2v7Uwm42ZnUTwDx 46hyUHhSiTPUPDq+ykPBX5etP3oSOJu+j34mMyIG9qPG784a2HHhpCCSHUpqRy9J+8Mn2zC+ PdX+dhvZZ3BNSI/p7MxD6+Y3+8yTDGGPGlzfuFzzpgWHG3zeCCA5hbWEhqfIvhyHv3t9VO0L +dMJcgVDhS363uonwAhXKUJJ+d5oe4t6N88YYjUHG8hsYXOihpysZnVyDryu39zffVqjvQGC 93wcxCsLzWuoEV6yk73gutKAG6aWeU/RRbd2bm1+doZFphYv+BLd1oz44SOvH6UEVVG+TSRs DieZZ7t7vdDzL50lNDGCZRzBASTKPLyWt+X8Qu1jc98UNPXPerKtCIXslPCPTkKDYAOWt9yq 6uBgOT30GzBorwydWLTwLuFKIVk+uSwW7BxHv/sDXwHgxaHZtDg0yED90+8N5ZNttFXveujZ gmgbfqPZcwnYMhcyFJVehphPU4kUYqvVZjZpAS5s/ioIToe21aeLNqYqFnYXVsCfSoMY5DDG gv4vsi13e9hraNOOk40N6kzSdswalruQrAveNDNpCGVRDvgyE+Lvrz50wEs83fXA32DC9z3+ o/BWgO4ThmppaXU15tMhuSeZPHM4KpV2oHcv37x+uKaTxi/BW8CIvtGd44IF9dfm0QeEX0+i C7lNAMf5efVBFyosikQJPz4UBrZDeVm1hLROGky503NA8upLNroPVainxuMJ19tdCalx+jPx RTyPJHvFkDZ/6yFjtr/KhB2bSmLCx8aKr81FZjBrvHP
  • Ironport-hdrordr: A9a23:cztrmqwYgAieiQA+awTUKrPwH71zdoMgy1knxilNoERuA6ilfr OV7ZMmPH7P+U0ssR4b6LK90cW7Lk80lqQFm7X5X43SOTUO0VHAROsOgbcKqAeAJ8SKzJ8/6U 4WSchD4bPLY2SSxvyKhjVQW+xQueVv6prCuQ7x9QYUcT1X
  • Ironport-phdr: A9a23:zSfGXxDPYG6kc6/CQ7CmUyQUwEgY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua82ygORAM6LtrptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys9ZDfeQpFiCa9bL99L xi7rRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3T bpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjul8 qlrVQToiD8ZODEl7GHZhMtwjKdBrxKgoRx03orYbY6ROfZ7eK7WYNEUSndbXstJVyJPHJ6yb 5cBAeQCPOZXs4byqkAUoheiAAmhHv/jxiNWinLwwKY00/4hEQbD3AE4A98Otmnbo8vvNKcJT Ou7y6jIzTHfb/NQxzj98pXDfxckofGNWbJwbczRxlc1Fw7elVWQp5HlMymJ2esXqmWW6fdrW u2zhWA9sQ5xviSvydk2ionPno8Y10zJ+DtkzIsrKtO0VEB1bNyqHpZftSyXK5V6T8w+Tmxqp Ss0xaALtJ6ncCUUxpoqxxHRZ+CbfoaH4hzuSvqcLDFlj3xrf7K/ggy98UmmyuDkWMm010xKr i9ektXWuXAN0wLc586aQfV+5keswSuD2g/N5u1eIU05lrDXJ4Avz7IujJYfrEbOEy3ulEnrg 6KaaF8o9+ir5uj9fLnquJ+RO5Vqhgz+LKgjnNG0D/4iPQgURWeb/Pyx1L398k39R7VHlvg2n bPYsJDeKsQaqKC0DxVO0oYt9hazFSup384AkXkGKlJKZg6HgpD0N1zBPvz0F/eyjle2nDt1y f3KIKftDojPI3XBiLvheKxy609YyAo919Bf4JdUB6kEIPLyXk/xqNrYAQEjMwGv2ObnBsh92 pkCVm2VGqOZNrjdvkeS5u0zO+mMeJMVuDHlJvQ4//Lul2M2mUcBfam12psacGy3HvN/I0mAf XXshsoBHnwRswolTO3qjUWCXiRJa3azWaI8/DA7B5i8AYfNXID+yICGiW2wGYQTbWRbAHiNF 23pfsOKQb1EPCmVO4pqliEOfbmnUY4okx+04lzU0b1ie8PS9iACrtrG1dxp4eDJ3UU39DhoC cmH+3qDUid/lzVbFHcNwKljrBklmR+42q9ijqkERLS7httMWwY+b9vHyvBiTsr1UUTHd8uIT 1CvRpOnByswR5Q/2YxGeF5zTvOliB2LxC+2G/kNjbXeAZ0w7qTRxVDqKds7wH+VnLI5gQweS 9BUfXajmrY58gHSA4DTlEDMkqeuaaIRxgbW+nrFxmPd9FpAXltWVqPIFWsaelOQrdn94RbaS KSyDL08LgZb4cuLK69FdYavlltbAvzqUDjHS0S2nWr4RROBx7fWKZHvZ31YxiLWTk4NjwEU+ 3+Ccwk4HCao5WzEXnRoEhr0bkXg/PMbyjvzR1IozwyMc0xq1qaksh8Ti/uGTvoP37UC8C4/o jRwFVy50prYEd2F7wZmeaxdZ5s67jIlnSrctghhOJG6B7tsmxgVekU/vk/j0Ql2FpQVidIj/ zshyAt/L77d0UsULm/Cm82gfOeMcC+ro0/8DsyekkvT29uX5KoVvfExqlG5+RqsClJn6XJsl d9cz3qb4JzOSgsUS5P4FEgtpH0Y7/nXZDcw44TM2DhiK66x53XH2tY1AuY/4g2uYpFUOenXX B+3CMAcC8W0faYvmly1aB8eFPtc6eg/Non1EpnOkL7uN+FmkjW8iG1B640oyUOA+R13TevQ1 ooEyfWVtueefw/1l0zp8sX+mIQeICoXAnL60y/vQohYeqx1e48PT2aoOcy+gNtk1dbhXHtR9 VjrAF1juofhfBuWc1rwxyVL21lRqnXvlSajzjNymi0kteLGgHaInrSkLkFdfDcUGyFrlh/0L JKxjswGUUTgdAUvmBa/pCOYj+BaqKl5M2jPUBJNdinyIXtlV/j4vb6DbshTrZIw5HwLCqLhM RbAEeS7+kRFgEaBVyNEyTs2di+noMD8lh1+0ieGKWpr6WDecod2zAve49rVQbhQ2CAHTW92k 2qyZBD0Mt+38NGTj5qGvPq5UjfrU5xXbS/m16ubujb97mQgUlWv2uu+nNHqC11w1C7/y99nT w3Togu6aYChhMHYeap3O0JvAlH78c9zHIpzx5AxiJ8n0n8fnpyJ/HADnDS7IZBB1Kn5dnZIW S8Tzouf/l3+wEM6ZCHspcqxRjCHz8BmfdX/fm4Gxnd38ZVREKnNpL1cwXks/gD+8FKXOKAl2 G9ak6Fm6WZG0bhV4kxwnmPEU+hURQ4CYUmO31yJ94zs9fkNIjv/N+ntkhMgxpf6VvmDul0OA SqjPMpyW3UrtIMndwiQmHzrttO9JIOWMIJV7EXM1U+H1bQwStp5l/wBgTdrNDDKpmUrjeN+h Bdy3I+7p5TBIGJotPWwBhoSXtHsT+UU/DylzaNXn8LMmpuqAo0kADIAGp3hUfOvFjsW8/XhL QeHVjMm+D+dHvLEEAmT5V0DzTqHGo23N3yROHgSzMlzDBibKktFhQkIXTI81pcnHwGuzcblf Q93/DcUrlL/rxJNzKpvOXydGi/Hoxy0bz4vVJWFBB9f7wVN+ByTKsKDqOl6XmlZ8pCnsA2RO zmbagBPXgRrEgSPA1HuOKXr5MGVqrTCQLfuaaGVO/PX9rMNMpXAjYii2YZn4TuWY8CGP304S uY+xlIGR3dyXcLQhzQITSUT0SPLdc+S4hmmqUgV5oiy9urmXAX36M6BEbxXZJ9q+hSqh6qZH /WemWByIHwLs/FEjW+N07UZ0FMI3mt2cCKxFL0bqSPXZKfZm6tYEEVdcC1ucsBBpfFZvEEFK YvQjdX70aR9h/g+BgJeVFDvrcquYNQDP2C3MF6v7KOjL7qbYzbCkZmfiUKUTLRRiOpL7Furt yvdGEaxZlxreBHyWQ3pOuge1Umm
  • Ironport-sdr: 63576625_Hid1TmMX7iPDKP/dOFu0BABnMzVhkSZ1o8ovraYdeL7GGhF 3D+4a8Noa7hktdcjQDIMS8Ixn/paEICMt0gUcjA==

We are looking for motivated students and researchers to be members of the PLDI 2023 Artifact Evaluation Committee (AEC). This year, we are accepting (self-)nominations for the AEC. The artifact evaluation process aims to promote, share and catalog the research artifacts of papers accepted to the PLDI research track.

The self-nomination form is available at: https://forms.gle/WYoR9X1DkVj6KhfQ9 

You can also nominate other people (e.g., students, colleagues) at: https://forms.gle/vRVYYXmpZi1ioXRr8 

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 end February and early 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!

Manuel Rigger and Xinyu Wang


  • [Coq-Club] PLDI 2023 Artifact Evaluation Committee Nominations, Anders Miltner, 10/25/2022

Archive powered by MHonArc 2.6.19+.

Top of Page