Date: 2019-11-21T08:48:18+01:00 Unread emails: 61 Paper titles: 146 Uniq paper titles: 96
- Evaluating Semantic Representations of Source Code (4)
- Learning to Fuzz from Symbolic Execution with Application to Smart Contracts (4)
- Generating precise error specifications for C: a zero shot learning approach (4)
- Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks (4)
- Structural Language Models for Any-Code Generation (3)
- AutoPandas: Neural-Backed Generators for Program Synthesis (3)
- Improve Language Modelling for Code Completion through Statement Level Language Model based on Statement Embedding Generated by BiLSTM (3)
- N-Grams as a Measure of Naturalness and Complexity (3)
- A machine learning based automatic folding of dynamically typed languages (3)
- Encodings for Enumeration-Based Program Synthesis (3)
- Do People Prefer" Natural" code? (3)
- MACHINE LEARNING FOR CODE SYNTHESIS AND ANALYSIS (3)
- Relational Verification using Reinforcement Learning (3)
- Modeling Security Weaknesses to Enable Practical Run-time Defenses (3)
- CodeSearchNet Challenge: Evaluating the State of Semantic Code Search (3)
- DeepVS: An Efficient and Generic Approach for Source Code Modeling Usage (2)
- Novel positional encodings to enable tree-based transformers (2)
- Twin-Finder: Integrated Reasoning Engine for Pointer-related Code Clone Detection (2)
- On The Quality of Identifiers in Test Code (2)
- A Deep Learning Model for Source Code Generation (2)
- zkay: Specifying and Enforcing Data Privacy in Smart Contracts (2)
- Learning based Methods for Code Runtime Complexity Prediction (2)
- Poster: Finding JavaScript Name Conflicts on the Web (2)
- Learning Lenient Parsing & Typing via Indirect Supervision (2)
- Deep Transfer Learning for Source Code Modeling (2)
- Evaluating Lexical Approximation of Program Dependence (2)
- Universal Approximation with Certified Networks (2)
- Class Name Recommendation based on Graph Embedding of Program Elements (2)
- Assessing the Generalizability of code2vec Token Embeddings (2)
- Neural Program Synthesis By Self-Learning (2)
- Compiler Auto-Vectorization with Imitation Learning (2)
- Embedding Symbolic Knowledge into Deep Networks (1)
- CLN2INV: Learning Loop Invariants with Continuous Logic Networks (1)
- Enabling Efficient Parallelism for Applications with Dependences and Irregular Memory Accesses (1)
- Keep It Simple: Graph Autoencoders Without Graph Convolutional Networks (1)
- CPC: automatically classifying and propagating natural language comments via program analysis (1)
- NeuroVectorizer: End-to-End Vectorization with Deep Reinforcement Learning (1)
- Transferring Java Comments Based on Program Static Analysis (1)
- Méthodes d'apprentissage statistique pour le criblage virtuel de médicament Machine learning approaches for drug virtual screening (1)
- LSC: Online Auto-Update Smart Contracts for Fortifying Blockchain-Based Log Systems (1)
- Selective Monitoring Without Delay for Probabilistic System (1)
- Improving Textual Network Learning with Variational Homophilic Embeddings (1)
- Abstraction Mechanism on Neural Machine Translation Models for Automated Program Repair (1)
- Reducing Features to Improve Link Prediction Performance in Location Based Social Networks, Non-Monotonically Selected Subset from Feature Clusters (1)
- Systems and methods for generating and using dynamic and localized route-based environmental information (1)
- Neural Relational Inference with Fast Modular Meta-learning (1)
- Graph Enhanced Cross-Domain Text-to-SQL Generation (1)
- On the use of supervised machine learning for assessing schedulability: application to Ethernet TSN (1)
- Online Robustness Training for Deep Reinforcement Learning (1)
- Disentangling Interpretable Generative Parameters of Random and Real-World Graphs (1)
- Sequence Model Design for Code Completion in the Modern IDE (1)
- Testing Neural Program Analyzers (1)
- Parallel Iterative Edit Models for Local Sequence Transduction (1)
- Mode Personalization in Trip-Based Transit Routing (1)
- Neural Attribution for Semantic Bug-Localization in Student Programs (1)
- Why is Developing Machine Learning Applications Challenging? A Study on Stack Overflow Posts (1)
- A Survey of Compiler Testing (1)
- Deep Representation Learning for Code Smells Detection using Variational Auto-Encoder (1)
- Inverse‐QSPR for de novo design: a review (1)
- Static Detection of Event-Driven Races in HTML5-Based Mobile Apps (1)
- NutBaaS: A Blockchain-as-a-Service Platform (1)
- A Generative Model for Molecular Distance Geometry (1)
- Memory Augmented Recursive Neural Networks (1)
- Concealment of iris features based on artificial noises (1)
- Code Generation as a Dual Task of Code Summarization (1)
- Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain (1)
- Coda: An End-to-End Neural Program Decompiler (1)
- Program Synthesis by Type-Guided Abstraction Refinement (1)
- Imitation-Projected Programmatic Reinforcement Learning (1)
- Towards Robust Direct Perception Networks for Automated Driving (1)
- A multi-stage anomaly detection scheme for augmenting the security in IoT-enabled applications (1)
- Learning from Examples to Find Fully Qualified Names of API Elements in Code Snippets (1)
- Augmented Example-based Synthesis using Relational Perturbation Properties (1)
- Neural Speech Translation using Lattice Transformations and Graph Networks (1)
- Progressive Processing of System-Behavioral Query (1)
- Semantic Preserving Generative Adversarial Models (1)
- An Evalutation of Programming Language Models' performance on Software Defect Detection (1)
- Speech Recognition with Augmented Synthesized Speech (1)
- Software Engineering Meets Deep Learning: A Literature Review (1)
- The Internet of Things and Machine Learning, Solutions for Urban Infrastructure Management (1)
- Exploring Robust Neural Methods in Inductive Program Synhthesis (1)
- Why do they ask? An exploratory study of crowd discussions about Android application programming interface in stack overflow (1)
- Coding as another language: a pedagogical approach for teaching computer science in early childhood (1)
- Program Synthesis for Programmers (1)
- A (CO) ALGEBRAIC APPROACH TO PROGRAMMING AND VERIFYING COMPUTER NETWORKS (1)
- Efficient Graph Generation with Graph Recurrent Attention Networks (1)
- Combining Constraint Languages via Abstract Interpretation (1)
- Towards neural networks that provably know when they don't know (1)
- ASTToken2Vec: An Embedding Method for Neural Code Completion (1)
- Beyond the Single Neuron Convex Barrier for Neural Network Certification (1)
- Word Embedding Algorithms as Generalized Low Rank Models and their Canonical Form (1)
- A comparison of end-to-end models for long-form speech recognition (1)
- SoCodeCNN: Program Source Code for Visual CNN Classification Using Computer Vision Methodology (1)
- Recognizing lines of code violating company-specific coding guidelines using machine learning (1)
- Multi-Modal Attention Network Learning for Semantic Source Code Retrieval (1)
- Translationese as a Language in" Multilingual" NMT (1)