Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities: Techniques, Challenges, Opportunities: (Invited Paper)

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: Techniques, Challenges, Opportunities: (Invited Paper)

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

Technion - Israel Institute of Technology

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

Abstract

This paper presents the main ideas behind deductive synthesis of heap-manipulating program and outlines present challenges faced by this approach as well as future opportunities for its applications.

Original language	English
Title of host publication	COMPUTER AIDED VERIFICATION (CAV 2021), PT I
Editors	Alexandra Silva, K. Rustan Leino
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	110-134
Number of pages	25
Volume	12759
ISBN (Print)	9783030816841
DOIs	https://doi.org/10.1007/978-3-030-81685-8_5
State	Published - 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

Conference

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

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

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

Cite this

Itzhaky, S., Peleg, H., Polikarpova, N., Rowe, R. N. S., & Sergey, I. (2021). Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities: Techniques, Challenges, Opportunities: (Invited Paper). In A. Silva, & K. R. Leino (Eds.), COMPUTER AIDED VERIFICATION (CAV 2021), PT I (Vol. 12759, 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 : Techniques, Challenges, Opportunities: (Invited Paper). COMPUTER AIDED VERIFICATION (CAV 2021), PT I. editor / Alexandra Silva ; K. Rustan Leino. Vol. 12759 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)).

@inbook{734f54cd6879420a9b95fb7925f83aba,

title = "Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities: Techniques, Challenges, Opportunities: (Invited Paper)",

abstract = "This paper presents the main ideas behind deductive synthesis of heap-manipulating program and outlines present challenges faced by this approach as well as future opportunities for its applications.",

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

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

language = "الإنجليزيّة",

isbn = "9783030816841",

volume = "12759",

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 (CAV 2021), PT I",

address = "ألمانيا",

}

Itzhaky, S, Peleg, H, Polikarpova, N, Rowe, RNS & Sergey, I 2021, Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities: Techniques, Challenges, Opportunities: (Invited Paper). in A Silva & KR Leino (eds), COMPUTER AIDED VERIFICATION (CAV 2021), PT I. vol. 12759, 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: Techniques, Challenges, Opportunities: (Invited Paper). / Itzhaky, Shachar; Peleg, Hila; Polikarpova, Nadia et al.
COMPUTER AIDED VERIFICATION (CAV 2021), PT I. ed. / Alexandra Silva; K. Rustan Leino. Vol. 12759 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 › Chapter › peer-review

TY - CHAP

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

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

Y1 - 2021

N2 - This paper presents the main ideas behind deductive synthesis of heap-manipulating program and outlines present challenges faced by this approach as well as future opportunities for its applications.

AB - This paper presents the main ideas behind deductive synthesis of heap-manipulating program and outlines present challenges faced by this approach as well as future opportunities for its applications.

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 - فصل

SN - 9783030816841

VL - 12759

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 (CAV 2021), PT I

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: Techniques, Challenges, Opportunities: (Invited Paper). In Silva A, Leino KR, editors, COMPUTER AIDED VERIFICATION (CAV 2021), PT I. Vol. 12759. 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: Techniques, Challenges, Opportunities: (Invited Paper)

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this