Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms

Yoah Bar-David; Gadi Taubenfeld

doi:10.1145/872035.872080

Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms

Yoah Bar-David
, Gadi Taubenfeld

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

Abstract

A methodology for automatic discovery of synchronization algorithms is discussed. The user can set the problem parameters via a user interface. The parameters are sent to the algorithm generator, which generates all the possible algorithms according to the given parameters. Each algorithm (which passes the optimization checks) is sent to verification. Verification results are also returned to the algorithm generator for use in optimizations.

Original language	English
Title of host publication	Proceedings of the Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003
Publisher	Association for Computing Machinery (ACM)
Pages	305
Number of pages	1
ISBN (Print)	1581137087
DOIs	https://doi.org/10.1145/872035.872080
State	Published - 13 Jul 2003
Externally published	Yes
Event	22nd Annual ACM Symposium on Principles of Distributed Computing, PODC 2003 - Boston, MA, United States Duration: 13 Jul 2003 → 16 Jul 2003

Publication series

Name	Proceedings of the Annual ACM Symposium on Principles of Distributed Computing
Volume	22

Conference

Conference	22nd Annual ACM Symposium on Principles of Distributed Computing, PODC 2003
Country/Territory	United States
City	Boston, MA
Period	13/07/03 → 16/07/03

Access to Document

10.1145/872035.872080

Cite this

Bar-David, Y., & Taubenfeld, G. (2003). Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms. In Proceedings of the Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003 (pp. 305). (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; Vol. 22). Association for Computing Machinery (ACM). https://doi.org/10.1145/872035.872080

@inproceedings{8cac792aff954adfa2a2cebfac6d074d,

title = "Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms",

abstract = "A methodology for automatic discovery of synchronization algorithms is discussed. The user can set the problem parameters via a user interface. The parameters are sent to the algorithm generator, which generates all the possible algorithms according to the given parameters. Each algorithm (which passes the optimization checks) is sent to verification. Verification results are also returned to the algorithm generator for use in optimizations.",

author = "Yoah Bar-David and Gadi Taubenfeld",

year = "2003",

month = jul,

day = "13",

doi = "10.1145/872035.872080",

language = "אנגלית",

isbn = "1581137087",

series = "Proceedings of the Annual ACM Symposium on Principles of Distributed Computing",

publisher = "Association for Computing Machinery (ACM)",

pages = "305",

booktitle = "Proceedings of the Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003",

address = "ארצות הברית",

note = "22nd Annual ACM Symposium on Principles of Distributed Computing, PODC 2003 ; Conference date: 13-07-2003 Through 16-07-2003",

}

Bar-David, Y & Taubenfeld, G 2003, Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms. in Proceedings of the Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003. Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, vol. 22, Association for Computing Machinery (ACM), pp. 305, 22nd Annual ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, MA, United States, 13/07/03. https://doi.org/10.1145/872035.872080

Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms. / Bar-David, Yoah; Taubenfeld, Gadi.
Proceedings of the Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003. Association for Computing Machinery (ACM), 2003. p. 305 (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; Vol. 22).

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

TY - GEN

T1 - Brief Announcement

T2 - 22nd Annual ACM Symposium on Principles of Distributed Computing, PODC 2003

AU - Bar-David, Yoah

AU - Taubenfeld, Gadi

PY - 2003/7/13

Y1 - 2003/7/13

N2 - A methodology for automatic discovery of synchronization algorithms is discussed. The user can set the problem parameters via a user interface. The parameters are sent to the algorithm generator, which generates all the possible algorithms according to the given parameters. Each algorithm (which passes the optimization checks) is sent to verification. Verification results are also returned to the algorithm generator for use in optimizations.

AB - A methodology for automatic discovery of synchronization algorithms is discussed. The user can set the problem parameters via a user interface. The parameters are sent to the algorithm generator, which generates all the possible algorithms according to the given parameters. Each algorithm (which passes the optimization checks) is sent to verification. Verification results are also returned to the algorithm generator for use in optimizations.

UR - https://www.scopus.com/pages/publications/1142305218

U2 - 10.1145/872035.872080

DO - 10.1145/872035.872080

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

AN - SCOPUS:1142305218

SN - 1581137087

T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

SP - 305

BT - Proceedings of the Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003

PB - Association for Computing Machinery (ACM)

Y2 - 13 July 2003 through 16 July 2003

ER -

Bar-David Y, Taubenfeld G. Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms. In Proceedings of the Twenty-Second Annual ACM Symposium on Principles of Distributed Computing, PODC 2003. Association for Computing Machinery (ACM). 2003. p. 305. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing). doi: 10.1145/872035.872080

Brief Announcement: Automatic Discovery of Mutual Exclusion Algorithms

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this