Brief Announcement: Techniques for Programmatically Troubleshooting Distributed Systems | AMiner