iiinova — where your digital self keeps evolving

Reposted by Lin Tan

Rupak Majumdar @rupakmajumdar.bsky.social · 19/03/2026

Dear network, I am looking for a postdoc with experience in Lean (or some other theorem prover) and interest in systems.

197

Reposted by Lin Tan

Proton @proton.me · 31/10/2025

Last chance to turn it off. On Monday, November 3rd, Microsoft will start using your LinkedIn data for AI training. And remember, you're opted in by default. To toggle it off 👉 Account - Settings & Privacy > Data privacy > Data for Generative AI Improvement.

8838493557

Reposted by Lin Tan

Andreas Zeller @andreaszeller.bsky.social · 28/10/2025

Today I turn 60 – and what a journey this has been! Grateful for family, friends, students, colleagues, and a scientific community that keeps me inspired. The big party? You’ll have to wait four years, when I hit my (binary) 1,000,000th birthday. 😉

3252

Lin Tan @lin-tan.bsky.social · 11/10/2025

Want to go to Brazil with travel support? Check out #SMeW — a great opportunity for students to learn, connect & grow! I co-chaired its 2019 launch (with Lori Pollock & Christian Kästner, with tremendous support by #ICSE19 GC Jo Atlee) and coined the name (yes, the duck 🦆)! @icseconf.bsky.social

022

Lin Tan @lin-tan.bsky.social · 01/10/2025

Excited to announce the 3rd LLM4Code workshop collocated with ICSE26 @icseconf.bsky.social in Rio de Janeiro, Brazil 🇧🇷! 🌟Website: llm4code.github.io 🌟Deadline: Oct 20, 2025 🌟8-page research paper / 4-page position paper (including references) @llingming.bsky.social @devanbu.bsky.social

llm4code.github.io

Home

ICSE 2026 Workshop on Large Language Model for Code

241

Lin Tan @lin-tan.bsky.social · 19/05/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 @purduecs.bsky.social @cerias.bsky.social

040

Lin Tan @lin-tan.bsky.social · 09/05/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. www.purdue.edu/newsroom/202... @purduecs.bsky.social @cerias.bsky.social #AI #Purdue #Medicine

purdue.edu

010

Reposted by Lin Tan

Marcel Böhme @mboehme.bsky.social · 03/05/2025

✨️ 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.

12413

Lin Tan @lin-tan.bsky.social · 02/05/2025

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

040

Reposted by Lin Tan

International Conference on Software Engineering @icseconf.bsky.social · 02/05/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. 🧳✈️

1159

Reposted by Lin Tan

Andreas Zeller @andreaszeller.bsky.social · 01/05/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?

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

4222

Lin Tan @lin-tan.bsky.social · 26/04/2025

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

cs.purdue.edu

041

Reposted by Lin Tan

Jingbo Wang @jingbow.bsky.social · 28/03/2025

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!

pldi25.sigplan.org

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

0169

Lin Tan @lin-tan.bsky.social · 08/03/2025

🚀 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

230

Reposted by Lin Tan

Association for Computing Machinery @acm.org · 05/03/2025

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

12411

Lin Tan @lin-tan.bsky.social · 05/02/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: arxiv.org/pdf/2409.19471 #LLMs #Robotics #Agent @cerias.bsky.social @purduecs.bsky.social

3101

Lin Tan @lin-tan.bsky.social · 28/01/2025

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

562

Lin Tan @lin-tan.bsky.social · 18/12/2024

Thrilled to share that my PhD student, Nan Jiang, is on the academic job market! 👏 Working on SE+AI, Nan has papers in ICSE, FSE, NeurIPS, AAAI, and more. Nan is the ideal kind of PhD student one can ask for. I’m confident he will be a great professor! jiang719.github.io #LLM4Code #security

360