10 citations · 16 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018★ 1 cited
A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper)
Spencer Park, Emil Sekerinski
This paper proposes the use of notebooks for the design documentation and tool interaction in the rigorous design of embedded systems. Conventionally, a notebook is a sequence of c…
cs.PL2018
Refining Santa: An Exercise in Efficient Synchronization
Emil Sekerinski, Shucai Yao
The Santa Claus Problem is an intricate exercise for concurrent programming. This paper outlines the refinement steps to develop a highly efficient implementation with concurrent o…