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
DOI 10.1145/3591300
Cited by (130)
Items 101–130 of 130
- Influencia del formato y la complejidad de prompts en calidad de respuestas de modelos generativosWilter Fernando Zambrano Vera, Jéssica Johanna Morales Carrillo · 2025 · Revista Científica de Informática ENCRIPTAR
- Generative AI: Empowering Marathi NLP with Fine-Tuned Transformer ModelsMokshada Sable, Aarohi Panicker, Anujesh Ansh, Aditi Sharma, Shruti Patil, Ketan V. Kotecha · 2025 · Lecture notes in networks and systems
- Development of Traffic Rules Training Platform Using LLMs and Cloud Video StreamingArtem Kazarian, Vasyl Teslyuk, Oleh Berezsky, Oleh Pitsun · 2025 · Big Data and Cognitive Computing
- 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
- CAN LARGE LANGUAGE MODELS ACT AS “CO-AUDITORS”?Hakan Emekci · 2026 · Denetişim
- Prompt Engineering for Large ModelsJingsong Shawn Yu, Yazhi Yao · 2026 · Springer eBooks
- Ambiguity by Design: Practicing Requirement Clarification through Natural-Language Dialogue with LLMsKay Tang, Hoanh Nguyen Hosea Tong-Ho, Kaitlin Riegel, Paul C. Denny, Nasser Giacaman, Juho Leinonen · 2026 · Australasian Computing Education Conference
- Diagnosing LLM Hallucinations in Process Mining Tasks: a Taxonomy and a BenchmarkAlessandro Berti, Humam Kourani · 2026 · Lecture notes in computer science
- Lexara: A User-Centered Toolkit for Evaluating Large Language Models for Conversational Visual AnalyticsSrishti Palani, Vidya Setlur · 2026 · CHI Conference on Human Factors in Computing Systems
- Interaction with LLM-Based Systems: A Structured Review and Taxonomy of Mechanisms and AutonomyDino Nejašmić, Saša Mladenović, Andrina Granić · 2026 · Applied Sciences
- ICDL-Agent: A Tool-Augmented LLM Agent for Automatic Instrument Workflows in Incoherent Doppler LiDAR AnalysisJiawei 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
- Shape-Shifting Malicious Code in Software Backdoors via Language ModelsMohammad Ebrahimi Fard, Felix Weißberg, Erik Imgrund, Thorsten Eisenhofer, Konrad Rieck · 2026 · ACM Asia Conference on Computer and Communications Security (ASIA CCS)
- Lazy Validation and Self-Healing for Agentic ProgramsTheodoros Tsampouris, Eleftherios Ioannidis, Andreas L. Symeonidis · 2026
- Editing Reality: Designing In-Situ Co-Creation with Generative AI in Mixed RealitySuibi 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
- Scenic Test Scenario Generation and Repair for Autonomous Driving via Semantic Feedback and Knowledge AugmentationXueqi Li, Qingran Su, Xingze Li, Yongfeng Yin · 2026 · International Conference on Intelligent Systems, Automation and Control (ISAC)
- A paper-to-code agentic framework for energy communities: data-driven decision support using LLMs as scientific translators rather than generative approximatorsAdela Bârã, Simona‐Vasilica Oprea · 2026 · Journal of Knowledge Management
- MultiGraph-vet: A multimodal knowledge-augmented decision-support framework for safe dairy cow disease assessment on a curated benchmarkCunjin Zhang, Maoxu Wang, Xu You, Zhixin Gu · 2026 · Research in Veterinary Science
- Projectional Decoding: Towards Semantic-Aware LLM GenerationBoqi 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)
- Cutting-Edge Prompt Engineering Methods and ToolsPooja Dehankar, Susanta Das · 2026 · Advances in computational intelligence and robotics book series
- FAC-KAG: A Trustworthy Framework Combining KAG and FactAlign for Professional Knowledge Augmented GenerationLong Chen, Lianglun Cheng, Jiewei Qin · 2026 · International Conference on Electronic Information Technology and Computer Engineering (EITCE)
- Boundary-aware tool routing framework for large language models in vertical domains scenariosHailong Zhang, Xin Shi, Huijuan Chen, Xueqing Zhao, Sunan Ge · 2026 · Multimedia Systems
- Astrolabe: Balancing Load in LLM Serving with Randomized Prediction-Guided SchedulingWei Da, Evangelia Kalyvianaki · 2026 · ACM International Systems and Storage Conference (SYSTOR)
- From Brownfield CLI to Intent Models: A Guardrailed Agentic Translation WorkflowNavin Suvarna, Karthik Pappu, Saurabh Sharma, Belete Ageze · 2026 · IEEE Conference on Local Computer Networks
- APG: Adaptive Prompt Generation for MASMingxin Ye, Zhan Chen, Jing Lu, Deshuai Fang, Yifeng Han, Yan Bin, Long Chen · 2026 · Lecture notes in networks and systems
- Execution Control Harness for Governed LLM-Based Code GenerationMasaki Takeda, Yusuke Funaya, Ocharo Harriet, Ryota Mibe, Hideyuki Kanuka · 2026 · International Conference on Information, Intelligence, Systems & Applications (IISA)
- Closed-World Trustworthy Copilots for Legal and Regulatory TextMonalisha Ojha, Pragya Shrey Mishra · 2026
- A Spoken Dialogue Framework for Bidirectional Interaction with Robot Knowledge Graphs via Grammar-Constrained LLM GenerationMiguel Á. 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
- 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
- UniCoder: Scaling Code Large Language Model via Universal CodeSun, Tao, Chai, Linzheng, Yang, Jian, Yin, Yuwei, Guo, Hongcheng, Liu, Jiaheng, Wang, Bing, Yang, Liqun, Li, Zhoujun · 2024 · arXiv
- Type-Constrained Code Generation with Language ModelsMündler, Niels, He, Jingxuan, Wang, Hao, Sen, Koushik, Song, Dawn, Vechev, Martin · 2025 · arXiv