Alex Habeen Chang
ThanhVu Nguyen
Formalizing Combinatorial Theorems and Proofs in Lean
Anh Thuan Tran
Jana Kosecka
Exploring 3D Gaussian Splatting for Indoor Segmentation
Bo Lu
Xiaokuan Zhang
Security Analysis of Account Abstraction (ERC-4337) in Blockchain
Bowen Cui
Keren Zhou
Can Large Language Models Understand Code Optimization?
Chutong Meng
Antonios Anastasopoulos
Speech Translation for Low-Resource Languages
Dang Khoi Nguyen Ho
ThanhVu Nguyen
Benchmark Generation for DNN Verification
Daniel Blackley
Evgenios Kornaropoulos
Application Specific Design of Private Information Retrieval
Dipak Meher
Carlotta Domeniconi
Constructing and Refining Knowledge Graphs from Text
Guoming Wu
Qiang Zeng
Adversarial Training via Diversified Model Variants through Model Editing
Hao Wu
Songqing Chen & Keren Zhou
A Fast Memory Sanitizer for GPU Kernel Programming
Haoyang Zhang
Xiaokuan Zhang
Security Analysis in Serverless Computing
Harsh Rangwala
Xuesu Xiao
Multi-Modal Self-Supervised Learning for Thermal Depth Estimation
Jie Hou
Lannan Luo
Impact of Fine-Tuning Methods on Memorization in Large Language Models
Jihyeong Lee
Keren Zhou
Analysis of Fine Grained GPU Profiling Metrics for Intermediate Representations
Jinhao Pan
Ziwei Zhu
Measuring Hidden Bias in Large Language Models
Junming Chen
Qiang Zeng
Keren Zhou
Deep Learning-based Performance Simulation for GPUs
Maria Belen (Belu) Ticona Oquendo
Antonios Anastasopoulos
Machine Translation for Crisis Preparedness and Response
Md Tanvir Rouf Shawon
Antonios Anastasopoulos & Keven Lybarger
Navigating Topic Relevance in Healthcare AI Conversations
Mirza Kamrul Bashar Shuhan
Giuseppe Ateniese
Oblivious Signaling
Nathaniel Mack
Gregory Stein
Dynamic Autonomous Search in Underwater Environments by Learning the Value of New Information
Nhat Le
Xuesu Xiao
Surround-view Perception for Social Robot Navigation
Poorvi Acharya
Antonios Anastasopoulos
Exploring NLP Applications in Second Language Acquisition
Reza Mehdizadeh
Brittany Johnson-Matthews & Emanuela Marasco
Beyond Text and Images: Advancing Cyber Threat Detection with Multimodal AI
Riley Byrd
Bo Han
Performance Analysis of Real-Time 3D Gaussian Splatting Using GPS-Gaussian
Robert (Beau) Ward
Xinyuan Wang
Analysis and Detection of Domain Name System (DNS) Command and Control (C2) in the Sliver Framework
Rui Yu
Mingrui Liu
Research of KV Cache for Large Language Model Inference
Sameep Shrestha
Xuesu Xiao
Vision Based Navigation Approach for Cheap Sidewalk Robots
Somiya Chihillar
Evgenios Kornaropoulos
Downcoding k-Anonymity Without Auxiliary Information
Sumanth Venkata Sai Krishna Manduru
Carlotta Domeniconi
Investigation of Social Biases in Compressed large Language Models (LLMs)
Thirumalai Vinjamoor Akhil Srinivas
Jessica Lin
Towards Building Deterministic Kernels for Time Series Anomaly Detection
Thomas De Mastri
Fei Li
Quantum Algorithms for Graph Discovery
Tingting Yao
Bo Han & Songqing Chen
A Measurement Study on Consumer-Grade AR Glasses
Tommy Chin
Songqing Chen
Automating Multi-Pull Request Aggregation in Software Repositories Using Large Language Models
Vamsi Simhadri
Xiaokuan Zhang
VR Authentication Across Content
Xiang Li
Qiang Zeng
You Don’t Need That Many Bits: When Bit-flip Attack Meets Backdoor Injection
Yangzhe Kong
Ziyu Yao & Xuesu Xiao
AutoSpatial: Efficient Spatial Reasoning Training for Social Navigation with Limited Labels
Yufan Zhang
Jinwei Ye
3D Reconstruction of Small Objects Using Gaussian Splatting with Sparse Views from a Single Camera
Yuman Wu
Mingrui Liu
Bilevel Optimization Meet with Neural Network: A Global Convergence Analysis
Zhirui Hu
Michael Jarret Baume