Predicting Program Properties from "Big Code"-Reference-Cited by-同舟云学术

Predicting Program Properties from "Big Code"

Published:2015-01-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Raychev Veselin¹,Vechev Martin¹,Krause Andreas¹

Affiliation:

1. ETH Zurich, Zurich, Switzerland

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2676726.2677009

Reference29 articles.

1. Statistical Debugging Using Latent Topic Models

2. Probabilistic, modular and scalable inference of typestate specifications

3. On the Statistical Analysis of Dirty Pictures;BESAG J;Journal of the Royal Statistical Society. Series B (Methodol.),1986

Cited by 124 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multifaceted Formal Methods and their Interdisciplinary Role — from the Cathedral of ‘Components as Coalgebras’ to the HCI Context and the Open Source Software Bazaar;Journal of Logical and Algebraic Methods in Programming;2024-09

2. Comparing semantic graph representations of source code: The case of automatic feedback on programming assignments;Computer Science and Information Systems;2024

3. Predicting Return Types from Method Names;2024

4. AdaptivePaste: Intelligent Copy-Paste in IDE;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

5. LExecutor: Learning-Guided Execution;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30