31 – 40 of 290
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Designing A Multi-modal IDE with Developers: An Exploratory Study on Next-generation Programming Tool Assistance
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)
(2024)
- Other contribution › Miscellaneous
-
Mark
Software Component Update for IoT Systems
(2024) 11th International Conference on Internet of Things: Systems, Management and Security, IOTSMS 2024 p.124-131
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Conceptual Framework and Recommendations for Open Data and Artifacts in Empirical Software Engineering
(2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 In ICSE Workshops p.68-75
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards Declarative Specification of Static Analysis for Programming Tools
(2024)
- Thesis › Doctoral thesis (compilation)
-
Mark
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clog: A Declarative Language for C Static Code Checkers (Artifact)
(2024)
- Non-textual form › Software
-
Mark
Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots
- Thesis › Licentiate thesis
-
Mark
Does co-development with ai assistants lead to more maintainable code? : A registered report
(2024) 40th International Conference on Software Maintenance and Evolution
- Contribution to conference › Paper, not in proceeding
-
Mark
Property probes : Live exploration of program analysis results
- Contribution to journal › Article
