21 – 30 of 290
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance: A Survey
(2024)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clog : A Declarative Language for C Static Code Checkers
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property probes : Live exploration of program analysis results
- Contribution to journal › Article
-
Mark
Toward Gaze-enabled Programming Tool Assistance
(2024)
- Thesis › Licentiate thesis
-
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
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
Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance : A Survey
(2024) 8th International Conference on on the Art, Science, and Engineering of Programming, Programming Companion 2024 p.108-116
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
- 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
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
