Software Day '23

The 2023 Northeastern Software Day is a day-long student-led event to bring together members of the Northeastern University community who conduct research in software. The event is open to all who are interested in research in all things software, including: programming languages, software engineering and formal methods.

The event will take place on Tuesday, September 26, 2023 in Curry Student Center room 440 from 9am-5pm. Immediately following the event, there will be a social event at Lucky Strike Social in the Fenway neighborhood, where attendees can mix and mingle over bowling, food and drink.

Call for Participation

We solicit talk proposals about research at any stage from students in PL/SE/FM.

There are two types of talk slots: 5-minute lightning talks and 15-minute presentations. Please indicate your preference in the form, and we will do our best to accommodate. We intend to give everyone who wants to talk the opportunity to give one.

For full consideration, please complete this form by September 8, 2023. Speakers will be notified of the talk length and time slot by September 13th, 2023.


We ask that all who are planning to attend the event register in advance so that we can have an accurate headcount for food and drink. Please complete this registration form by September 17, 2023.


8:30 amBreakfast
9:00-9:15amGwen LincroftOpening Remarks
9:15-9:30amDaniel MelcerConstrained Generation 🫴🦋 Is This Shielding?
9:35-9:40amAnkit KumarProving Distributed Systems correct using Refinement. Slides
9:45-10:00amLuna Phipps-CostinContinuing WebAssembly with WasmFX
10:05-10:10amAbdelrahman MadkourProbabilistic Programming For Video Game Development
10:15-10:30amFarideh KhaliliTest Migration for Android Applications. Slides
10:30-11:00amCoffee Break
11:00-11:15amJohn GouwarKnowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
11:20-11:25amYangtian ZiStudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code
11:30-11:45amAndrew WagnerAll the Binaries Together. Slides
11:50-11:55amLisa OakleyDifferential Privacy Verification
12:00-12:15pmMichelle ThalakotturMaking Interpreters Fast (At Fastly)
1:30-1:45pmSatyajit GokhaleSemantic Code Clustering at Scale
1:50-1:55pmOlek GierczakGradually Typed Languages Should Be Vigilant!
2:00-2:15pmJohn LiLilac: A Modal Separation Logic for Conditional Probability. Slides
2:20-2:25pmMinsung ChoFree Dice: Weighted Model Counting via Effects
2:30-2:45pmDerek EgolfToward Fitness-Optimal Synthesis of Distributed Protocols
2:45-3:15pmCoffee Break
3:15-3:30pmJane AdamsSystemic Challenges of Visualization Software Engineering in Genetics Research. Slides
3:35-3:50pmMax BernsteinIntro to ML compilers
3:55-4:10pmAndrew WalterWitness-Generating Data Types
4:15-4:55pmFaculty Panel: Software Research, Moderator: Michelle Thalakottur
4:55-5:00pmGwen LincroftClosing Remarks
6:00-8:00pmSocial Event at Lucky Strike


This event is sponsored by the Northeastern University Khoury College of Computer Sciences.


General Chair: Gwenyth Lincroft

Program Committee: Minsung Cho, John Gouwar, Farideh Khalili

Comfy Chair: Michelle Thalakottur

Faculty Advisor: Jonathan Bell