RE: https://mastodon.social/@regehr/115651014673289968
Read our POPL paper, you might like it
@AWScloud Programs programs that program other programs (i.e., program synthesis). He/Him.
| Web | https://pages.cs.wisc.edu/~loris/ |
| lorisdanto |
Loris D'Antoni
- 425 Followers
- 228 Following
- 237 Posts
Professor @WisconsinCS & Visiting Academic
@AWScloud Programs programs that program other programs (i.e., program synthesis). He/Him.
@AWScloud Programs programs that program other programs (i.e., program synthesis). He/Him.
The world’s largest federated conference in logic & automated reasoning, FLoC 2026 (https://www.floc26.org/), will be in Lisbon!
Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details :point_right: https://www.floc26.org/sponsors/FLoC2026_sponsors_brochure.pdf
Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details :point_right: https://www.floc26.org/sponsors/FLoC2026_sponsors_brochure.pdf
Three of my (stellar) students are looking for research-oriented internships in PL/FM (but also LLM for code) this coming summer:
- Jinwoo Kim (https://cseweb.ucsd.edu/~jik083/)
- Shaan Nagy (https://cseweb.ucsd.edu/~shnagy/)
- Xuanyu Peng (https://home.dofy.top)
They are all well-rounded in FM/PL. They all have done work in synthesis, program logics, and more recently LLMs for code.
- Jinwoo Kim (https://cseweb.ucsd.edu/~jik083/)
- Shaan Nagy (https://cseweb.ucsd.edu/~shnagy/)
- Xuanyu Peng (https://home.dofy.top)
They are all well-rounded in FM/PL. They all have done work in synthesis, program logics, and more recently LLMs for code.
SoCal Programming Languages and Systems is back and will be @ucsd_cse in February!
Submit your abstracts!
socalpls.github.io
Reposts appreciated!
Submit your abstracts!
socalpls.github.io
Reposts appreciated!
Lorisdanto on blue sky
Just came to mastodon to say that on Sunday I ate an oyster and today I ate a morel and it made me think about @palvaro
I'm not sure who to tag, but my ML/Visiaon colleague Vikas Singh while on sabbatical decided to learn category theory and now wrote an ICLR ML paper that uses it
https://openreview.net/forum?id=2Mo7v69otj
Maybe this paper could energize that community into putting their work to practice
TL;DR description of paper
"Use Category Theory to provide a general harmonization tool that can handle multi-equivariance and multi-invariance with respect to the images' covariates."
Any paper on building counterexamples for the mu-calculus when a formula isn't valid?
"I am an alumni of the school. I came across your email on the School website. My uncle is moving to the school area and needs someone reliable to watch his dog."
Natasha 
🇪🇺