Four papers from VERSE lab will appear at OOPSLA 2026: Infinitary Relational Logic Tracking Borrows with Regular Expressions Semi-declarative Language for Combinatorial Search Grammar Repair with Examples and Tree Automata