4 Search Results for "Yahav, Eran"

Document
DOI: 10.4230/DagRep.13.2.20
Programming Language Processing (Dagstuhl Seminar 23062)

Authors: Michael Pradel, Baishakhi Ray, Charles Sutton, and Eran Yahav

Published in: Dagstuhl Reports, Volume 13, Issue 2 (2023)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23062 "Programming Language Processing" (PLP). The seminar brought together researchers and practitioners from three communities-software engineering, programming languages, and natural language processing- providing a unique opportunity for cross-fertilization and inter-disciplinary progress. We discussed machine learning models of code, integrating learning-based and traditional program analysis, and learning from natural language information associated with software. The seminar lead to a better understanding of the commonalities and differences between natural and programming languages, and an understanding of the challenges and opportunities in industry adoption of PLP.
Cite as

Michael Pradel, Baishakhi Ray, Charles Sutton, and Eran Yahav. Programming Language Processing (Dagstuhl Seminar 23062). In Dagstuhl Reports, Volume 13, Issue 2, pp. 20-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@Article{pradel_et_al:DagRep.13.2.20,
  author =	{Pradel, Michael and Ray, Baishakhi and Sutton, Charles and Yahav, Eran},
  title =	{{Programming Language Processing (Dagstuhl Seminar 23062)}},
  pages =	{20--32},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{13},
  number =	{2},
  editor =	{Pradel, Michael and Ray, Baishakhi and Sutton, Charles and Yahav, Eran},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.2.20},
  URN =		{urn:nbn:de:0030-drops-191799},
  doi =		{10.4230/DagRep.13.2.20},
  annote =	{Keywords: ML4PL, ML4SE, Neural Software Analysis}
}
Document
DOI: 10.4230/DagRep.2.4.21
Software Synthesis (Dagstuhl Seminar 12152)

Authors: Rastislav Bodík, Sumit Gulwani, and Eran Yahav

Published in: Dagstuhl Reports, Volume 2, Issue 4 (2012)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12152 ``Software Synthesis''. During the seminar, several participants presented their current research, ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper. The rise of multiprocesser computers and of software verification as applied in industry combine to create an opportune moment for software synthesis. To facilitate research in this area, research from several fields of Computer Science presented tutorials on techniques they developed. This lead to (1) the definition of what challenges synthesis has to tackle in the future and (2) insights into how the several fields of synthesis are related. Finally, several groups described their experience with teaching synthesis to graduate and undergraduate students, demonstrating that synthesis is challenging for students but that they can also rise to the challenge and enjoy the field.
Cite as

Rastislav Bodík, Sumit Gulwani, and Eran Yahav. Software Synthesis (Dagstuhl Seminar 12152). In Dagstuhl Reports, Volume 2, Issue 4, pp. 21-38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Article{bodik_et_al:DagRep.2.4.21,
  author =	{Bod{\'\i}k, Rastislav and Gulwani, Sumit and Yahav, Eran},
  title =	{{Software Synthesis (Dagstuhl Seminar 12152)}},
  pages =	{21--38},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{4},
  editor =	{Bod{\'\i}k, Rastislav and Gulwani, Sumit and Yahav, Eran},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.4.21},
  URN =		{urn:nbn:de:0030-drops-35956},
  doi =		{10.4230/DagRep.2.4.21},
  annote =	{Keywords: Software Synthesis, Verification and Model Checking, Theorem Proving, Program Analysis, Programming by Demonstration, Program Derivation, Compiler Optimization}
}
Document
DOI: 10.4230/DagSemProc.09501.1
09501 Abstracts Collection – Software Synthesis

Authors: Ratislav Bodik, Orna Kupferman, Dougla R. Smith, and Eran Yahav

Published in: Dagstuhl Seminar Proceedings, Volume 9501, Software Synthesis (2010)

Abstract
From 06.12.09 to 11.12.09, the Dagstuhl Seminar 09501 ``Software Synthesis '' in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Ratislav Bodik, Orna Kupferman, Dougla R. Smith, and Eran Yahav. 09501 Abstracts Collection – Software Synthesis. In Software Synthesis. Dagstuhl Seminar Proceedings, Volume 9501, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{bodik_et_al:DagSemProc.09501.1,
  author =	{Bodik, Ratislav and Kupferman, Orna and Smith, Dougla R. and Yahav, Eran},
  title =	{{09501 Abstracts Collection – Software Synthesis}},
  booktitle =	{Software Synthesis},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{9501},
  editor =	{Ratislav Bodik and Orna Kupferman and Douglas R. Smith and Eran Yahav},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09501.1},
  URN =		{urn:nbn:de:0030-drops-26696},
  doi =		{10.4230/DagSemProc.09501.1},
  annote =	{Keywords: Software Synthesis, Verification, Theorem Proving, Program Analysis, Programming by Demonstration}
}
Document
DOI: 10.4230/DagSemProc.09501.2
Software Synthesis is Hard – and Simple

Authors: Sven Schewe

Published in: Dagstuhl Seminar Proceedings, Volume 9501, Software Synthesis (2010)

Abstract
While the components of distributed hardware systems can reasonably be assumed to be synchronised, this is not the case for the components of distributed software systems. This has a strong impact on the class of synthesis problems for which decision procedures exist: While there is a rich family of distributed systems, including pipelines, chains, and rings, for which the realisability and synthesis problem is decidable if the system components are composed synchronously, it is well known that the asynchronous synthesis problem is only decidable for monolithic systems. From a theoretical point of view, this renders distributed software synthesis undecidable, and one is tempted to conclude that synthesis of asynchronous systems, and hence of software, is much harder than the synthesis of synchronous systems. Taking a more practical approach, however, reveals that bounded synthesis, one of the most promising synthesis techniques, can easily be extended to asynchronous systems. This merits the hope that the promising results from bounded synthesis will carry over to asynchronous systems as well.
Cite as

Sven Schewe. Software Synthesis is Hard – and Simple. In Software Synthesis. Dagstuhl Seminar Proceedings, Volume 9501, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{schewe:DagSemProc.09501.2,
  author =	{Schewe, Sven},
  title =	{{Software Synthesis is Hard – and Simple}},
  booktitle =	{Software Synthesis},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{9501},
  editor =	{Ratislav Bodik and Orna Kupferman and Douglas R. Smith and Eran Yahav},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09501.2},
  URN =		{urn:nbn:de:0030-drops-26702},
  doi =		{10.4230/DagSemProc.09501.2},
  annote =	{Keywords: Synthesis, Temporal Logics}
}
  • Refine by Author
  • 3 Yahav, Eran
  • 1 Bodik, Ratislav
  • 1 Bodík, Rastislav
  • 1 Gulwani, Sumit
  • 1 Kupferman, Orna
  • Show More...

  • Refine by Classification
  • 1 Computing methodologies → Artificial intelligence
  • 1 Computing methodologies → Machine learning
  • 1 Software and its engineering

  • Refine by Keyword
  • 2 Program Analysis
  • 2 Programming by Demonstration
  • 2 Software Synthesis
  • 2 Theorem Proving
  • 1 Compiler Optimization
  • Show More...

  • Refine by Type
  • 4 document

  • Refine by Publication Year
  • 2 2010
  • 1 2012
  • 1 2023

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact