Person. Sorin Lerner Cornell University · cs.cornell.edu/~lerner · 0000-0003-3957-0628 PostdocsEmily First Papers Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification kasibatla-2026-cobblestoneICSE · 2026 DOI · arXiv REPLica: REPL instrumentation for Coq analysis ringer-2020-replicaCPP · 2020 PDF · DOI · pldb