Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities

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

doi:10.1007/978-3-030-81685-8_5

Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities

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	Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings
Editors	Alexandra Silva, K. Rustan Leino
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	110-134
Number of pages	25
ISBN (Electronic)	978-3-030-81685-8
ISBN (Print)	978-3-030-81684-1
DOIs	https://doi.org/10.1007/978-3-030-81685-8_5
Publication status	Published - 15 Jul 2021
Event	33rd International Conference on Computer Aided Verification, CAV 2021 - Virtual, Online Duration: 20 Jul 2021 → 23 Jul 2021

Publication series

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

Conference

Conference	33rd International Conference on Computer Aided Verification, CAV 2021
City	Virtual, Online
Period	20/07/21 → 23/07/21

Access to Document

10.1007/978-3-030-81685-8_5Licence: CC BY

Cite this

Itzhaky, S., Peleg, H., Polikarpova, N., Rowe, R. N. S., & Sergey, I. (2021). Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities . In A. Silva, & K. R. Leino (Eds.), Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings (pp. 110-134). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12759 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-81685-8_5

Itzhaky, Shachar ; Peleg, Hila ; Polikarpova, Nadia et al. / Deductive Synthesis of Programs with Pointers : Techniques, Challenges, Opportunities . Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. editor / Alexandra Silva ; K. Rustan Leino. Springer Science and Business Media Deutschland GmbH, 2021. pp. 110-134 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{41c5d30524cf43bf8329b35b9cf6d92b,

title = "Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities ",

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

note = "Publisher Copyright: {\textcopyright} 2021, The Author(s).; 33rd International Conference on Computer Aided Verification, CAV 2021 ; Conference date: 20-07-2021 Through 23-07-2021",

year = "2021",

month = jul,

day = "15",

doi = "10.1007/978-3-030-81685-8_5",

language = "English",

isbn = "978-3-030-81684-1",

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

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "110--134",

editor = "Alexandra Silva and Leino, {K. Rustan}",

booktitle = "Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings",

address = "Germany",

}

Itzhaky, S, Peleg, H, Polikarpova, N, Rowe, RNS & Sergey, I 2021, Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities . in A Silva & KR Leino (eds), Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12759 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 110-134, 33rd International Conference on Computer Aided Verification, CAV 2021, Virtual, Online, 20/07/21. https://doi.org/10.1007/978-3-030-81685-8_5

Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities . / Itzhaky, Shachar; Peleg, Hila; Polikarpova, Nadia et al.
Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. ed. / Alexandra Silva; K. Rustan Leino. Springer Science and Business Media Deutschland GmbH, 2021. p. 110-134 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12759 LNCS).

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

TY - GEN

T1 - Deductive Synthesis of Programs with Pointers

T2 - 33rd International Conference on Computer Aided Verification, CAV 2021

AU - Itzhaky, Shachar

AU - Peleg, Hila

AU - Polikarpova, Nadia

AU - Rowe, Reuben N.S.

AU - Sergey, Ilya

PY - 2021/7/15

Y1 - 2021/7/15

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

U2 - 10.1007/978-3-030-81685-8_5

DO - 10.1007/978-3-030-81685-8_5

M3 - Conference contribution

AN - SCOPUS:85113505397

SN - 978-3-030-81684-1

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

SP - 110

EP - 134

BT - Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings

A2 - Silva, Alexandra

A2 - Leino, K. Rustan

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 20 July 2021 through 23 July 2021

ER -

Itzhaky S, Peleg H, Polikarpova N, Rowe RNS, Sergey I. Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities . In Silva A, Leino KR, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Springer Science and Business Media Deutschland GmbH. 2021. p. 110-134. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-81685-8_5

Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities

Publication series

Conference

Access to Document

Other files and links

Cite this