Cyclic program synthesis

Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey

doi:10.1145/3453483.3454087

Cyclic program synthesis

Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N.S. Rowe, Ilya Sergey

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

Original language	English
Title of host publication	PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Editors	Stephen N. Freund, Eran Yahav
Publisher	Association for Computing Machinery (ACM)
Pages	944-959
Number of pages	16
ISBN (Electronic)	9781450383912
DOIs	https://doi.org/10.1145/3453483.3454087
Publication status	Published - 18 Jun 2021
Event	42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021 - Virtual, Online, Canada Duration: 20 Jun 2021 → 25 Jun 2021

Publication series

Name	Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Conference

Conference	42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021
Country/Territory	Canada
City	Virtual, Online
Period	20/06/21 → 25/06/21

Keywords

Cyclic Proofs
Program Synthesis
Separation Logic

Access to Document

10.1145/3453483.3454087Licence: CC BY

Cite this

Itzhaky, S., Peleg, H., Polikarpova, N., Rowe, R. N. S., & Sergey, I. (2021). Cyclic program synthesis. In S. N. Freund, & E. Yahav (Eds.), PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 944-959). (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)). Association for Computing Machinery (ACM). https://doi.org/10.1145/3453483.3454087

Itzhaky, Shachar ; Peleg, Hila ; Polikarpova, Nadia et al. / Cyclic program synthesis. PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. editor / Stephen N. Freund ; Eran Yahav. Association for Computing Machinery (ACM), 2021. pp. 944-959 (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

@inproceedings{02b494f77321495e83bfa419f58cdce9,

title = "Cyclic program synthesis",

keywords = "Cyclic Proofs, Program Synthesis, Separation Logic",

author = "Shachar Itzhaky and Hila Peleg and Nadia Polikarpova and Rowe, {Reuben N.S.} and Ilya Sergey",

note = "Publisher Copyright: {\textcopyright} 2021 Owner/Author.; 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021 ; Conference date: 20-06-2021 Through 25-06-2021",

year = "2021",

month = jun,

day = "18",

doi = "10.1145/3453483.3454087",

language = "English",

series = "Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)",

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

pages = "944--959",

editor = "Freund, {Stephen N.} and Eran Yahav",

booktitle = "PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation",

address = "United States",

}

Itzhaky, S, Peleg, H, Polikarpova, N, Rowe, RNS & Sergey, I 2021, Cyclic program synthesis. in SN Freund & E Yahav (eds), PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Association for Computing Machinery (ACM), pp. 944-959, 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021, Virtual, Online, Canada, 20/06/21. https://doi.org/10.1145/3453483.3454087

Cyclic program synthesis. / Itzhaky, Shachar; Peleg, Hila; Polikarpova, Nadia et al.
PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. ed. / Stephen N. Freund; Eran Yahav. Association for Computing Machinery (ACM), 2021. p. 944-959 (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

TY - GEN

T1 - Cyclic program synthesis

AU - Itzhaky, Shachar

AU - Peleg, Hila

AU - Polikarpova, Nadia

AU - Rowe, Reuben N.S.

AU - Sergey, Ilya

PY - 2021/6/18

Y1 - 2021/6/18

KW - Cyclic Proofs

KW - Program Synthesis

KW - Separation Logic

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

U2 - 10.1145/3453483.3454087

DO - 10.1145/3453483.3454087

M3 - Conference contribution

AN - SCOPUS:85108904115

T3 - Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

SP - 944

EP - 959

BT - PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation

A2 - Freund, Stephen N.

A2 - Yahav, Eran

PB - Association for Computing Machinery (ACM)

T2 - 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021

Y2 - 20 June 2021 through 25 June 2021

ER -

Itzhaky S, Peleg H, Polikarpova N, Rowe RNS, Sergey I. Cyclic program synthesis. In Freund SN, Yahav E, editors, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM). 2021. p. 944-959. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)). doi: 10.1145/3453483.3454087

Cyclic program synthesis

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this