Lin

@lintan
15 Followers
15 Following
14 Posts
Mary J. Elmore New Frontiers Professor in Computer Science at Purdue University | #SE #TextAnalytics #LLM4Code #AI #Security
https://www.cs.purdue.edu/homes/lintan/
LinJun 27, 2025
“Purdue named the most recognized public university in U.S., No. 6 overall in Global University Visibility rankings”! https://www.purdue.edu/newsroom/2025/Q2/purdue-named-the-most-recognized-public-university-in-u-s-no-6-overall-in-global-university-visibility-rankings
Purdue named the most recognized public university in U.S., No. 6 overall in Global University Visibility rankings

Purdue continues as the most recognized public university in the nation, while climbing to the position as No. 6 overall in the world in the 2025-26 Global University Visibility (GUV) rankings.

News
LinMay 19, 2025

At #ICRA2025? Check out my student Yi Wu’s talk (TuCT1.4) at 3:30PM Tuesday in Room 302 at the Award Finalists 3 Session about how SELP Generates Safe and Efficient Plans for #Robot #Agents with #LLMs! #ConstrainedDecoding #LLMPlanner

Details: https://mastodon.social/@lintan/113952199072165346

LinMay 9, 2025
Purdue, leaders in AI, pharma manufacturing and public policy gather at D.C. event to launch a national effort to expand AI-enabled medicine production in U.S.
https://www.purdue.edu/newsroom/2025/Q2/purdue-leaders-in-ai-pharma-manufacturing-and-public-policy-gather-at-d-c-event-to-launch-a-national-effort-to-expand-ai-enabled-medicine-production-in-u-s #AI #Purdue #Medicine @CERIAS
Purdue, leaders in AI, pharma manufacturing and public policy gather at D.C. event to launch a national effort to expand AI-enabled medicine production in U.S.

WASHINGTON — Purdue University and a coalition of leaders in AI, pharmaceutical manufacturing and public policy on Wednesday (May 7) launched a national effort in the Dirksen Senate Office Building to…

News
LinMay 2, 2025
ICSEMay 2, 2025
🌍 The future of #icse is global!
🇧🇷 ICSE 2026 – Brazil #icse2026
🇮🇪 ICSE 2027 – Ireland #icse2027
🌺 ICSE 2028 – Hawaii #icse2028
We can't wait to see you there! Pack your ideas and your passport. 🧳✈️
LinMay 2, 2025
At ICSE @icseconf 2025? Check out Jiannan Wang’s D3 talk at 2:30 PM today Friday in Room 215 about how we find real-world bugs in production distributed systems code! https://bsky.app/profile/lin-tan.bsky.social/post/3ljvkq4fjzk23 #deepleanring #distributed #testing
Lin Tan (@lin-tan.bsky.social)

🚀 Thrilled to share our #TSE journal-first paper D3: Differential Testing of Distributed Deep Learning (DL)! @Jianan will present it at #ICSE2025. D3 detects 21 bugs (12 new!) in PyTorch and TensorFlow. 🔗 https://www.cs.purdue.edu/homes/lintan/publications/d3-tse25icse25.pdf #DeepLearning #SoftwareTesting @cerias.bsky.social

Bluesky Social
LinMay 1, 2025
Andreas ZellerMay 1, 2025
Fun fact: Of my nine papers that got a long-term impact award, none got a “best paper” award when they were published - and conversely, none of my “best paper”-awarded papers got an impact award later. Is this a common phenomenon?
Show threadLinFeb 5, 2025
2/2 📊 Our experiments demonstrate SELP’s effectiveness across diverse tasks. In drone navigation, SELP outperforms state-of-the-art LLM planners by 10.8% in safety rate and by 19.8% in plan efficiency. For robot manipulation, SELP achieves a 20.4% improvement in safety rate.
Show threadLinFeb 5, 2025
1/2 2️⃣ Constrained Decoding: Uses the generated LTL formula to guide the inference of plans, ensuring the generated plans conform to the LTL.
3️⃣ Domain-Specific Fine-Tuning: Customizes LLMs for specific robotic tasks, boosting both safety and efficiency.
LinFeb 5, 2025

Introducing our first #ICRA2025 paper, SELP (Safe Efficient LLM Planner), a method for generating plans for robot agents that adhere to user constraints while optimizing for time-efficient execution. 🔗 Preprint: https://arxiv.org/pdf/2409.19471

💡SELP has 3 key insights:
1️⃣ Equivalence Voting: Ensures robust translations from natural language instructions into LTL specifications.

#LLMs #Robotics #Agent @CERIAS

Show threadLinOct 17, 2024
Here is the code and data of our binary analysis technique ReSym https://github.com/lt-asset/resym Honoured to received the #CCS2024 Distinguished Paper Award!
GitHub - lt-asset/resym: For our CCS 2024 paper "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhuo Zhang, Nan Jiang, Xiangzhe Xu, Lin Tan, and Xiangyu Zhang.

For our CCS 2024 paper "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhuo Zhang, Nan Jiang, Xiangzhe Xu, Lin Tan, and Xian...

GitHub