Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trusthttps://bsky.app/profile/lorisdanto.bsky.socialhttps://bsky.app/profile/lorisdanto.bsky.social/post/3mthwb4wuuc23New funding opportunity in verification/PL research lnkd.in/p/gcDbkmKy https://lnkd.in/p/gcDbkmKy19 Aug 2026 23:49 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mthwb4wuuc23https://bsky.app/profile/lorisdanto.bsky.social/post/3mpzboul4ak2wThis year's FLOC will include RajeevFest, a special workshop to celebrate the career of my PhD advisor Rajeev Alur! https://lorisdanto.github.io/rajeevfest.github.io/ https://lnkd.in/gGAmHadG06 Jul 2026 23:48 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mpzboul4ak2whttps://bsky.app/profile/lorisdanto.bsky.social/post/3mnxhqjnxuc2iWhy is it called a Large Language Model and not a Word Wide Web?10 Jun 2026 19:41 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mnxhqjnxuc2ihttps://bsky.app/profile/lorisdanto.bsky.social/post/3mnik3ijd4s2qGetting LLMs to generate samples that satisfy constraints is a fundamental problem in machine learning. The standard approach is rejection sampling: generate a sample, check whether it satisfies the constraint, and if not, try again. 1/04 Jun 2026 21:13 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mnik3ijd4s2qhttps://bsky.app/profile/lorisdanto.bsky.social/post/3mnauonmgec2wAt ICML, Jinwoo Kim will present the first approach for enforcing formal structural constraints like regexes, grammars, and schemas on the output of continuous diffusion language models, entirely without retraining. 1/01 Jun 2026 20:01 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mnauonmgec2whttps://bsky.app/profile/lorisdanto.bsky.social/post/3mfucxr3tlk2sLots of people at SoCalPLS, thanks Mukund Raghothaman for organizing!27 Feb 2026 18:16 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mfucxr3tlk2shttps://bsky.app/profile/lorisdanto.bsky.social/post/3mfisu35ijc2lTwo months later, same author, new paper, same story. [contains quote post or other embedded content]23 Feb 2026 04:28 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mfisu35ijc2lhttps://bsky.app/profile/lorisdanto.bsky.social/post/3mffhxstdek2jIf Klaebo was a country, he would rank 9th on the Olympics medal table21 Feb 2026 20:35 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mffhxstdek2jhttps://bsky.app/profile/lorisdanto.bsky.social/post/3mcqauazo7k2zApparently alcohol is not considered a performance enhancing drug (thus not banned by anti doping) in most sports, but it is considered a performance enhancing drug in the sport of... rifle shooting dailynebraskan.com https://share.google/rWoVb5DR6mnn9hyuW https://dailynebraskan.com18 Jan 2026 23:12 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mcqauazo7k2zhttps://bsky.app/profile/lorisdanto.bsky.social/post/3mcidttrs7s2h@shriram.bsky.social I remember you had a course where you would give students homework where you had the same language syntax but you would change the semantics and the students had to figure out what was going on. I can't find it though. Did I hallucinate it?15 Jan 2026 19:44 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mcidttrs7s2hhttps://bsky.app/profile/lorisdanto.bsky.social/post/3mam5f2353s27For those wondering Baby: you wash your hands before touching them Toddler: you wash your hands after touching them22 Dec 2025 21:08 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3mam5f2353s27https://bsky.app/profile/lorisdanto.bsky.social/post/3ma3ch3vkis2oI was reading a paper (by a full prof!) that included a paragraph in related work that was completely irrelevant and was there just to cite a bunch of the author's own work. This type of behavior makes me not trust the work of such authors.16 Dec 2025 04:24 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3ma3ch3vkis2ohttps://bsky.app/profile/lorisdanto.bsky.social/post/3m4zavtgqpk2kGoogle Scholar has stopped showing one of my POPL papers randomly. Do people know how to fix this? I don't care particularly, but for my student this is his top paper and it's annoying for him07 Nov 2025 04:35 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3m4zavtgqpk2khttps://bsky.app/profile/lorisdanto.bsky.social/post/3m3trtxj6f22uApparently lots of friends will be in SD for NeurIPS.23 Oct 2025 06:57 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3m3trtxj6f22uhttps://bsky.app/profile/lorisdanto.bsky.social/post/3lzhlut7vcc2uWho teaches an undergraduate principles of programming languages class? Looking for some inspiration to teach one at UCSD22 Sep 2025 23:48 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lzhlut7vcc2uhttps://bsky.app/profile/lorisdanto.bsky.social/post/3lyvwedkjss2aThe world’s largest federated conference in logic & automated reasoning, FLoC 2026 (www.floc26.org), will be in Lisbon! Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details https://www.floc26.org/sponsors/FLoC2026_sponsors_brochure.pdf15 Sep 2025 23:08 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lyvwedkjss2ahttps://bsky.app/profile/lorisdanto.bsky.social/post/3lvwhmqpfhc2jI've been added to the "girls' mums" group chat of my daughter's school. How to proceed?09 Aug 2025 00:01 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lvwhmqpfhc2jhttps://bsky.app/profile/lorisdanto.bsky.social/post/3luapqzd5ac22Today's Wordle celebrates a person who has provided the inspiration behind much of my work18 Jul 2025 15:03 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3luapqzd5ac22https://bsky.app/profile/lorisdanto.bsky.social/post/3ltsntpmdgs22It's a miracle I've found a partner in my life. [contains quote post or other embedded content]13 Jul 2025 00:51 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3ltsntpmdgs22https://bsky.app/profile/lorisdanto.bsky.social/post/3lsr4a7bs4c2lGrowing fresh tomatoes is hard work, but it really pays off once your 1yo picks them up when you are not watching and squishes them into flat mush29 Jun 2025 16:38 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lsr4a7bs4c2lhttps://bsky.app/profile/lorisdanto.bsky.social/post/3lrcitvfvic26I can see why the student thinks I always wear the "hooded long blue long-sleeve shirt" [contains quote post or other embedded content]11 Jun 2025 03:49 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lrcitvfvic26https://bsky.app/profile/lorisdanto.bsky.social/post/3lrcgtz6bok2mThe last question for my CSE230 final was “Draw a comic about anything we learned in this class (e.g., Proving theorems with Coq, types, functional programming, Loris, etc.)” Here are the best ones.11 Jun 2025 03:13 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lrcgtz6bok2mhttps://bsky.app/profile/lorisdanto.bsky.social/post/3lqwcjx6gqk2gWhat version of the Turing test is "Can a human pretend to be an AI?" [contains quote post or other embedded content]06 Jun 2025 07:24 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lqwcjx6gqk2ghttps://bsky.app/profile/lorisdanto.bsky.social/post/3lmydnsdlic2cTeaching my research group how to label their axes17 Apr 2025 05:09 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lmydnsdlic2chttps://bsky.app/profile/lorisdanto.bsky.social/post/3lmlmf4dqu22uThis is wild. And so cool that every so often you can catch her climb in San Diego [contains quote post or other embedded content]12 Apr 2025 03:40 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lmlmf4dqu22uhttps://bsky.app/profile/lorisdanto.bsky.social/post/3lmgahv26o22bWhy is it called Apple TV+ and not Severance package?10 Apr 2025 00:24 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lmgahv26o22bhttps://bsky.app/profile/lorisdanto.bsky.social/post/3llwllu6wos2lIs there any implementation of error correcting parsing that gives me minimum edit distance to a string in the grammar?03 Apr 2025 19:00 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3llwllu6wos2lhttps://bsky.app/profile/lorisdanto.bsky.social/post/3lktni4n5522uZoom killed academic department cultures20 Mar 2025 21:31 +0000at://did:plc:2ukfuv7tgwiqgo2aye2bw7la/app.bsky.feed.post/3lktni4n5522u