| Start | End | Event | Location | Description | |
|---|---|---|---|---|---|
| 9:30 | 9:40 | Welcome and Logistics | Room 1: 1069 | Graduate Symposium Chair: Ethan Dickey Graduate Symposium Planning & Program Committee: Hasan Amin, Marc Tunnell, Jacob White |
|
| 9:40 | 10:00 | Keynote | Bedrich Benes: Purdue Computer Science: Research and Graduate Education | ||
| 10:00 | 11:50 | Morning Research Talks |
Room 1: 1069, Room 2: 1004, Room 3: Commons Area |
1069: AI 1004: Robotics Commons Area: Digital Infrastructure and Graphics See below for more info. |
|
| 12:00 | 1:00 | Lunch | Room 1: 1069 2nd Floor Dining Area 3rd Floor Dining Area |
Faculty, grad students, and prospective students check in to pick up your requested meal in 1069. | |
| 1:00 | 2:30 | Poster Session | Commons | ||
| 2:30 | 5:00 | Afternoon Research Talks |
Room 1: 1069, Room 2: 1004, Room 3: Commons Area |
1069: AI Talks + Faculty Panel "Transformative AI: LLMs, Robotics, and Scientific Innovation" (2:30-3:20) 1004: Theory Commons Area: Security. See below for more info. |
|
| Registration + Coffee | |||||
| 9:00 | 5:00 | Registration Table | North Entrance (Parking Lot Side) | ||
| Look | --> | Coffee + Tea Table | East Entrance (Side Entrance near Engineering Fountain) |
Faculty, prospective students, and grad students get first dibs for 10 min at each delivery time, then all other registered participants can join. Format: "first delivery time::time general registration can consume": 9:10::9:20, 11:50::12:00, 2:20::2:30 |
|
| Location | Domain and Hosts | Start | End | Talk | Speaker | Collaborators | Field |
|---|---|---|---|---|---|---|---|
| Room 1: 1069 | AI | 10:05 | 10:25 | Quasi Zigzag Persistence: A Topological Framework for Analyzing Time-Varying Data | Shreyas N. Samaga | Tamal K. Dey, Shreyas N. Samaga | AI, ML, NLP; Theory of Computing, Algorithms, and Quantum Computing |
| Morning | Host: Patrick Pynadath | 10:26 | 10:46 | Developing Social Robots for Human Flourishing | Sooyeon Jeong | HCI, AI | |
| 10:47 | 11:07 | Minimax Hypothesis Testing for the Bradley-Terry-Luce Model | Japneet Singh | Anuran Makur, Japneet Singh | AI, ML, NLP; Theory of Computing, Algorithms, and Quantum Computing |
||
| 11:08 | 11:28 | Beyond first-order methods for non-convex non-concave min-max optimization | Abhijeet Vyas | Abhijeet Vyas, Brian Bullins | AI, ML, NLP | ||
| 11:29 | 11:49 | HyperAdapt: Efficient Subspace Fine-Tuning of Pre-Trained Models | Abel Gurung | Abel Gurung, Joseph Campbell | AI, ML, NLP | ||
| 11:50 | 12:00 | Lunch Prep | |||||
| Afternoon | AI | 2:30 | -- | Transformative AI: LLMs, Robotics, and Scientific Innovation | Panel | Aniket Bera, Daisuke Kihara, Abulhair Saparov, Ruqi Zhang |
|
| Host: Hasan Amin | -- | 3:20 | Panel | ||||
| Panel Host: Abhishek Sharma | 3:20 | 3:40 | GO2Sum: generating human-readable functional summary of proteins from GO terms | Swagarika J. Giri | Swagarika J. Giri, Nabil Ibtehaz, and Daisuke Kihara | AI, ML, NLP; Bioinformatics and Computational Biology | |
| 3:40 | 4:00 | Playing social deduction games with large language models and Theory-of-Mind modeling of hidden roles | Shahab Rahimirad | Shahab Rahimirad, Simon Stepputtis, Lucy Romero, Matthew Lyle Olson, Guven Gergerli, Joseph Campbell | AI, ML, NLP | ||
| 4:00 | 4:20 | Archetypal Analysis for Binary Data | Emilie Wedenborg | Emilie Wedenborg, Morten Mørup | AI, ML, NLP | ||
| 4:20 | 4:40 | Zero-Shot Generalization of GNNs over Distinct Attribute Domains | Jincheng Zhou | Yangyi Shen, Jincheng Zhou, Beatrice Bevilacqua, Joshua Robinson, Charilaos Kanatsoulis, Jure Leskovec, Bruno Ribeiro | AI, ML, NLP | ||
| 4:40 | 5:00 | ARC-AGI and the Path to General Intelligence: Measuring and Advancing AI Reasoning | Amir Basareh | Amir Basareh, Saparov | AI, ML, NLP | ||
| Room 2: 1004 | Robotics | 10:05 | 10:25 | Physics-Grounded Differentiable Simulation for Soft Growing Robots | Yitian Gao and Lucas Chen | Yitian Gao, Lucas Chen, Zachary Kingston | Robotics and Computer Vision |
| Morning | Host: Manav Kulshrestha | 10:26 | 10:46 | Multi-Robot Informative Path Planning for Efficient Target Mapping using Deep Reinforcement Learning | Apoorva Vashisth | Apoorva Vashisth, Dipam Patel, Damon Conover, Aniket Bera | Robotics and Computer Vision |
| 10:47 | 11:07 | Sparse Mixture-of-Experts for Non-Uniform Noise Reduction in MRI Images | Zeyun Deng | Zeyun Deng, Joseph Campbell | Robotics and Computer Vision; AI, ML, NLP |
||
| 11:08 | 11:28 | Faculty Talk: Efficient Long-Horizon Planning for Any Robot | Zachary Kingston | ||||
| 11:29 | 11:49 | -- | -- | ||||
| 11:50 | 12:00 | Lunch Prep | |||||
| Afternoon | Theory | 2:30 | 2:50 | Better private distribution testing by leveraging unverified auxiliary data | Arnav Burudgunte | Maryam Aliakbarpour, Arnav Burudgunte, Clément Cannone, Ronitt Rubinfeld | Theory of Computing, Algorithms, and Quantum Computing |
| Host: Athina Terzoglou | 2:51 | 3:11 | Faster single-source shortest paths with negative real weights via proper hop distance | Yufan Huang | Yufan Huang, Peter Jin, Kent Quanrud | Theory of Computing, Algorithms, and Quantum Computing | |
| 3:12 | 3:32 | Multicriteria Spanners - A new tool for network design | Nithish Kumar | Elena Grigorescu, Nithish Kumar, Young-San Lin | Theory of Computing, Algorithms, and Quantum Computing | ||
| 3:33 | 3:53 | Automating Food Drop: The Power of Two Choices for Dynamic and Fair Food Allocation | Marios Mertzanidis | Marios Mertzanidis, Alexandros Psomas, Paritosh Verma | Theory of Computing, Algorithms, and Quantum Computing | ||
| 3:54 | 4:14 | Faculty Talk: What’s Up in Theoretical Computer Science | Kent Quanrud | ||||
| 4:15 | 4:35 | Affirmations for the New Approach to Information Theory: How Coding Theory Continues to Benefit from Cryptography | Justin Zhang | Justin Zhang, Jeremiah Blocki | Theory of Computing, Algorithms, and Quantum Computing | ||
| 4:36 | 4:56 | Quantum-Like Bits Arising from Regular Graphs | Ethan Dickey | Ethan Dickey, Abhijeet Vyas, Sabre Kais | Theory of Computing, Algorithms, and Quantum Computing | ||
| Room 3: Commons | Digital Infrastructure & Graphics |
10:05 | 10:25 | Aha! Adaptive Hotspot-Aware Index for Oscillating Write-Heavy and Read-Heavy Workloads | Lu Xing | Lu Xing, Ruihong Wang, Walid G. Aref | Databases and Data Mining |
| Morning | Host: Dante Bastile | 10:26 | 10:46 | Profile-Guided Learned Database Kernels | Yeasir Rayhan | Yeasir Rayhan, Walid G Aref | Databases and Data Mining |
| 10:47 | 11:07 | EDM: An Ultra-Low Latency Ethernet Fabric for Memory Disaggregation | Weigao Su | Weigao Su, Vishal Shrivastav | Networking and OS | ||
| 11:08 | 11:28 | Tree D-fusion: Simulation-Ready Tree Dataset from Single Images with Diffusion Priors | Jae Joong Lee | Jae Joong Lee, Bosheng Li, Sara Beery, Jonathan Huang, Songlin Fei, Raymond Yeh, Bedrich Benes | Graphics, Visualization, and Geometric Modeling; Robotics and Computer Vision | ||
| 11:29 | 11:49 | Simulating Lagrangian Dynamics with Reduced Order Modeling and Neural Operators | Hrishikesh Viswanath | Hrishikesh Viswanath, Yue Chang, Julius Berner, Peter Yichen Chen, Aniket Bera | Graphics, Visualization, and Geometric Modeling; Computational Science and Engineering; AI, ML, NLP | ||
| 11:50 | 12:00 | Lunch Prep | |||||
| Afternoon | Security | 2:30 | 2:50 | Attacking and Improving the Tor Directory Protocol | Zhongtang Luo | Zhongtang Luo, Adithya Bhat, Kartik Nayak, Aniket Kate | Information Security and Assurance |
| Host: Abdullah Imran | 2:51 | 3:11 | zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure | Jacob White | Michael Rosenberg, Jacob White, Christina Garman, Ian Miers | Information Security and Assurance | |
| 3:12 | 3:32 | AutoProfiler: Automated Profile Inference with Language Model Agents | Yuntao Du | Yuntao Du, Ninghui Li | Information Security and Assurance; AI, ML, NLP | ||
| 3:33 | 3:53 | Faculty Talk: A Reflection on Teaching Hardware Security | Dave (Jing) Tian | ||||
| 3:54 | 4:14 | Privacy-Preserving Graph Learning: Integrating Sensitive Relational Data with Foundation Models | Haoteng Yin | Haoteng Yin, Rongzhe Wei, Eli Chien, Pan Li | Information Security and Assurance; AI, ML, NLP | ||
| 4:15 | 4:35 | Conditional Encryption with Applications to Secure Personalized Password Typo Correction | Mohammad Hassan Ameri | Mohammad Hassan Ameri, Jeremiah Blocki | Information Security and Assurance; Theory of Computing, Algorithms, and Quantum Computing | ||
| 4:36 | 4:56 | Decidability and Communication Complexity of Secure Two-party Computation of Randomized Functions | Hamidreza Amini Khorasagani | Saugata Basu, Hamidreza Amini Khorasgani, Hemanta K. Maji, and Hai H. Nguyen | Crypto; Theory of Computing, Algorithms, and Quantum Computing | ||
| Title | Name | Poster Number | Poster authors | Poster topics |
|---|---|---|---|---|
| Beyond first-order methods for non-convex non-concave min-max optimization | Abhijeet Vyas | 18 | Abhijeet Vyas | AI, ML, NLP |
| Building and Tree Segmentation from Shading for Dense Urban Settlements | Adnan Firoze | 24 | Adnan Firoze, Raymond A. Yeh, Daniel Aliaga | AI, ML, NLP; Graphics, Visualization, and Geometric Modeling; Robotics and Computer Vision |
| Self-Supervised Large Scale Point Cloud Completion for Archaeological Site Restoration | Aocheng Li | 22 | Aocheng Li, James R. Zimmer-Dauphinee, Rajesh Kalyanam, Ian Lindsay, Parker VanValkenburgh, Steven Wernke, Daniel Aliaga | Graphics, Visualization, and Geometric Modeling; Robotics and Computer Vision |
| Multi-Robot Informative Path Planning for Efficient Target Mapping using Deep Reinforcement Learning | Apoorva Vashisth | 26 | Apoorva Vashisth, Dipam Patel, Damon Conover, Aniket Bera | Robotics and Computer Vision |
| V3rified: Revelation vs Non-Revelation Mechanisms for Decentralized Verifiable Computation | Athina Terzoglou | 10 | Tiantian Gong, Aniket Kate, Alexandros Psomas, Athina Terzoglou | Theory of Computing, Algorithms, and Quantum Computing |
| Meshing High-Dimensional Toroidal Manifolds from Quasi-Periodic Three-Body Problem Dynamics | Dante Basile | 19 | Dante Basile, Xavier Tricoche | Computational Science and Engineering; Graphics, Visualization, and Geometric Modeling |
| Implementing the AI-Lab Framework: Enhancing Introductory Programming Education for CS Majors | Ethan Dickey | 15 | Ethan Dickey, Andres Bejarano, Rhianna Setsma | CS Education |
| Privately Learning from Graphs with Applications in Fine-tuning Large Language Models | Haoteng Yin | 5 | Haoteng Yin, Rongzhe Wei, Eli Chien, Pan Li | AI, ML, NLP; Information Security and Assurance |
| Reduced-Order Neural Operators: Learning Lagrangian Dynamics on Highly Sparse Graphs | Hrishikesh Viswanath | 32 | Hrishikesh Viswanath, Yue Chang, Julius Berner, Peter Yi-Chen Chen, Aniket Bera | AI, ML, NLP; Computational Science and Engineering; Graphics, Visualization, and Geometric Modeling |
| Automating Sorghum Segmentation and Leaf Counting | Ian Ostermann | 20 | Ian Ostermann, Bedrich Benes, Mathieu Gaillard, Bosheng Li, Jensina Davis, Ryleigh Grove, Nikee Shrestha, Michael C. Tross, James C. Schnable | Graphics, Visualization, and Geometric Modeling |
| DIGRAF: Diffeomorphic Graph-Adaptive Activation Function | Ipsit Mantri | 31 | Krishna Sri Ipsit Mantri*, Aurora (Xinzhi) Wang*, Carola-Bibiane Schonlieb, Bruno Ribeiro, Beatrice Bevilacqua, Moshe Eliasof | AI, ML, NLP |
| zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure | Jacob White | 3 | Michael Rosenberg, Jacob White, Christina Garman, Ian Miers | Information Security and Assurance |
| Tree D-fusion: Simulation-Ready Tree Dataset from Single Images with Diffusion Priors | Jae Joong Lee | 21 | Jae Joong Lee, Bosheng Li, Sara Beery, Jonathan Huang, Songlin Fei, Raymond Yeh, Bedrich Benes | Graphics, Visualization, and Geometric Modeling; Robotics and Computer Vision |
| Minimax Hypothesis Testing for the Bradley-Terry-Luce Model | Japneet Singh | 14 | Anuran Makur, Japneet Singh | AI, ML, NLP; Theory of Computing, Algorithms, and Quantum Computing |
| Robust Graph Positional Encodings for OOD Size Generalization in Transformers | Jincheng Zhou | 34 | Jincheng Zhou, Yucheng Zhang, Mikhail Galkin, Bruno Ribeiro | AI, ML, NLP |
| Amortized Locally Decodable Codes | Justin Zhang | 11 | Justin Zhang | Theory of Computing, Algorithms, and Quantum Computing |
| Out-of-Domain Contrastive Continual Pretraining on Sequential Recommendation System | Lixiang Li | 30 | Lixiang Li, Bharat Bhargava | AI, ML, NLP |
| An Experimental Evaluation and Investigation ofWaves of Misery in R-trees | Lu Xing | 1 | Lu Xing, Eric Lee, Tong An, Bo-Cheng Chu, Ahmed Mahmood, Ahmed M. Aly, Jianguo Wang, Walid G. Aref | Databases and Data Mining |
| Coactivated Intent Inference through Value Function Decomposition | Maheep Brar | 29 | Maheep Brar, Simon Stepputtis, Guven Gergerli, Shahab Rahimirad, Joseph Campbell | AI, ML, NLP |
| An Empirical Study of Conjugate Gradient Preconditioners for Solving Symmetric Positive Definite Systems of Linear Equations | Marc Tunnell | 17 | Marc A. Tunnell | Computational Science and Engineering |
| Automating Food Drop: The Power of Two Choices for Dynamic and Fair Food Allocation | Marios Mertzanidis | 8 | Marios Mertzanidis, Alexandros Psomas, Paritosh Verma | Theory of Computing, Algorithms, and Quantum Computing |
| Memory-Hard Proofs of Work | Nathan Andrew Smearsoll | 9 | Jeremiah Blocki, Nathan Smearsoll | Theory of Computing, Algorithms, and Quantum Computing |
| A spatial hypergraph model where epidemic spread demonstrates clear higher-order effects | Omar Sameh Eldaghar | 16 | Omar Eldaghar, Yu Zhu, David Gleich | Computational Science and Engineering |
| Fair Division: Cakes, Colors, Graphs, and more... | Paritosh Verma | 12 | Paritosh Verma, Siddharth Barman, Daniel Halpern, Alex Psomas, Daniel Xie | Theory of Computing, Algorithms, and Quantum Computing |
| Fairly Allocating Goods in Parallel | Rohan Garg | 6 | Rohan Garg, Alexandros Psomas | Theory of Computing, Algorithms, and Quantum Computing |
| Quasi Zigzag Persistence: A Topological Framework for Analyzing Time-Varying Data | Shreyas Samaga | 13 | Tamal K. Dey, Shreyas N. Samaga | AI, ML, NLP; Theory of Computing, Algorithms, and Quantum Computing |
| GO2Sum: generating human-readable functional summary of proteins from GO terms | Swagarika J. Giri | 28 | Swagarika J. Giri, Nabil Ibtehaz, and Daisuke Kihara | AI, ML, NLP; Bioinformatics and Computational Biology |
| LLM-Based Inferencing to Edit and Optimize Urban Block Layouts | Tanner Waltz | 23 | Tanner Waltz, Julio Vera-Sancho, Daniel Aliaga | Graphics, Visualization, and Geometric Modeling; Robotics and Computer Vision |
| Physics-Grounded Differentiable Simulation for Soft Growing Robots | Yitian Gao | 25 | Yitian Gao, Lucas Chen | Robotics and Computer Vision |
| TRIX: A More Expressive Model for Zero-shot Domain Transfer in Knowledge Graphs | Yucheng Zhang | 33 | Yucheng Zhang, Beatrice Bevilacqua, Mikhail Galkin, Bruno Ribeiro | AI, ML, NLP |
| Faster single-source shortest paths with negative real weights via proper hop distance | Yufan Huang | 7 | Yufan Huang, Peter Jin, Kent Quanrud | Theory of Computing, Algorithms, and Quantum Computing |
| AutoProfiler: Automated Profile Inference with Language Model Agents | Yuntao Du | 4 | Yuntao Du | AI, ML, NLP; Information Security and Assurance |
| Sparse Mixture-of-Experts for Non-Uniform Noise Reduction in MRI Images | Zeyun Deng | 27 | Zeyun Deng, Joseph Campbell | AI, ML, NLP; Robotics and Computer Vision |
| Attacking and Improving the Tor Directory Protocol | Zhongtang Luo | 2 | Zhongtang Luo, Adithya Bhat, Kartik Nayak, Aniket Kate | Information Security and Assurance |
| Parameter-free Nonsmooth Nonconvex Optimization Meets Frank-Wolfe | Zitao Song | 35 | Zitao Song, Swati Padmanabhan, Gaoyuan Liu, and Zhe Zhang | AI, ML, NLP |