@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",
}