Prompting Is Programming: A Query Language for Large Language Models

Beurer-Kellner, Luca, Fischer, Marc, Vechev, Martin·2023·Proceedings of the ACM on Programming Languages

Cited by (130)

Items 101–130 of 130

  1. Influencia del formato y la complejidad de prompts en calidad de respuestas de modelos generativos
    Wilter Fernando Zambrano Vera, Jéssica Johanna Morales Carrillo · 2025 · Revista Científica de Informática ENCRIPTAR
  2. Generative AI: Empowering Marathi NLP with Fine-Tuned Transformer Models
    Mokshada Sable, Aarohi Panicker, Anujesh Ansh, Aditi Sharma, Shruti Patil, Ketan V. Kotecha · 2025 · Lecture notes in networks and systems
  3. Development of Traffic Rules Training Platform Using LLMs and Cloud Video Streaming
    Artem Kazarian, Vasyl Teslyuk, Oleh Berezsky, Oleh Pitsun · 2025 · Big Data and Cognitive Computing
  4. Can Large Language Models Reduce the Cost of Extracting Data from Electronic Health Records for Research?
    Stuart Hagler, Mohammad Adibuzzaman, Shannon K. McWeeney, Aaron Michael Cohen · 2026 · medRxiv
  5. CAN LARGE LANGUAGE MODELS ACT AS “CO-AUDITORS”?
    Hakan Emekci · 2026 · Denetişim
  6. Prompt Engineering for Large Models
    Jingsong Shawn Yu, Yazhi Yao · 2026 · Springer eBooks
  7. Ambiguity by Design: Practicing Requirement Clarification through Natural-Language Dialogue with LLMs
    Kay Tang, Hoanh Nguyen Hosea Tong-Ho, Kaitlin Riegel, Paul C. Denny, Nasser Giacaman, Juho Leinonen · 2026 · Australasian Computing Education Conference
  8. Diagnosing LLM Hallucinations in Process Mining Tasks: a Taxonomy and a Benchmark
    Alessandro Berti, Humam Kourani · 2026 · Lecture notes in computer science
  9. Lexara: A User-Centered Toolkit for Evaluating Large Language Models for Conversational Visual Analytics
    Srishti Palani, Vidya Setlur · 2026 · CHI Conference on Human Factors in Computing Systems
  10. Interaction with LLM-Based Systems: A Structured Review and Taxonomy of Mechanisms and Autonomy
    Dino Nejašmić, Saša Mladenović, Andrina Granić · 2026 · Applied Sciences
  11. ICDL-Agent: A Tool-Augmented LLM Agent for Automatic Instrument Workflows in Incoherent Doppler LiDAR Analysis
    Jiawei Li, Yuli Han, Chong Chen, Tingdi Chen, Xianghui Xue, Liangyu Pu, Zhaowang Su, Hengjia Liu, Shuhua Zhang, Jie Yang et al. · 2026 · ISPRS International Journal of Geo-Information
  12. Shape-Shifting Malicious Code in Software Backdoors via Language Models
    Mohammad Ebrahimi Fard, Felix Weißberg, Erik Imgrund, Thorsten Eisenhofer, Konrad Rieck · 2026 · ACM Asia Conference on Computer and Communications Security (ASIA CCS)
  13. Lazy Validation and Self-Healing for Agentic Programs
    Theodoros Tsampouris, Eleftherios Ioannidis, Andreas L. Symeonidis · 2026
  14. Editing Reality: Designing In-Situ Co-Creation with Generative AI in Mixed Reality
    Suibi Che–Chuan Weng, Shih-Yu Ma, Sawyer Reinig, Pritalee Kadam, Ada Yi Zhao, Amy Ulinski Banic, Ryo Suzuki, Ellen Yi–Luen · 2026 · Designing Interactive Systems Conference
  15. Scenic Test Scenario Generation and Repair for Autonomous Driving via Semantic Feedback and Knowledge Augmentation
    Xueqi Li, Qingran Su, Xingze Li, Yongfeng Yin · 2026 · International Conference on Intelligent Systems, Automation and Control (ISAC)
  16. A paper-to-code agentic framework for energy communities: data-driven decision support using LLMs as scientific translators rather than generative approximators
    Adela Bârã, Simona‐Vasilica Oprea · 2026 · Journal of Knowledge Management
  17. MultiGraph-vet: A multimodal knowledge-augmented decision-support framework for safe dairy cow disease assessment on a curated benchmark
    Cunjin Zhang, Maoxu Wang, Xu You, Zhixin Gu · 2026 · Research in Veterinary Science
  18. Projectional Decoding: Towards Semantic-Aware LLM Generation
    Boqi Chen, José Antonio Hernández López, Aren A. Babikian · 2026 · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
  19. Cutting-Edge Prompt Engineering Methods and Tools
    Pooja Dehankar, Susanta Das · 2026 · Advances in computational intelligence and robotics book series
  20. FAC-KAG: A Trustworthy Framework Combining KAG and FactAlign for Professional Knowledge Augmented Generation
    Long Chen, Lianglun Cheng, Jiewei Qin · 2026 · International Conference on Electronic Information Technology and Computer Engineering (EITCE)
  21. Boundary-aware tool routing framework for large language models in vertical domains scenarios
    Hailong Zhang, Xin Shi, Huijuan Chen, Xueqing Zhao, Sunan Ge · 2026 · Multimedia Systems
  22. Astrolabe: Balancing Load in LLM Serving with Randomized Prediction-Guided Scheduling
    Wei Da, Evangelia Kalyvianaki · 2026 · ACM International Systems and Storage Conference (SYSTOR)
  23. From Brownfield CLI to Intent Models: A Guardrailed Agentic Translation Workflow
    Navin Suvarna, Karthik Pappu, Saurabh Sharma, Belete Ageze · 2026 · IEEE Conference on Local Computer Networks
  24. APG: Adaptive Prompt Generation for MAS
    Mingxin Ye, Zhan Chen, Jing Lu, Deshuai Fang, Yifeng Han, Yan Bin, Long Chen · 2026 · Lecture notes in networks and systems
  25. Execution Control Harness for Governed LLM-Based Code Generation
    Masaki Takeda, Yusuke Funaya, Ocharo Harriet, Ryota Mibe, Hideyuki Kanuka · 2026 · International Conference on Information, Intelligence, Systems & Applications (IISA)
  26. Closed-World Trustworthy Copilots for Legal and Regulatory Text
    Monalisha Ojha, Pragya Shrey Mishra · 2026
  27. A Spoken Dialogue Framework for Bidirectional Interaction with Robot Knowledge Graphs via Grammar-Constrained LLM Generation
    Miguel Á. González-Santamarta, Alejandro González-Cantón, Irene González-Fernández, Francisco J. Rodríguez Lera, Ángel Manuel Guerrero‐Higueras · 2026 · IEEE RO-MAN
  28. Knowledge-Enhanced Large Language Models for Extracting Clinical Pathway Process Models From Guideline Text: Development and Evaluation Study (Preprint)
    William Van Woensel, Alireza Houshidari, Daniel Amyot, El Mostafa Bouattane, Hétoum Misirliyan · 2026
  29. UniCoder: Scaling Code Large Language Model via Universal Code
    Sun, Tao, Chai, Linzheng, Yang, Jian, Yin, Yuwei, Guo, Hongcheng, Liu, Jiaheng, Wang, Bing, Yang, Liqun, Li, Zhoujun · 2024 · arXiv
  30. Type-Constrained Code Generation with Language Models
    Mündler, Niels, He, Jingxuan, Wang, Hao, Sen, Koushik, Song, Dawn, Vechev, Martin · 2025 · arXiv