pdeligia
Principal Research Engineer at Microsoft Research • PhD from Imperial College London • R&D'ing on AI + Software Reliability • Created microsoft/coyote
Microsoft ResearchSeattle, WA
Pinned Repositories
coyote
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
boogie-for-atom
Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.
FASTER
Fast persistent recoverable log and key-value store + cache, in C# and C++.
nekara-artifact
Artifact for the "Nekara: Generalized Concurrency Testing" ASE 2021 paper.
opentelemetry-dotnet
The OpenTelemetry .NET Client
pdeligia.github.io
my personal website
Poogie
P to Boogie translator
psharp-ql
Learning-based controlled concurrency testing in P#.
PSharpCaseStudiesPaper
pdeligia's Repositories
pdeligia/nekara-artifact
Artifact for the "Nekara: Generalized Concurrency Testing" ASE 2021 paper.
pdeligia/boogie-for-atom
Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.
pdeligia/FASTER
Fast persistent recoverable log and key-value store + cache, in C# and C++.
pdeligia/opentelemetry-dotnet
The OpenTelemetry .NET Client
pdeligia/pdeligia.github.io
my personal website
pdeligia/Poogie
P to Boogie translator
pdeligia/psharp-ql
Learning-based controlled concurrency testing in P#.
pdeligia/PSharpCaseStudiesPaper
pdeligia/WhoopPaper