Skip to Content.
Sympa Menu

coq-club - [Coq-Club] MIT Programming Languages Review Workshop 2025

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MIT Programming Languages Review Workshop 2025


Chronological Thread 
  • From: "Dustin Jamner" <dijamner AT mit.edu>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] MIT Programming Languages Review Workshop 2025
  • Date: Tue, 1 Apr 2025 01:40:32 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dijamner AT mit.edu; spf=Pass smtp.mailfrom=dijamner AT mit.edu; spf=None smtp.helo=postmaster AT outgoing.mit.edu
  • Ironport-data: A9a23:EWOtrqLkeIn4o99iFE+RCpElxSXFcZb7ZxGr2PjKsXjdYENS0TNSx mQfUG6PaKuCamWhet5/O9i+8B4FusLVyNZhHAMd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb5s9JIGjhMsf/b9Es25K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LufiHX6spDKkMKFtc0wuJqXEhQz fY3AWVYBvyDr7reLLOTTfRwicMiKsatOYID/Hxs0Fk1D95/EdaSBf+ao4YBtNszrpgm8fL2a 8sbYD9pYQ7oZhxTfFobFfrSmc/y3yShImwD8A79SawfuGv2xSoq0ZbWO8fscf7Ve+hUoFakj zeTl4j+KkhHbYfEodafyVqngfaKlifmUqoJBbig/7hrhkeSzyodEnUruUCTpuSlhUm/Xd0aI lEI+m93660z6AqmQsSVswCETGCss0QncuV9Ne8Gw1uh8q7Jvi+HPmIrZ2sUADA5j/MeSTsv3 16PutrmAz1zrbGYIU5xEJ/J9lte3gBIcQc/iT84cOcT3zX0TGgOYv/nSct/H6m0iNKwECzsw 3XT6i0/m/MegdNjO0SHEbLv3W3ESnvhF1ddCuDrsoSNtVwRiGmNPNzA1LQjxawcRLt1t3HY1 JT+p+CQ7foVEbaGnzGXTeMGEdmBvqnZa2GA3A4/Q8F/p1xBHkJPm6gNu1mSw280bq45lcPBO Re7Vf55vsQNYif0McebnarsVJtypUQfKTgVfqmJN4EVCnSAXAqO5zpnbk6NxG3xjFNkkKckJ ZaHbNqhRXEUQbhqxzqwQOMa3q5D+8zN7T67eHwP9Dz+ieD2TCfMEd8taQLeBshnt/nsiFuOr L5i2z6il043vBvWPnKPqdZ7wJFjBSRTOK0aXOQMLbHZflI6RzpwYxITqJt4E7FYc21uvr+g1 hmAtoVwkTITXFWWdlnYWWMpc771Q5d0oFQyOCFmbx7i2GEubczrpO0Tfoc+N+tvvuFy7+9Gf 99cceW5A9NLVmvm/RYZZsLDt4BMTkmgqj+PGCuHWwIBWaBcaTbHwfLaWzf+1TIvC3O3vPQuo rf72QL8R4ECdjtYD83XSayOygLosVcRhutNAk3sJ4BLdG6x9LpKFi3Vpd00KvEqNh/s6Ga71 QGXIBFAvsjLgdY/3+fojJC+jbWCMrVBDG9FOWjEt5CkGDL//Ff/8bRfUe2NQy/RZFn09Iqme +9R6fP2a98Do3pnrKt+FOxN4Z8lxt6yuYJf8BtoLE/LY3uvFLlkBHuMhutLl69Vw45mqRmEY V2O9vZaKIe2FpvcSnBJHzUcb8OHyf0wsRvR565sIEzFuQlGzIDeWkBWZxSxmChRKYVuC7wcw MAjhdU37jKugR97I/eEiSFpr163FEIiaJl+lJ8mA97MsDEJm3Viep3XDxHk7K6fM+tsNlYYG R7Kpa7gqYkF+G/8XSsdKXz/09BZp6wygzFR7VpbJ122itvP3fA2+xtK8AUIdAdezzQZ8ucqI mRAaklHBZiP2xxKh8FzeX+mNC8cJR+e+233k0Aokk+ARWaWd2X9Fk8PEsfTw1IoqEdnYSl9w LGU7E3HQATaVpj98QVqUHE0tsG5a8J68zPzvfyOHuOHLsEcWiXkiKr/Xlg4gULrLu1pjXKWu NQw2vh7bJD6Eisio6cbLY2+/pZIQTCmIF1ye91QzJkrL0r9Jg7rgSOvLnqvcPxjP/bJqE+0K /J/L/J1CiiR6ny8kSA5N4UtfZlPg/8b1PgTcOjKJEkHkYelgBhHjZbyzhX61UgXG4hAsMBlM Y7AVSOwIkrJj1tupmL9hs1lOG25XNo6WDPBzN2FqOUkKpZSn9xvIGcT06S1tUq7KAFI3QyZl yKdar70z95N85VNnYztGJpHXyGxF9D/b8WT0QWJq98VR8j+AcTPkAI0q1fcIAVdO4UKael3j bigtN3W3lvPmrQ9Q0T1usCmOfFSxMOQWOF3DJrGHENCl3HfZP62sgoxxW+oDLdozvVf35CDb CmlYpKScdU1ZY9s9EdNYXIDLydHWrXFVYa+lyaTtP/WNwM81zbAJ9aZ9XPES2FXWysLGp/mA D/PpPecyYFEnbtIGSM7KalqM71gLH/nfJkWRdn7mD2bL2uv23epmL/pkzg+4jDqVFiANuvH4 qz+exuvTyTq5Zn0z+xYvbIr71dTRDx4jPIrd00Qx89uhnroRCQaJOAaKtMdBosSjiX204ria SrQaHc5Tx/wRilAbQ629eGLst1z3QDSEoyRyv0VE0Koh+OeA56cD7xg8Cgm5nZqPDbv0YlL7 D3YFmLYZnCMLlNBHI7/JcBXRc9ix++cy34Vkaw4u9KnGA4QWN3my1Q4dDeglkX7/wXlkUTXY 2U5WAioha19pVHZSa5dRpKeJP3VUP4DAdnlgedjDeszY7mm8dA=
  • Ironport-hdrordr: A9a23:TOn+76kazEKX2vJNygJCCLeuyeXpDfI93DAbv31ZSRFFG/Fw5P rBoB19726QtN9xYgBDpTnuAsS9qB/nlKKdgrN8AV7BZmPbUQKTRekI0WKI+V3d8kPFh41gPO tbHJRDNA==
  • Ironport-phdr: A9a23:oBrbNhBJdGkbvE/Uiq2xUyQUJEoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua43ygeRFtyLsqMaw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSjbb9oM Bm6sQrdutQVjId/Lqs8ywbCr2dVdehR2W5nKlWfkgrm6Mu34JBt7Tlbteg7985HX6X6fqA4Q qJdAT87LW0759DluAfaQweX6XQSTmsZkhxTAwjY9x76RYv+sjH7tuVmxiaXO9D9QK0uVjSj6 6drTwLoiDsCOjUk/mzbltB8gaRGqx+nuhdxwZPbYJuNOfR9cK3Sct0VS2pcUMhPSyNPDZixb 5cMAucbIepUs5fxqlkIoBCjBQesHuTvyjpQi3P406M6zv8hER3H3AwmAtkAtG7brNDzNKgMS +C5wrTDwDLeYPNX2zfy8o3IchY/rvGWRr9wdMvRyVU1Gwzbk1qQtJXoMjWI3esCr2aV9fBvV f6zi2E5sQFxpCCiyMkxh4TNhI8YyVHJ+CV3zYspIdC2R1B3bMC5HZdMtiyXN497Tt4sTWxmt is3xb4Lt5C1ciYKx5kqyQLTZv+JfYWO/xntWuGRITJii3JkfrKynxOy8Um8yuHmSMa7zUtKo jJcktnRrH8N0wDT6tKGSvRh5UetwyqA1wfW6uxCPEs6lrLbJoY8zrMzjJYetV7PEjH1lUnsk aOaa10o9van5uj9bLjrqYWQO5Fohg3kL6gih8KyDOIlOQUQW2ib5P+81KH98k3jXbtKj/w3n bfBvZzGI8kQu7S3DBVP0ok57hayFzem38ocnXkANF9Ffw+Hj5TmO1HJIfD4C/i/j06pkDdq2 /DKJKPuDYjQLnTbkbfhe6hy61JExQYuzt1T/ZZZBqsfLP/wQEP9qcHUAgc8MwOuwubnDNt91 pkZWWKKGqKWLaLSsV2S6eIqJemDepUVtS34K/gk+/7il2E2lkIAfaWx25sYc2i3Hu56LEWBf XrsntABHH8XsgYmVuzllEWCUSJPZ3a1R68z+jY7CJu/AYjfQoCtnaeO0TygHpxWY2BGEkqDH W3pd4WCQfcMaTidLtVvkjweBvCdTNoq0gjrvwvnwZJmKPDV82sWr8HNzt9wsqf/iAou9Do8L c2Y1WyXBSkgkmIKTjow0bpXpE1hjFqPzP4r0LRjCdVP6qYRAU8BPpnGwrkiYziTcgfIf9PTD U2jXs3jGzY6CNQ4394JZU95XdSklBHKmSSwUPcOj7LeIpsy/+rH2mTpYd5nwiPK1asoil8rW ONKNHHgi6JipEDIH4Ccq0yCjO6xcLgEmivE9WON122L6U1ZUgd1V6jfdXUeeg3bocmqrljaQ eqIDrIqehBE1dbEKqZObYjxik5aQf74JNnES2Wsh2i3BBCHgLaNcMznd3h1MDz1Lk8CnkhT+ H+HMVJ7HSK9uyfECzcoE1vzYkTq+O04qXWhT0ZywRvYJ0tmn6G4/BIYn5n+A7saw64EtSE9q j51AEf13tTYDMCFrhZge6MUaM004VNO32bU/wJnOZnoI6dnj18YOwN52iGmnxl2CIxFl8Uwh HYr0Ex/Jb/ZmFJNejWE3Izhb6XNIzq69xSuZqjKn1DGhY/GvPZJsqR+8gyw2WPhXlAv+Hhmz dRPhn6V55GQSREXTYq0SEE8sR5zu7DdZCA5oYLSz3xld6eu4Vqgk5okAvUozhG4cpJRKqSBQ UX+Es8TAs6jMsQvmkTvYx4ZdrM3luZ8L4a9ev2K1bT+duphnjuji2ldyIV8zgSB+zc2GabYm p0Cxf+fxA6OUTzx2Uygvs7AkodBfTgOH2C7xEAIHaZpb7ZpNcYOAGaqeYisw8lmwoTqUDhe/ UKiAFUP3ImofwCTZhrzx18Y2UMSqH2h0Sy2ql482z0orKOa2iHU6+HjaFwKNnMDSGR5jFjqK JS5lJhDDA75KVJ50kL8rU/hj7BWvqF+M3XeTQ9Tci76InsjN8n4/ruObshT6Y855CBeUeCye 1efGfb2pxoX1T+mHnMLnWB9Jnfw6tOgxk8f6irVNnt4oXvHdNslwB7e4IaZXvtNxn8cQyI+j zDLB1+6Nt3v/NOOlp6FvPrtMgDpHpBVbyTvypuN8SWh4mg/SxG+nfm2nND9OQ07zWn228QgB kCq5F7sJ5Lm0ai3K7ctckhqDVr65tBSH4Bi1IY8mdtDkWhfjZKT830dlG71OtgOwqPyYk0GQ jsTysLU6gzoiygBZjqZgpj0XXKHzo59dsG3NykIjzkl4ZkAW++EqaZJlixvrh+koBLNNLJjy ywFx6JLijZSgvlV6lN9iHTbWOBURQ4CYWTtj0jasIz49fwNIjjzN+PgnEtmwYL4VuDE/lgaA SmjPMtHf2c4790jYgyQliSpuse6J5+JM5oSrkHGzUuG1rIFbsxu0KBSzSt/ZTCi5zt4lqhi0 UQojcjf3sDPKn0xrvzoREECcGavIZlOoXnslfoMwJfQgNrpQsonQ2VbFJrwEaD2QXRN77K8a 0DXSmVZyD/TGKKDT1HOrhg86S6SVcnxbzmWPCVLlI8kHkPNYhIZ2llJFDQiwsxkTEb2mYq8K AEgt2h0hBawqwMQmL8ycUKmFD2O4l75NH81UMTNcUAQsFkEvhuPd5LCpuNrQ3MBpdv791PLe zDdPl8tbylBW1TYVQ2/eOfwo4Ocq67GXaK/N6ecPe3I+LYYD7HQgsvymop+o2TRbIPSeCA5U 7thghAmPzgxGtyFyW9XFGpKy2SdNIjC/0n0+zUr/Jrnr7K2BES/vs3WUOQaMM0zqUru3uHea 6jA32AgcmY9tNtExGeUmuZOmgRKzXg3Jn/3SOVItDaRHvyL3PQNSURHM2UqZZAtjep03w9GP dPXh4HCzeYg0qVtVw4eDBroh92uftQEZWy4PVLDTAOCMLDMTdHS6+fwZ670CbhZjeEO8ga1p S7eCUjoeDKKizjuURmrd+BKliCSehJE6sm7dV52BG7vQciDCFXzOcJrjTAw3bw/h2/bfW8aP z9mdkpRr7qWpSpGi/R7EmZF4zJrN+6B0yqe6uDZLN4Rv54JSmxskPlG5X0h17ZPxCZZWPNym S3d6NtvvxernvTOgjtrXRxSqypa0YKGuUIxXMeRvpJEWHvC4FcM9TDJW1Jb4YE1TIS26MUyg pDVman+KSlP6YfR9MoYXY3PLd6fdWAmOlzvESLVCw0MSXiqM3vejgpTiqL3lDXdo54kp5zrg JdLRKVcUQl/GvIYA0FjEcYqJZZrGD4ojPTI6axArWr7txTXSMhA69rfUemOBPz0NDuDpb5Ze xQPwLX3a4ESKsv211EoOTwY1MzaXkHXW95KuChoaAQ59V5M/HZJRWo2w0v5awmp7Rf79Nazg wI5jQp4bqIo9Suq7lsqdAKiTMQYlUgt39jpnGLIGNYUBKKxQcdbBzem7yAM
  • Ironport-sdr: 67eb7c54_he80F0SqIznxc8VFytNE+vIaYE7Fcagc5QAZ6l0f86tjqFb OiwBCFFbYupqazOz3QdYk8Dmj6AVhwV5kUetAOg==

Join us for this year’s annual MIT PLR workshop 2025 on April 25th! Attendance can be virtually or in-person on MIT campus in Grier (34-401).

This year, we’re excited to present a fresh lineup of talks from authors of what the PLR committee expects to be high-impact, significant works published in recent years at venues including: OOPLSA, ASPLOS, PLDI, ICFP, PLDI, and more! We will also be featuring an exciting “Mixture of Experts” Panel, featuring experts of various domains discussing their experience applying programming languages tools and techniques across fields.

The MIT PLR is a student-run committee, launched in 2023, that hopes to highlight recent developments that we believe have significant potential to shape the future direction of PL research and/or industry practice. We aim to select papers that may substantially transform the PL community and beyond, with a focus on emerging trends rather than established lines of research.

You can check out our full program on our website, plr.csail.mit.edu, and register here: https://mit.co1.qualtrics.com/jfe/form/SV_3aR7xGFs4fYigg6. We hope to see you there!

MIT Programming Languages Review Program Committee:
Manya Bansal
Teodoro Collin
Kavi Gupta
Yuka Ikarashi
Dustin Jamner
Derek Leung
Alex Lew
Amanda Liu
Logan Weber
Jaeyeon Won



  • [Coq-Club] MIT Programming Languages Review Workshop 2025, Dustin Jamner, 04/01/2025

Archive powered by MHonArc 2.6.19+.

Top of Page