Accelerating smart play-out

David Harel, Hillel Kugler, Shahar Maoz, Itai Segall

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Smart play-out is a method for executing declarative scenario-based specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping to avoid violations that may be caused by naïve execution. Major challenges for smart play-out are performance and scalability. In this work we show how to accelerate smart play-out by adapting and applying ideas inspired by formal verification and compiler optimization. Specifically, we present an algorithm that can reduce the size of the specification considered for smart play-out, while maintaining soundness and completeness. Experimental results show significant performance improvements and thus open the way to the application of smart play-out to large scenario-based programs.

Original languageEnglish
Title of host publicationSOFSEM 2010
Subtitle of host publicationTheory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
Pages477-488
Number of pages12
DOIs
StatePublished - 2010
Externally publishedYes
Event36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 - Spindleruv Mlyn, Czech Republic
Duration: 23 Jan 201029 Jan 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5901 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010
Country/TerritoryCzech Republic
CitySpindleruv Mlyn
Period23/01/1029/01/10

Fingerprint

Dive into the research topics of 'Accelerating smart play-out'. Together they form a unique fingerprint.

Cite this