Julian Mackay

Identifiers

• name variant Julian Mackay 0.60 · backfill

Papers (3)

1. Necessity Specifications for Robustness cs.PL · 2022 · author #1
2. Rusty Links in Local Chains cs.PL · 2022 · author #2
3. Holistic Specifications for Robust Programs cs.PL · 2020 · author #3

Mentions

• 2209.08205 #1 · arxiv_oai · confidence 0.70 Julian Mackay
• 2205.00795 #2 · arxiv_oai · confidence 0.70 Julian Mackay
• 2002.08334 #3 · arxiv_oai · confidence 0.70 Julian Mackay

Frequent Coauthors

• James Noble 3 shared papers
• Sophia Drossopoulou 2 shared papers
• Susan Eisenbach 2 shared papers
• Tobias Wrigstad 1 shared papers