Lin Tan's Avatar

Lin Tan

@lin-tan.bsky.social

Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security https://www.cs.purdue.edu/homes/lintan/

62 Followers  |  46 Following  |  25 Posts  |  Joined: 16.12.2024  |  2.2908

Latest posts by lin-tan.bsky.social on Bluesky

Preview
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.

โ€œPurdue named the most recognized public university in U.S., No. 6 overall in Global University Visibility rankingsโ€! www.purdue.edu/newsroom/202...

27.06.2025 15:06 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
PC self-nomination for ISSTA 2026 (Research Track) Until 30th June 2025, please indicate your interest to serve on the ISSTA 2026 program committee through filling out this form. Please include as much information as possible. After submitting the for...

๐Ÿ“ฃ Are you interested in serving on the Program Committee for ISSTA 2026? Please let us know by filling out this form:

forms.gle/MaXAKysfMSdq...

20.06.2025 13:49 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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
@purduecs.bsky.social
@cerias.bsky.social

19.05.2025 12:25 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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.
www.purdue.edu/newsroom/202... @purduecs.bsky.social @cerias.bsky.social #AI #Purdue #Medicine

09.05.2025 14:14 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Big congratulations! Very well deserved!

07.05.2025 14:16 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

โœจ๏ธ Now that #ICSE25 is over, it's time to get your papers ready for #ASE25 (30th May)!

๐Ÿ“ข Here is what's new:
* Major Revision v2.0
* Review criteria for tech. & experience papers
* Policy on LLM-assisted Reviews
* Auto-bidding (TPMS)
* Rapid Response Reliable Reviewers

๐Ÿ‘‡ For more details, read on.

03.05.2025 14:25 โ€” ๐Ÿ‘ 26    ๐Ÿ” 14    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

At ICSE @icseconf.bsky.social 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! #deepleanring #distributed #testing

02.05.2025 13:37 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image Post image Post image

๐ŸŒ 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. ๐Ÿงณโœˆ๏ธ

02.05.2025 13:24 โ€” ๐Ÿ‘ 15    ๐Ÿ” 9    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1
A list of test of time awards for papers with Andreas Zeller as co-author

A list of test of time awards for papers with Andreas Zeller as co-author

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?

01.05.2025 14:10 โ€” ๐Ÿ‘ 23    ๐Ÿ” 2    ๐Ÿ’ฌ 5    ๐Ÿ“Œ 1

Congratulations, Andreas! Very well deserved!

01.05.2025 22:03 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Our SELP paper is an #ICRA25 Best Paper Award Finalist, among a selected few from 4,153 submissions! ๐Ÿ† Proud of my PhD student Yi Wu & the team! www.cs.purdue.edu/homes/lintan...
#robotics #LLM #ConstrainedDecoding #Agent #LLMPlanner @cerias.bsky.social

26.04.2025 02:23 โ€” ๐Ÿ‘ 4    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1
Preview
PLMW @ PLDI 2025 - Programming Languages Mentoring Workshop - PLDI 2025 The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi...

PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl...

Deadline: April 10, 2025

PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!

Please apply!

28.03.2025 03:56 โ€” ๐Ÿ‘ 17    ๐Ÿ” 9    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

2/2 Stay tuned for more details at our #ICSE2025 presentation!

Co-authors: Jiannan Wang, Hung Viet Pham, Qi Li, Yu Guo, Adnan Aziz, and Erik Meijer.

#DistributedDL #AI

08.03.2025 22:25 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

1/2 D3 introduces the first differential testing technique specially designed for distributed DL software. D3 leverages a new distributed equivalence rule and automatically generates diverse distributed settings, models, and model inputs.

08.03.2025 22:24 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image Post image Post image

๐Ÿš€ 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.ย ๐Ÿ”— www.cs.purdue.edu/homes/lintan... #DeepLearning #SoftwareTesting @cerias.bsky.social

08.03.2025 22:22 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 1
Video thumbnail

Meet the recipients of the 2024 ACM A.M. Turing Award, Andrew G. Barto and Richard S. Sutton! They are recognized for developing the conceptual and algorithmic foundations of reinforcement learning. Please join us in congratulating the two recipients! bit.ly/4hpdsbD

05.03.2025 14:26 โ€” ๐Ÿ‘ 24    ๐Ÿ” 11    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 3
Preview
White House budget proposal could shatter the National Science Foundation โ€œThis kind of cut would kill American science and boost China.โ€โ€ฆ

White House budget proposal may slash NSF funding from 9 billion to 3 billion a year.

07.02.2025 00:03 โ€” ๐Ÿ‘ 598    ๐Ÿ” 315    ๐Ÿ’ฌ 29    ๐Ÿ“Œ 58

3/3 ๐Ÿ“Š 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.

05.02.2025 16:16 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

2/3 3๏ธโƒฃ Domain-Specific Fine-Tuning: Customizes LLMs for specific robotic tasks, boosting both safety and efficiency.

05.02.2025 16:16 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

1/3 ๐Ÿ’กSELP has 3 key insights:
1๏ธโƒฃ Equivalence Voting: Ensures robust translations from natural language instructions into LTL specifications.
2๏ธโƒฃ Constrained Decoding: Uses the generated LTL formula to guide the inference of plans, ensuring the generated plans conform to the LTL.

05.02.2025 16:16 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image Post image Post image

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: arxiv.org/pdf/2409.19471
#LLMs #Robotics #Agent @cerias.bsky.social @purduecs.bsky.social

05.02.2025 16:15 โ€” ๐Ÿ‘ 10    ๐Ÿ” 1    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 1

5/5

Thus, combined with the increasing sophistication of cybercrime that poses significant threats worldwide (e.g., cybercrime is predicted to cost the world $10.5 trillion annually by 2025 (Sausalito, 2020)), effective binary analysis techniques are in high demand.

28.01.2025 19:10 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

4/5

For example, when performing tasks such as identifying attacks and malware, security analysts often only have access to assembly, i.e., the human-readable representation of binary code, which is extremely difficult to understand.

28.01.2025 19:10 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

3/5

Why binaries and binary models? Binary code plays an irreplaceable role in crucial tasks, including vulnerability detection, malware detection, binary recovery, and legacy software maintenance.

28.01.2025 19:10 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

2/5

Smaller 1.3B models huggingface.co/lt-asset/nov... huggingface.co/lt-asset/nov...

Binaries are a form of code. Do not forget about binaries when you work on #LLM4Code.

28.01.2025 19:09 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
lt-asset/nova-6.7b ยท Hugging Face Weโ€™re on a journey to advance and democratize artificial intelligence through open source and open science.

1/5
Highlights:
1. Nova is built with hierarchical attention specially designed for binary and contrastive learning.
2. Nova is pre-trained on 3B binary and source code tokens.
3. Models: huggingface.co/lt-asset/nov... huggingface.co/lt-asset/nov...

28.01.2025 19:09 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image Post image Post image

Introducing Nova (ICLRโ€™25), foundation models for binary/assembly code. We have also released fine-tuned models for binary code decompilation. Preprint: arxiv.org/pdf/2311.13721

#LLM4Code #LLM #BinaryAnalysis #Security

@cerias.bsky.social @iclr-conf.bsky.social

28.01.2025 19:08 โ€” ๐Ÿ‘ 6    ๐Ÿ” 2    ๐Ÿ’ฌ 5    ๐Ÿ“Œ 0

4. Smaller 1.3B models huggingface.co/lt-asset/nov... huggingface.co/lt-asset/nov...
Binaries are a form of code.

Do not forget about binaries when you work on #LLM4Code.

28.01.2025 18:51 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

(2) democratizing programming to people with little technical background, through AI systems capable of self-planning with easy-to-follow explanations, enabling users to program through natural languages.

#SoftwareEngineering #SE
@cerias.bsky.social

18.12.2024 13:26 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Nan's future research interests include (1) creating AI-powered systems capable of collaborating with human developers in the whole development lifecycle, managing large-scale projects, understanding dynamic code execution, and integrating with developers' workflow, and โ€ฆ

18.12.2024 13:26 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@lin-tan is following 20 prominent accounts