2 papers by FOCS lab at PLDI 2025

2 papers by FOCS lab accepted to appear at PLDI 2025:

• Efficient Timestamping for Sampling-based Race Detection
• Program Skeletons for Automated Program Translation