Programming by sketching for bit-streaming programs

No abstract is available for this paper.

• Publication year

  2005

• Venue

  ACM-SIGPLAN Symposium on Programming Language Design and Implementation

• Publication date

  2005-06-12

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1065010.1065045
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Task Partitioning for Multi-core Network Processors

  2005cited by this paper
• Telescoping Languages: A System for Automatic Generation of Domain Languages

  2005cited by this paper
• Self-Adapting Linear Algebra Algorithms and Software

  2005cited by this paper
• Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms

  2004cited by this paper
• Automatic Type-Driven Library Generation for Telescoping Languages

  2003cited by this paper
• Linear analysis and optimization of stream programs

  2003cited by this paper
• Practical cryptography

  2003cited by this paper
• MaJIC: compiling MATLAB for speed and responsiveness

  2002cited by this paper
• StreamIt: A Language for Streaming Applications

  2002cited by this paper
• Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems

  2001cited by this paper
• Telescoping Languages: A Strategy for Automatic Generation of Scientific Problem-Solving Systems from Annotated Libraries

  2001cited by this paper
• STAPL: An Adaptive, Generic Parallel C++ Library

  2001cited by this paper
• CryptoManiac: a fast flexible architecture for secure communication

  2001cited by this paper
• Programmable Reinforcement Learning Agents

  2000cited by this paper
• Data Encryption Standard (DES)

  2000cited by this paper
• Aspect-Oriented Programming

  1999cited by this paper
• FFTW: an adaptive software architecture for the FFT

  1998cited by this paper
• Serpent: A Proposal for the Advanced Encryption Standard

  1998cited by this paper
• Aspect-Oriented Programming of Sparse Matrix Code

  1997cited by this paper
• A MATLAB to Fortran 90 translator and its effectiveness

  1996cited by this paper
• Aspect-oriented programming

  1996cited by this paper
• Strategic directions in constraint programming

  1996cited by this paper
• Compiler transformations for high-performance computing

  1994cited by this paper
• LAPACK: A portable linear algebra library for high-performance computers

  1990cited by this paper
• Synchronous data flow

  1987cited by this paper
• Basic Linear Algebra Subprograms for Fortran Usage

  1979cited by this paper

• Imperative-program synthesis from assumptions and assertions by abstract analysis and SMT mutations

  2026cites this paper
• Pontus: A Memory-Efficient and High-Accuracy Approach for Persistence-Based Item Lookup in High-Velocity Data Streams

  2025cites this paper
• Automated Abstract Transformer Synthesis for Reduced Product Domains

  2025cites this paper
• Tensor Network Structure Search with Program Synthesis

  2025cites this paper
• Feature Model for Imperative Program Synthesis

  2025cites this paper
• CIPAC: A framework of automated software construction based on collective intelligence

  2025cites this paper
• Guardrail: Automated Integrity Constraint Synthesis From Noisy Data

  2025cites this paper
• Multi-modal Sketch-Based Behavior Tree Synthesis

  2025cites this paper
• An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty

  2025cites this paper
• Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations

  2025cites this paper
• While-guard Synthesis by Abstract Static Analysis and CHC Solving

  2025influential citation
• Procedural Synthesis of Synthesizable Molecules

  2024cites this paper
• Semantic Code Refactoring for Abstract Data Types

  2024cites this paper
• Reverse-Engineering Congestion Control Algorithm Behavior

  2024cites this paper
• Transformers in source code generation: A comprehensive survey

  2024cites this paper
• Automated Synthesis of Decision Lists for Polynomial Specifications over Integers

  2024cites this paper
• Quantitative program sketching using decision tree-based lifted analysis

  2023cites this paper
• ANPL: Compiling Natural Programs with Interactive Decomposition

  2023cites this paper
• ACTOR: Action-Guided Kernel Fuzzing

  2023cites this paper
• Saggitarius: A DSL for Specifying Grammatical Domains

  2023cites this paper
• Generalized Program Sketching by Abstract Interpretation and Logical Abduction

  2023influential citation
• A Theorem Proving Approach to Programming Language Semantics

  2023cites this paper
• Synthesising Programs with Non-trivial Constants

  2023cites this paper
• PYEVOLVE: Automating Frequent Code Changes in Python ML Systems

  2023cites this paper
• Program Synthesis with Best-First Bottom-Up Search

  2023cites this paper
• ANPL: Towards Natural Programming with Interactive Decomposition

  2023cites this paper
• Symbolic encoding of LL(1) parsing and its applications

  2022cites this paper
• Synthesis of Semantic Actions in Attribute Grammars

  2022cites this paper
• N ATURAL L ANGUAGE I NTERACTIVE I NTERFACE FOR SQL Q UERY G ENERATION

  2022cites this paper
• Automatic generation of network function accelerators using component-based synthesis

  2022cites this paper
• Synthesizing Skolem functions: A view from theory and 1 practice 2

  2022cites this paper
• Towards Porting Operating Systems with Program Synthesis

  2022cites this paper
• NESTER: An Adaptive Neurosymbolic Method for Causal Effect Estimation

  2022cites this paper
• Shellac: A Compiler Synthesizer for Concurrent Programs

  2022cites this paper
• Estimating Treatment Effects using Neurosymbolic Program Synthesis

  2022cites this paper
• Linguistic Tools for Managing Grammatical Domains (Work in Progress)

  2022cites this paper
• Specification sketching for Linear Temporal Logic

  2022cites this paper
• Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing

  2022cites this paper
• ULPPACK: Fast Sub-8-bit Matrix Multiply on Commodity SIMD Hardware

  2022cites this paper
• Expectation vs. Experience: Evaluating the Usability of Code Generation Tools Powered by Large Language Models

  2022cites this paper
• ProLinguist: Program Synthesis for Linguistics and NLP

  2021cites this paper
• Lifted termination analysis by abstract interpretation and its applications

  2021cites this paper
• APIfix: output-oriented program synthesis for combating breaking changes in libraries

  2021cites this paper
• Counterfeiting Congestion Control Algorithms

  2021cites this paper
• How statically-typed functional programmers write code

  2021cites this paper
• One down, 699 to go: or, synthesising compositional desugarings

  2021cites this paper
• Automated inference of production rules for glycans

  2021cites this paper
• Program Sketching Using Lifted Analysis for Numerical Program Families

  2021influential citation
• Counterexample-guided inductive synthesis for probabilistic systems

  2021cites this paper
• CoSA: Scheduling by Constrained Optimization for Spatial Accelerators

  2021cites this paper
• Grafs: declarative graph analytics

  2021cites this paper
• On-line synthesis of parsers for string events

  2021cites this paper
• Automated patch backporting in Linux (experience paper)

  2021cites this paper
• Inductive Synthesis for Probabilistic Programs Reaches New Horizons

  2021cites this paper
• Model Repair Revamped - - On the Automated Synthesis of Markov Chains -

  2021cites this paper
• Falx: Synthesis-Powered Visualization Authoring

  2021cites this paper
• Grammatical Domains and Syntax-guided Grammar Induction

  2021cites this paper
• SOSRepair: Expressive Semantic Search for Real-World Program Repair

  2021cites this paper
• Synthesizing safe and efficient kernel extensions for packet processing

  2021cites this paper
• GraFS: Graph Analytics Fusion and Synthesis

  2020cites this paper
• Question selection for interactive program synthesis

  2020cites this paper
• Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis

  2020influential citation
• A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study

  2020cites this paper
• Execution of Partial State Machine Models

  2020cites this paper
• Boolean functional synthesis: hardness and practical algorithms

  2020cites this paper
• Sintetizador de Gramáticas para Obfuscação de Dados em Sistemas de Logs

  2020cites this paper
• Feedback-driven semi-supervised synthesis of program transformations

  2020cites this paper
• How Much Support Can API Recommendation Methods Provide for Component-Based Synthesis?

  2020cites this paper
• Boosting component-based synthesis with control structure recommendation

  2020cites this paper
• NIL: Learning Nonlinear Interpolants

  2019cites this paper
• Computing summaries of string loops in C for better testing and refactoring

  2019cites this paper
• Quantifying the Exploration of the Korat Solver for Imperative Constraints

  2019cites this paper
• An efficient programming-by-example framework

  2019cites this paper
• Incremental Determinization for Quantifier Elimination and Functional Synthesis

  2019cites this paper
• Model-Level Debugging in the Context of the Model-Driven Development

  2019cites this paper
• Guarantees in Program Synthesis

  2019cites this paper
• Program sketching with live bidirectional evaluation

  2019cites this paper
• Accelerating API-Based Program Synthesis via API Usage Pattern Mining

  2019cites this paper
• Efficient Sampling of SAT and SMT Solutions for Testing and Verification

  2019influential citation
• Program Synthesis with Live Bidirectional Evaluation

  2019cites this paper
• A study of the learnability of relational properties: model counting meets machine learning (MCML)

  2019cites this paper
• Learning Guided Enumerative Synthesis for Superoptimization

  2019cites this paper
• Swizzle Inventor: Data Movement Synthesis for GPU Kernels

  2019cites this paper
• Towards answering “Am I on the right track?” automatically using program synthesis

  2019cites this paper
• Synthesizing Queries via Interactive Sketching

  2019cites this paper
• Automated Grading Systems for Programming Assignments: A Literature Review

  2019cites this paper
• Quantitative Programming by Examples

  2019cites this paper
• Chasing Minimal Inductive Validity Cores in Hardware Model Checking

  2019cites this paper
• Counterexample-Driven Synthesis for Probabilistic Program Sketches

  2019cites this paper
• PMExec: An Execution Engine of Partial UML-RT Models

  2019cites this paper
• Efficient synthesis of robust models for stochastic systems

  2018cites this paper
• What's hard about Boolean Functional Synthesis

  2018cites this paper
• Computer Aided Verification

  2018influential citation
• Program Synthesis for Systems Biology

  2018cites this paper
• Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

  2018cites this paper
• Symbolic Model Checking in Non-Boolean Domains

  2018cites this paper
• Graph Games and Reactive Synthesis

  2018cites this paper
• ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

  2018cites this paper
• Search-based program synthesis

  2018influential citation
• FormalMiner: A Formal Framework for Refinement Mining

  2018cites this paper