CLOSED CAPTIONING AVAILABLE:
Job Name: NEU-DRC-NEPLS Symposium Morning-(Ai-Live)
Date: Friday September 27, 2024
Time: 10:00 AM - 12:15 PM Timezone: US/Eastern
Service Provider: Heidi
Ai-Live(US):https://us.ai-live.com/CaptionViewer/Join/thirdparty?sessionId=USDWNE2210A
The New England Programming Languages and Systems Symposium will take place on Friday, September 27 at Northeastern University.
09:30-10:00 | Breakfast |
10:00-10:20 | Cobblestone: Iterative Automation for Formal Verification Emily First (UC San Diego) |
10:20-10:40 | Automated Program Repair, What Is It Good For? Not Absolutely Nothing! Hadeel Eladawy (University of Massachusetts, Amherst), Claire Le Goues(Carnegie Mellon University), Yuriy Brun (University of Massachusetts, Amherst) |
10:40-11:00 | Sike: Static Analysis For The Shell Anirudh Narsipur (Brown University) |
11:00-11:15 | Short Break |
11:15-11:35 | Eventually, Understanding: An Adaptive Tutor for Linear Temporal Logic Siddhartha Prasad (Brown University), Ben Greenman (University of Utah), Tim Nelson (Brown University), Shriram Krishnamurthi (Brown University) |
11:35-11:55 | Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs Dennis Liew (University of Massachusetts Boston) |
11:55-12:10 | Work-in-Progress: An SMT-Based, Correct-by-Construction Place-and-Route Framework Edward Wang (MIT) |
12:10-13:15 | Lunch |
13:15-13:35 | A Verified Foreign Function Interface Between Coq and C Joomy Korkut (Princeton University and Bloomberg L.P.) |
13:35-13:55 | On Compositionality in Hardware Pipeline Design Rishiyur S. Nikhil (Bluespec, Inc.) |
13:55-14:15 | You can't think about thinking without thinking about thinking about MEMO! Kartik Chandra (MIT) |
14:15-14:45 | Coffee/Tea Break |
14:45-15:05 | A Transactions Extension for WebAssembly Eliot Moss (University of Massachusetts Amherst) |
15:05-15:25 | Metamorph: Synthesizing Large Objects from Dafny APIs Alexander Bai (Tufts University) |
15:25-15:45 | How (Not) To Evaluate the Human Factors of PLs Will Crichton (Brown University) |
15:45-16:00 | Business Meeting |
Northeastern University campus map. The NEPLS Symposium will take place in the Cabral Center located in the O'Bryant Center building (40 Leon street, Boston MA)
Parking
Gainsborough Garage
10 Gainsborough Street
Boston, MA 02115
300ft, 10 min walking distance.
Renaissance Park Garage
835 Columbus Avenue
Boston, MA 02120
7 min walking distance.