10 citations · 16 across the 9 of their papers we have counts for
9 papers
An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
Shucai Yao, Emil Sekerinski
In the shared variable model of concurrency, guarded atomic actions restrict the possible interference between processes by regions of atomic execution. The guard specifies the con…
Parallel Order-Based Core Maintenance in Dynamic Graphs
Bin Guo, Emil Sekerinski
The core numbers of vertices in a graph are one of the most well-studied cohesive subgraph models because of the linear running time. In practice, many data graphs are dynamic grap…
New Concurrent Order Maintenance Data Structure
Bin Guo, Emil Sekerinski
The \emph{Order-Maintenance} (OM) data structure maintains a total order list of items for insertions, deletions, and comparisons. As a basic data structure, OM has many applicatio…
Simplified Algorithms for Order-Based Core Maintenance
Bin Guo, Emil Sekerinski
Graph analytics attract much attention from both research and industry communities. Due to the linear time complexity, the -core decomposition is widely used in many real-world…
Efficient Parallel Graph Trimming by Arc-Consistency
Bin Guo, Emil Sekerinski
Given a large data graph, trimming techniques can reduce the search space by removing vertices without outgoing edges. One application is to speed up the parallel decomposition of…
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…
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…
A Holistic Approach in Embedded System Development
Bojan Nokovic, Emil Sekerinski
We present pState, a tool for developing "complex" embedded systems by integrating validation into the design process. The goal is to reduce validation time. To this end, qualitati…
On a New Notion of Partial Refinement
Emil Sekerinski, Tian Zhang
Formal specification techniques allow expressing idealized specifications, which abstract from restrictions that may arise in implementations. However, partial implementations are…