Victor Yodaiken
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1990–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SOSP | How ISO C became unusable for operating systems development. | Victor Yodaiken |
| 2004 | VLSID | New frontiers for embedded computing. | Victor Yodaiken |
| 1999 | OSDI | Optimizing the Idle Task and Other MMU Tricks. | Cort Dougan, Paul Mackerras, Victor Yodaiken |
| 1990 | CAV | The Algebraic Feedback Product of Automata. | Victor Yodaiken |
| 1990 | ICCI | A Logic-Free Method for Modular Composition of Specifications. | Victor Yodaiken |
| 1990 | RTSS | Specifying and Verifying a Real-Time Priority Queue with Modal Algebra. | Victor Yodaiken, Krithi Ramamritham |