Search Results - Santolucito, Mark

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Synthesizing configuration file specifications with association rule learning

    Synthesizing configuration file specifications with association rule learning by Santolucito, Mark, Zhai, Ennan, Dhodapkar, Rahul, Shim, Aaron, Piskac, Ruzica

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report

    Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report by Cito, Jürgen, Santolucito, Mark

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Using a Feedback Loop for LLM-based Infrastructure as Code Generation

    Using a Feedback Loop for LLM-based Infrastructure as Code Generation by Mayur Amarnath Palavalli, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs

    Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs by Berman, Shmuel, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents

    Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents by Rothkopf, Raven, Zeng, Hannah Tongxin, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Grammar Filtering for Syntax-Guided Synthesis

    Grammar Filtering for Syntax-Guided Synthesis by Morton, Kairo, Hallahan, William, Shum, Elven, Piskac, Ruzica, Santolucito, Mark

    Get full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Statically Inferring Usage Bounds for Infrastructure as Code

    Statically Inferring Usage Bounds for Infrastructure as Code by Qiao, Feitong, Aryana Mohammadi, Cito, Jürgen, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis

    Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis by Murphy, William, Holzer, Nikolaus, Qiao, Feitong, Cui, Leyi, Rothkopf, Raven, Koenig, Nathan, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Succinct Explanations With Cascading Decision Trees

    Succinct Explanations With Cascading Decision Trees by Zhang, Jialu, Wang, Yitan, Santolucito, Mark, Piskac, Ruzica

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control

    Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control by Murphy, William, Holzer, Nikolaus, Koenig, Nathan, Cui, Leyi, Rothkopf, Raven, Qiao, Feitong, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Vehicle Platooning Simulations with Functional Reactive Programming

    Vehicle Platooning Simulations with Functional Reactive Programming by Finkbeiner, Bernd, Klein, Felix, Piskac, Ruzica, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Grammar Filtering For Syntax-Guided Synthesis

    Grammar Filtering For Syntax-Guided Synthesis by Morton, Kairo, Hallahan, William, Shum, Elven, Piskac, Ruzica, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Synthesizing Functional Reactive Programs

    Synthesizing Functional Reactive Programs by Finkbeiner, Bernd, Klein, Felix, Piskac, Ruzica, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Temporal Stream Logic: Synthesis beyond the Bools

    Temporal Stream Logic: Synthesis beyond the Bools by Finkbeiner, Bernd, Klein, Felix, Piskac, Ruzica, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Statically Verifying Continuous Integration Configurations

    Statically Verifying Continuous Integration Configurations by Santolucito, Mark, Zhang, Jialu, Zhai, Ennan, Piskac, Ruzica

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: