changliu98.bsky.social
@changliu98.bsky.social
Reposted
Talk Tomorrow: "Scalable Static Analysis and High-Performance Logic Programming" (github.com/kmicinski/mi...)
github.com
October 28, 2025 at 6:58 PM
Reposted
Want to catch up with SE and PL researchers across the Pacific Northwest? Have a cool project to share? The PNW PLSE 2025 is happening on May 7th, at the Uber Engineering Office in Seattle downtown, and you can sign up at pnwplse.org!
April 20, 2025 at 10:32 PM
Reposted
Our students' (Ahmedur Rahman Shovon and Yihao Sun) most recent (and most-scalable-ever) "Multi-Node Multi-GPU Datalog" work has been accepted at ICS '25, scaling up to 32 GPUs of a supercomputer (32x faster than Slog--a CPU-only supercomputer-based engine). Preprint forthcoming.
April 12, 2025 at 3:21 AM
Reposted
Huge congratulations to #UWAllen professor @axz.bsky.social of @socialfutureslab.bsky.social and Ph.D. alum Lydia Chilton, professor at @columbiauniversity.bsky.social, on their selection as 2025 @sloanfoundation.bsky.social #SloanFellows in computer science! sloan.org/fellowships/... #ThisIsUW 1/2
2025 Fellows | Alfred P. Sloan Foundation
Our mission is to make the world a better place through the advancement of scientific knowledge.
sloan.org
February 19, 2025 at 1:09 AM
Reposted
We're integrating MUSE, our RAG model for transparently tackling multimodal misinfo, into the ARTT tool! @hackshackers.bsky.social

Interested in becoming an early tester? Let us know!

📄 MUSE: arxiv.org/abs/2403.11169
✨ ARTT: www.artt.cs.washington.edu

www.linkedin.com/posts/artt-a...
Analysis and Response Toolkit for Trust (ARTT) on LinkedIn: 🤖 How We're Adding AI to the ARTT Tool
Introducing MUSE, a large language model (#LLM) augmented with the ability to check facts in real-time and generate responses to claims made online... and that…
www.linkedin.com
November 23, 2024 at 4:59 AM