Accelerating smart play-out

David Harel; Hillel Kugler; Shahar Maoz; Itai Segall

doi:10.1007/978-3-642-11266-9_40

Accelerating smart play-out

David Harel, Hillel Kugler, Shahar Maoz, Itai Segall

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	SOFSEM 2010
Subtitle of host publication	Theory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
Pages	477-488
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-642-11266-9_40
State	Published - 2010
Externally published	Yes
Event	36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 - Spindleruv Mlyn, Czech Republic Duration: 23 Jan 2010 → 29 Jan 2010

Publication series

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

Conference

Conference	36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010
Country/Territory	Czech Republic
City	Spindleruv Mlyn
Period	23/01/10 → 29/01/10

Access to Document

10.1007/978-3-642-11266-9_40

Cite this

Harel, D., Kugler, H., Maoz, S., & Segall, I. (2010). Accelerating smart play-out. In SOFSEM 2010: Theory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings (pp. 477-488). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5901 LNCS). https://doi.org/10.1007/978-3-642-11266-9_40

Harel, David ; Kugler, Hillel ; Maoz, Shahar ; Segall, Itai. / Accelerating smart play-out. SOFSEM 2010: Theory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. 2010. pp. 477-488 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4d6ecdec78f6431aad2d4417ba99a436,

title = "Accelerating smart play-out",

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{\"i}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.",

author = "David Harel and Hillel Kugler and Shahar Maoz and Itai Segall",

note = "Funding Information: This research was partially supported by the John von Neumann Minerva Center for the Development of Reactive Systems at the Weizmann Institute of Science, and by an Advanced Research Grant from the European Research Council (ERC) under the European Community{\textquoteright}s 7th Framework Programme (FP7/2007-2013).; null ; Conference date: 23-01-2010 Through 29-01-2010",

year = "2010",

doi = "10.1007/978-3-642-11266-9_40",

language = "אנגלית",

isbn = "3642050050",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "477--488",

booktitle = "SOFSEM 2010",

}

Harel, D, Kugler, H, Maoz, S & Segall, I 2010, Accelerating smart play-out. in SOFSEM 2010: Theory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5901 LNCS, pp. 477-488, 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010, Spindleruv Mlyn, Czech Republic, 23/01/10. https://doi.org/10.1007/978-3-642-11266-9_40

Accelerating smart play-out. / Harel, David; Kugler, Hillel; Maoz, Shahar; Segall, Itai.

SOFSEM 2010: Theory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. 2010. p. 477-488 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5901 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Accelerating smart play-out

AU - Harel, David

AU - Kugler, Hillel

AU - Maoz, Shahar

AU - Segall, Itai

N1 - Funding Information: This research was partially supported by the John von Neumann Minerva Center for the Development of Reactive Systems at the Weizmann Institute of Science, and by an Advanced Research Grant from the European Research Council (ERC) under the European Community’s 7th Framework Programme (FP7/2007-2013).

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77249152264&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-11266-9_40

DO - 10.1007/978-3-642-11266-9_40

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:77249152264

SN - 3642050050

SN - 9783642050053

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 477

EP - 488

BT - SOFSEM 2010

Y2 - 23 January 2010 through 29 January 2010

ER -

Harel D, Kugler H, Maoz S, Segall I. Accelerating smart play-out. In SOFSEM 2010: Theory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. 2010. p. 477-488. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-11266-9_40

Accelerating smart play-out

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this