Research output per year
Research output per year
Search results
-
2025
Structural refactorings for exploring dependently typed programming
Barwell, A. D., Brown, C. M., Chang, M. S., Theocharis, C. & Thompson, S., 10 Jan 2025, Trends in functional programming: 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, revised selected papers. Hemann, J. & Chang, S. (eds.). Cham: Springer, p. 1-21 (Lecture notes in computer science; vol. 14843).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2024
Towards specification-guarded refactoring
Barwell, A. D., Brown, C. M. & Sarkar, S., 7 Sept 2024, Logic-based program synthesis and transformation: 34th International symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings. Bowles, J. & Søndergaard, H. (eds.). Cham: Springer, p. 149–165 (Lecture notes in computer science; vol. 14919).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2023
COMPROF and COMPLACE: shared-memory communication profiling and automated thread placement via dynamic binary instrumentation
Kirkpatrick, R., Brown, C. M. & Janjic, V., 26 Apr 2023, 2022 IEEE 29th International Conference on High-Performance Computing, Data, and Analytics (HiPC 2022). Sur, C. & Bayyapu, N. (eds.). Piscataway, NJ: Institute of Electrical and Electronics Engineers Inc., p. 236-245 10 p. (IEEE International Conference on High Performance Computing, Data, and Analytics).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2022
Semi-automatic ladderisation: improving code security through rewriting and dependent types
Brown, C., Barwell, A. D., Marquer, Y., Zendra, O., Richmond, T. & Gu, C., 17 Jan 2022, PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Ariola, Z. M. & Cong, Y. (eds.). New York: ACM, 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Towards a refactoring tool for dependently-typed programs (Extended abstract)
Brown, C. M., Barwell, A., Thompson, S., Sarkar, S. & Brady, E. C., 31 Jul 2022. 8 p.Research output: Contribution to conference › Paper › peer-review
File -
2021
Proving renaming for Haskell via dependent types: a case-study in refactoring soundness
Barwell, A. D., Brown, C. M. & Sarkar, S., 18 Jul 2021, 8th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2021). 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile