Community Profile

photo

Ioannis Filippidis


California Institute of Technology

Active since 2012

http://www.caltech.edu/~ifilippi
Synthesis of distributed systems with formal guarantees of correctness.

Statistics

All
  • Personal Best Downloads Level 3
  • First Review
  • 5-Star Galaxy Level 5
  • GitHub Submissions Level 2
  • First Submission
  • Knowledgeable Level 1
  • First Answer

View badges

Content Feed

View by

Answered
Too many markers!
In order to avoid having to keep track of all handles, there is a simple alternative. You can use the 'HandelVisibility' argu...

9 years ago | 1

| accepted