FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149818952> ?p ?o ?g. }

• W2149818952 abstract "The growing use of multicore and networked computing systems is increasing the importance of developing reliable parallel and distributed code. Unfortunately, developing and testing such code is notoriously hard, especially for shared-memory models of programming. The actor model offers a promising alternative paradigm based on message passing. Essentially, an actor is an autonomous concurrent object which interacts with other actors only by exchanging messages. In actor-based systems, the key source of non-determinism is the order in which messages are delivered to—and processed by—the actors. Bugs can still occur in actor programs as the interleaving of messages may be incorrect, or the sequential code within an actor can have bugs. We developed a general framework, called SEJAP, for exploring possible message schedules in actor systems compiled to the Java bytecode. Specifically, in this dissertation, we present one instantiation of SEJAP for the actor library of the Scala programming language. To the best of our knowledge, this is the first framework that allows systematic exploration of Scala actor programs. We also present two optimizations that alleviate the state explosion problem typical for such exploration, and thus speed up the overall exploration of actor programs in SEJAP. We have implemented our framework, Scala instantiation, and optimizations in Java PathFinder, a widely used model checker for Java bytecode developed by NASA. Preliminary results show that SEJAP can effectively explore executions of actor programs. Further, our use of SEJAP already discovered a previously unknown bug in the sample code from a popular site for Scala." @default.
• W2149818952 created "2016-06-24" @default.
• W2149818952 creator A5043236771 @default.
• W2149818952 date "2009-01-01" @default.
• W2149818952 modified "2023-09-27" @default.
• W2149818952 title "State Exploration of Scala Actor Programs" @default.
• W2149818952 cites W114470091 @default.
• W2149818952 cites W1489371530 @default.
• W2149818952 cites W1496155669 @default.
• W2149818952 cites W1499965119 @default.
• W2149818952 cites W1516967624 @default.
• W2149818952 cites W1517165545 @default.
• W2149818952 cites W1524123945 @default.
• W2149818952 cites W1529646094 @default.
• W2149818952 cites W1532939744 @default.
• W2149818952 cites W154009719 @default.
• W2149818952 cites W1541318173 @default.
• W2149818952 cites W1544621933 @default.
• W2149818952 cites W1547793878 @default.
• W2149818952 cites W1566086941 @default.
• W2149818952 cites W1568729458 @default.
• W2149818952 cites W1581908531 @default.
• W2149818952 cites W1591717411 @default.
• W2149818952 cites W1594460136 @default.
• W2149818952 cites W1628092780 @default.
• W2149818952 cites W1649645444 @default.
• W2149818952 cites W1710734607 @default.
• W2149818952 cites W1773702657 @default.
• W2149818952 cites W1819209966 @default.
• W2149818952 cites W1938483076 @default.
• W2149818952 cites W1959349287 @default.
• W2149818952 cites W1975579741 @default.
• W2149818952 cites W1978899117 @default.
• W2149818952 cites W1990138733 @default.
• W2149818952 cites W1990838770 @default.
• W2149818952 cites W2009325557 @default.
• W2149818952 cites W2009489720 @default.
• W2149818952 cites W2016314068 @default.
• W2149818952 cites W2017534864 @default.
• W2149818952 cites W2021412145 @default.
• W2149818952 cites W2061438988 @default.
• W2149818952 cites W2072794470 @default.
• W2149818952 cites W2079577430 @default.
• W2149818952 cites W2087252615 @default.
• W2149818952 cites W2096449544 @default.
• W2149818952 cites W2097740541 @default.
• W2149818952 cites W2098548435 @default.
• W2149818952 cites W2098830227 @default.
• W2149818952 cites W2101416941 @default.
• W2149818952 cites W2105284832 @default.
• W2149818952 cites W2110297451 @default.
• W2149818952 cites W2113014519 @default.
• W2149818952 cites W2115309705 @default.
• W2149818952 cites W2117009500 @default.
• W2149818952 cites W2131062488 @default.
• W2149818952 cites W2132176278 @default.
• W2149818952 cites W2136650506 @default.
• W2149818952 cites W2140580654 @default.
• W2149818952 cites W2145098440 @default.
• W2149818952 cites W2145250263 @default.
• W2149818952 cites W2150101804 @default.
• W2149818952 cites W2157906846 @default.
• W2149818952 cites W2162120832 @default.
• W2149818952 cites W2169870841 @default.
• W2149818952 cites W2171480813 @default.
• W2149818952 cites W2172013287 @default.
• W2149818952 cites W2340933440 @default.
• W2149818952 cites W2912106379 @default.
• W2149818952 cites W2913459036 @default.
• W2149818952 cites W298244054 @default.
• W2149818952 cites W3137220996 @default.
• W2149818952 cites W88232554 @default.
• W2149818952 cites W2116746874 @default.
• W2149818952 hasPublicationYear "2009" @default.
• W2149818952 type Work @default.
• W2149818952 sameAs 2149818952 @default.
• W2149818952 citedByCount "0" @default.
• W2149818952 crossrefType "journal-article" @default.
• W2149818952 hasAuthorship W2149818952A5043236771 @default.
• W2149818952 hasConcept C109701466 @default.
• W2149818952 hasConcept C132106392 @default.
• W2149818952 hasConcept C168702491 @default.
• W2149818952 hasConcept C177264268 @default.
• W2149818952 hasConcept C199360897 @default.
• W2149818952 hasConcept C2776760102 @default.
• W2149818952 hasConcept C2777472213 @default.
• W2149818952 hasConcept C2779818221 @default.
• W2149818952 hasConcept C41008148 @default.
• W2149818952 hasConcept C548217200 @default.
• W2149818952 hasConceptScore W2149818952C109701466 @default.
• W2149818952 hasConceptScore W2149818952C132106392 @default.
• W2149818952 hasConceptScore W2149818952C168702491 @default.
• W2149818952 hasConceptScore W2149818952C177264268 @default.
• W2149818952 hasConceptScore W2149818952C199360897 @default.
• W2149818952 hasConceptScore W2149818952C2776760102 @default.
• W2149818952 hasConceptScore W2149818952C2777472213 @default.
• W2149818952 hasConceptScore W2149818952C2779818221 @default.
• W2149818952 hasConceptScore W2149818952C41008148 @default.
• W2149818952 hasConceptScore W2149818952C548217200 @default.
• W2149818952 hasLocation W21498189521 @default.

• next