1 – 4 of 4
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Study of the use of property probes in an educational setting
- Contribution to journal › Article
- 2024
-
Mark
Property probes : Live exploration of program analysis results
- Contribution to journal › Article
- 2023
-
Mark
Toward Gaze-assisted Developer Tools
(2023) The 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) p.49-54
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2022
-
Mark
Property Probes : Source Code Based Exploration of Program Analysis Results
(2022) 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022 In SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 p.148-160
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
