[{"DBLP title": "Dynamic Deadlock Verification for General Barrier Synchronisation.", "DBLP authors": ["<NAME>", "<NAME>", "<NAME>", "<NAME>"], "year": 2019, "MAG papers": [], "source": null}, {"DBLP title": "Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions.", "DBLP authors": ["<NAME>", "<NAME>", "<NAME>", "<NAME>", "<NAME>", "<NAME>"], "year": 2019, "MAG papers": [], "source": null}, {"DBLP title": "Optimal Choice of When to Garbage Collect.", "DBLP authors": ["<NAME>", "<NAME>", "<NAME>", "<NAME>"], "year": 2019, "MAG papers": [], "source": null}, {"DBLP title": "Feature-Specific Profiling.", "DBLP authors": ["<NAME>", "<NAME>", "<NAME>", "<NAME>"], "year": 2019, "MAG papers": [], "source": null}, {"DBLP title": "Practical Subtyping for Curry-Style Languages.", "DBLP authors": ["<NAME>", "<NAME>"], "year": 2019, "MAG papers": [], "source": null}, {"DBLP title": "Rethinking Incremental and Parallel Pointer Analysis.", "DBLP authors": ["<NAME>", "<NAME>", "<NAME>"], "year": 2019, "MAG papers": [], "source": null}]