Search Results - "Programming Languages and Compilers"

Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions

Authors: Konstantin Läufer Gunda Mertin George K. Thiruvathukal

Source: Computer. 57:118-123

Subject Terms: Health Related Quality Of Life, Discrete Data, Computer Sciences, Safety Critical, Software Engineering, Cloud Computing, System Dynamics, First Order Logic, Model Checking, Theoretical Computer Science, Modern Software, Temporal Dimension, Formal Techniques, Programming Languages and Compilers, Practical Examples, Temporal Logic, Computer Science, Microwave Oven, Student Understanding, Understanding Of Methods

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

Authors: Laufer, Konstantin Mertin, Gunda Thiruvathukal, George K.

Source: 2024 IEEE Frontiers in Education Conference (FIE). :1-5

Subject Terms: FOS: Computer and information sciences, Computer Sciences, Computer Science Education, 4. Education, Software Testing, Software Engineering, Safety-Critical Systems, Formal Methods, Model Checking, Software Engineering (cs.SE), Computer Science - Software Engineering, Programming Languages and Compilers

File Description: application/pdf

Access URL: http://arxiv.org/abs/2407.21152

Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters

Authors: Purvish Jajal Wenxin Jiang Arav Tewari et al.

Source: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1466-1478

Subject Terms: User Study, Artificial Intelligence and Robotics, Model Converters, Computer Sciences, ONNX, deep learning, Software Engineering, model conversion, Machine Learning, models, empirical software engineering, Programming Languages and Compilers, Artificial Intelligence, Empirical Software Engineering

File Description: application/pdf

Unveiling Code Pre-Trained Models: Investigating Syntax and Semantics Capacities

Authors: Wei Ma Shangqing Liu Mengjie Zhao et al.

Source: ACM Transactions on Software Engineering and Methodology. 33:1-29

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Programming Languages and Compilers, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Code Model Analysis, Software Engineering, 02 engineering and technology, Syntax and Semantic Encoding

File Description: application/pdf

Access URL: http://arxiv.org/abs/2212.10017

Large Language Model Powered Agents for Information Retrieval

Authors: An Zhang Yang Deng Yankai Lin et al.

Source: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval. :2989-2992

Subject Terms: Large Language Model, Databases and Information Systems, Programming Languages and Compilers, Conversational Agent, Social Network, Recommendation

File Description: application/pdf

Explorando Algoritmos: do pensamento à implementação

Authors: Rodrigues, Wellington Barbosa

Subject Terms: algoritmos, ensino de programação, iniciação científica, Programming Languages and Compilers, Computer Sciences, educação em computação, Physical Sciences and Mathematics, programação, lógica de programação, ciência da computação, Python

Equivalence and Similarity Refutation for Probabilistic Programs

Authors: Krishnendu Chatterjee Ehsan Kafshdar Goharshady Petr Novotný et al.

Source: Proceedings of the ACM on Programming Languages. 8:2098-2122

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Formal Languages and Automata Theory (cs.FL), Probabilistic programming, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, Probability distribution equivalence, 01 natural sciences, Martingales, Programming Languages and Compilers, Static program analysis, Kantorovich distance, 0202 electrical engineering, electronic engineering, information engineering, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2404.03430

Large Language Model Powered Agents in the Web

Authors: Yang Deng An Zhang Yankai Lin et al.

Source: Companion Proceedings of the ACM Web Conference 2024. :1242-1245

Subject Terms: Large Language Model, Databases and Information Systems, Programming Languages and Compilers, Conversational Agent, Social Network, Recommendation

File Description: application/pdf

Enhancing Visual Grounding in Vision-Language Pre-Training With Position-Guided Text Prompts

Authors: Alex Jinpeng Wang Pan Zhou Mike Zheng Shou et al.

Source: IEEE Transactions on Pattern Analysis and Machine Intelligence. 46:3406-3421

Subject Terms: visual grounding, Artificial Intelligence and Robotics, Programming Languages and Compilers, vision-language pre-training, Numerical Analysis and Scientific Computing, Fill-in-the-blank, position-guided text prompt

File Description: application/pdf

Access URL: https://pubmed.ncbi.nlm.nih.gov/38109234

Quantitative Bounds on Resource Usage of Probabilistic Programs

Authors: Krishnendu Chatterjee Amir Kafshdar Goharshady Tobias Meggendorfer et al.

Source: Proceedings of the ACM on Programming Languages. 8:362-391

Subject Terms: Programming Languages and Compilers, Probabilistic Programming, Static Analysis, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Quantitative Bounds, Cost Analysis, 01 natural sciences, Martingales

File Description: application/pdf

Encoding Version History Context for Better Code Representation

Authors: Huy Nguyen Christoph Treude Patanamon Thongtanunam

Source: Proceedings of the 21st International Conference on Mining Software Repositories. :631-636

Subject Terms: Computer Science - Software Engineering, Programming Languages and Compilers, Software Engineering

File Description: application/pdf

Access URL: http://arxiv.org/abs/2402.03773

Large Language Model for Vulnerability Detection: Emerging Results and Future Directions

Authors: Xin Zhou Ting Zhang David Lo

Source: Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results. :47-51

Subject Terms: Computer Science - Software Engineering, Programming Languages and Compilers, Software Engineering

File Description: application/pdf

Access URL: http://arxiv.org/abs/2401.15468

Greening Large Language Models of Code

Authors: Jieke Shi Zhou Yang Hong Jin Kang et al.

Source: Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Society. :142-153

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Programming Languages and Compilers, 13. Climate action, Multi-Objective Optimization, Software Engineering, 7. Clean energy, Language Models of Code, Configuration Tuning

File Description: application/pdf

Access URL: http://arxiv.org/abs/2309.04076

Code Search is All You Need? Improving Code Suggestions with Code Search

Authors: Junkai Chen Xing Hu Zhenhao Li et al.

Source: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-13

Subject Terms: Programming Languages and Compilers, Code Search, Code Suggestion, Software Engineering, Language Model

File Description: application/pdf

Unveiling Memorization in Code Models

Authors: Zhou Yang Zhipeng Zhao Chenyu Wang et al.

Source: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-13

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computing methodologies → Artificial intelligence, Programming Languages and Compilers, Software and its engineering → Software development techniques, Memorization, Software Engineering, Open-Source Software, Security and privacy, Code Generation

File Description: application/pdf

Access URL: http://arxiv.org/abs/2308.09932

Streamlining Java Programming: Uncovering Well-Formed Idioms with IdioMine

Authors: Yanming Yang Xing Hu Xin Xia et al.

Source: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-12

Subject Terms: Programming Languages and Compilers, Code Idiom Mining, Large Language Model (LLM), Code Pattern, Software Engineering, Clustering

File Description: application/pdf

TLA+ for All: Model Checking in a Python Notebook

Authors: Läufer, Konstantin Thiruvathukal, George K.

Subject Terms: formal methods, Programming Languages and Compilers, Computer Sciences, Software Engineering, Colab, notebooks, Jupyter, model checking, Python

Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring

Authors: Ivan Tan Christopher M. Poskitt

Source: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. :1307-1313

Subject Terms: code quality, undergraduate course, Software Engineering (cs.SE), FOS: Computer and information sciences, software maintenance, Computer Science - Software Engineering, Programming Languages and Compilers, Refactoring, mistake-based learning, 4. Education, code smells, software engineering

File Description: application/pdf

Access URL: http://arxiv.org/abs/2401.01011

STYLE: Improving Domain Transferability of Asking Clarification Questions in Large Language Model Powered Conversational Agents

Authors: CHEN, Yue HUANG, Chen DENG, Yang et al.

Source: Findings of the Association for Computational Linguistics ACL 2024. :10633-10649

Subject Terms: FOS: Computer and information sciences, Databases and Information Systems, Programming Languages and Compilers, Computer Science - Computation and Language, Computation and Language (cs.CL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2405.12059

On the Multi-turn Instruction Following for Conversational Web Agents

Authors: DENG, Yang ZHANG, Xuan ZHANG, Wenxuan et al.

Source: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). :8795-8812

Subject Terms: Databases and Information Systems, Programming Languages and Compilers, Computer Science - Computation and Language, Computer Science - Artificial Intelligence

File Description: application/pdf

Access URL: http://arxiv.org/abs/2402.15057