Rebekah Leslie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2005–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SGAI | TrafficSim: A Simulation Framework for the Scottish Rail Network in ROS2. | Rebekah Leslie, Calvin Earnshaw, Favour Jam, Kacper Komnata, Andreas Maita, Rafael C. Cardoso |
| 2012 | CADE | SMT-Based System Verification with DVF. | Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle |
| 2007 | SOSP | Writing systems software in a functional language: an experience report. | Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach |
| 2005 | ICFP | High-level views on low-level representations. | Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie |
| 2005 | ICFP | A principled approach to operating system construction in Haskell. | Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach |
| 2005 | SOSP | Operating system construction in Haskell. | Rebekah Leslie, Mark P. Jones |