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.
Registration
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.
Schedule
| Time | Speaker | Topic |
|---|---|---|
| 8:30 am | Breakfast | |
| 9:00-9:15am | Gwen Lincroft | Opening Remarks |
| 9:15-9:30am | Daniel Melcer | Constrained Generation 🫴🦋 Is This Shielding? |
| 9:35-9:40am | Ankit Kumar | Proving Distributed Systems correct using Refinement. Slides |
| 9:45-10:00am | Luna Phipps-Costin | Continuing WebAssembly with WasmFX |
| 10:05-10:10am | Abdelrahman Madkour | Probabilistic Programming For Video Game Development |
| 10:15-10:30am | Farideh Khalili | Test Migration for Android Applications. Slides |
| 10:30-11:00am | Coffee Break | |
| 11:00-11:15am | John Gouwar | Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs |
| 11:20-11:25am | Yangtian Zi | StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code |
| 11:30-11:45am | Andrew Wagner | All the Binaries Together. Slides |
| 11:50-11:55am | Lisa Oakley | Differential Privacy Verification |
| 12:00-12:15pm | Michelle Thalakottur | Making Interpreters Fast (At Fastly) |
| 12:15-1:30pm | Lunch | |
| 1:30-1:45pm | Satyajit Gokhale | Semantic Code Clustering at Scale |
| 1:50-1:55pm | Olek Gierczak | Gradually Typed Languages Should Be Vigilant! |
| 2:00-2:15pm | John Li | Lilac: A Modal Separation Logic for Conditional Probability. Slides |
| 2:20-2:25pm | Minsung Cho | Free Dice: Weighted Model Counting via Effects |
| 2:30-2:45pm | Derek Egolf | Toward Fitness-Optimal Synthesis of Distributed Protocols |
| 2:45-3:15pm | Coffee Break | |
| 3:15-3:30pm | Jane Adams | Systemic Challenges of Visualization Software Engineering in Genetics Research. Slides |
| 3:35-3:50pm | Max Bernstein | Intro to ML compilers |
| 3:55-4:10pm | Andrew Walter | Witness-Generating Data Types |
| 4:15-4:55pm | Faculty Panel: Software Research, Moderator: Michelle Thalakottur | |
| 4:55-5:00pm | Gwen Lincroft | Closing Remarks |
| 6:00-8:00pm | Social Event at Lucky Strike | |
Sponsors
This event is sponsored by the Northeastern University Khoury College of Computer Sciences.
Organizers
General Chair: Gwenyth Lincroft
Program Committee: Minsung Cho, John Gouwar, Farideh Khalili
Comfy Chair: Michelle Thalakottur
Faculty Advisor: Jonathan Bell