Publications
Some of my publications. For a more complete list, please have a look at my Google Scholar entry.
- Chromatic Derivatives and Approximations in Practice—Part II: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising. Ignjatovic, A., Wijenayake, C. & Keller, G. 15 Mar 2018 In : IEEE Transactions on Signal Processing. 66, 6, p. 1498-1512 15 p.
- Chromatic Derivatives and Approximations in Practice—Part I: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising. Ignjatovic, A., Wijenayake, C. & Keller, G. 15 Mar 2018 In : IEEE Transactions on Signal Processing. 66, 6, p.
- The Cogent Case for Property-Based Testing. Z Chen, L O'Connor, G Keller, G Klein, G Heiser. Proceedings of the 9th Workshop on Programming Languages and Operating Systems 2017
- Streaming irregular arrays. Clifton-Everest, R., McDonell, T. L., Chakravarty, M. M. T. & Keller, G. 7 Sep 2017 Haskell 2017 - Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017. Association for Computing Machinery, p. 174-185 12 p. IEEE Transactions on Signal Processing 66 (6), 1513-1525
- Provably trustworthy systems. Klein, G., Andronick, J., Keller, G., Matichuk, D., Murray, T. & O’Connor, L. 13 Oct 2017 In : Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 375, 2104, 20150404
- COGENT: Verifying high-assurance file system implementations. Amani, S., Hixon, A., Chen, Z., Rizkallah, C., Chubb, P., O'Connor, L., Beeren, J., Nagashima, Y., Lim, J., Sewell, T., Tuong, J., Keller, G., Murray, T., Klein, G. & Heiser, G. 25 Mar 2016 ASPLOS 2016 - 21st International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery (ACM), Vol. 02-06-April-2016, p. 175-188 14 p.
Publications
2022
Scholarly publications
McDonell, T. L., Meredith, J. D., & Keller, G. (2022). Embedded pattern matching. In Haskell 2022: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium (pp. 123-136). ACM. https://doi.org/10.1145/3546189.3549917
Chen, Z., Rizkallah, C., O'Connor, L., Susarla, P., Klein, G., Heiser, G., & Keller, G. (2022). Property-Based Testing: Climbing the Stairway to Verification. In SLE ’22, December 06ś07, 2022, Auckland, New Zealand (pp. 84-97). Association for Computing Machinery. https://doi.org/10.1145/3567512.3567520
Ansari, S. G., Prasetya, I. S. W. B., Dastani, M., Dignum, F., & Keller, G. (2022). An Appraisal Transition System for Event-Driven Emotions in Agent-Based Player Experience Testing. In N. Alechina, M. Baldoni, & B. Logan (Eds.), Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Revised Selected Papers (pp. 156-174). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13190 LNAI). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-97457-2_9
Krijnen, J., Chakravarty, M., Keller, G., & Swierstra, W. (2022). Translation Certification for Smart Contracts. In M. Hanus, & A. Igarashi (Eds.), Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings (pp. 94-111). (Lecture Notes in Computer Science (LNCS); Vol. 13215). Springer. https://doi.org/10.1007/978-3-030-99461-7_6
2021
Scholarly publications
Keller, G., & Henriksen, T. (2021). Welcome from the Chairs. In FHPNC 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing (pp. III-IV). (FHPNC 2021 - Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2021). ACM digital library. https://doi.org/10.1145/3471873.fm
O'Connor, L., Chen, Z., Rizkallah, C., Jackson, V., Amani, S., Klein, G., Murray, T., Sewell, T., & Keller, G. (2021). Cogent: uniqueness types and certifying compilation. Journal of Functional Programming, 31, 1-66. [e25]. https://doi.org/10.1017/S095679682100023X
Shirzadehhajimahmood, S., Prasetya, I. S. W. B., Dignum, F., Dastani, M., & Keller, G. (2021). Using an Agent-based Approach for Robust Automated Testing of Computer Games. 1-8. Paper presented at Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST ’21)., Athens , Greece. https://doi.org/10.1145/3472672.3473952
2020
Scholarly publications
van den Haak, L. B., McDonell, T. L., Keller, G. K., & de Wolff, I. G. (2020). Accelerating nested data parallelism: Preserving regularity. In M. Malawski, & K. Rzadca (Eds.), Euro-Par 2020: Parallel Processing - 26th International Conference on Parallel and Distributed Computing, Proceedings (pp. 426-442). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12247 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-57675-2_27
2019
Scholarly publications
Keller, G. K., Ignjatović, A., Wijenayake, C., & Antonir, A. (2019). An Adaptive Denoising Algorithm for Improving Frequency Estimation and Tracking. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 67(1), 172-176. https://doi.org/10.1109/TCSII.2019.2898451
Keller, G. K., Ignjatovic, A., & Wijenayake, C. (2019). On reconstruction of bandlimited signals from purely timing information. Signal Processing, 159, 89-92. https://doi.org/10.1016/j.sigpro.2019.02.002
2018
Scholarly publications
O’Connor, L., Chen, Z., Susarla, P., Rizkallah, C., Klein, G., & Keller, G. (2018). Bringing effortless refinement of data layouts to COGENT. In B. Steffen, & T. Margaria (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings (pp. 134-149). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11244 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-03418-4_9
Ignjatović, A., Wijenayake, C., & Keller, G. (2018). Chromatic Derivatives and Approximations in Practice - Part I: A General Framework. IEEE Transactions on Signal Processing, 66(6), 1498-1512. [8239824]. https://doi.org/10.1109/TSP.2017.2787127
Keller, G., & Henglein, F. (2018). Editorial for the Special Issue on Parallel and Concurrent Functional Programming. Journal of Functional Programming, 28, [e6]. https://doi.org/10.1017/S0956796818000060
Ignjatović, A., Wijenayake, C., & Keller, G. (2018). Chromatic Derivatives and Approximations in Practice - Part II: Nonuniform Sampling, Zero-Crossings Reconstruction, and Denoising. IEEE Transactions on Signal Processing, 66(6), 1513-1525. [8239866]. https://doi.org/10.1109/TSP.2017.2787149
2017
Scholarly publications
Clifton-Everest, R., McDonell, T. L., Chakravarty, M. M. T., & Keller, G. (2017). Streaming irregular arrays. In Haskell 2017 Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017 (pp. 174-185). Association for Computing Machinery. https://doi.org/10.1145/3122955.3122971
Klein, G., Andronick, J., Keller, G., Matichuk, D., Murray, T., & O’Connor, L. (2017). Provably trustworthy systems. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 375(2104), [20150404]. https://doi.org/10.1098/rsta.2015.0404
Chen, Z., O'Connor, L., Keller, G., Klein, G., & Heiser, G. (2017). The COGENT case for property-based testing. In Proceedings of the 9th Workshop on Programming Languages and Operating Systems, PLOS 2017 (pp. 1-7). Association for Computing Machinery. https://doi.org/10.1145/3144555.3144556
2016
Scholarly publications
Amani, S., Hixon, A., Chen, Z., Rizkallah, C., Chubb, P., O'Connor, L., Beeren, J., Nagashima, Y., Lim, J., Sewell, T., Tuong, J., Keller, G., Murray, T., Klein, G., & Heiser, G. (2016). COGENT: Verifying high-assurance file system implementations. In ASPLOS 2016 - 21st International Conference on Architectural Support for Programming Languages and Operating Systems (Vol. 02-06-April-2016, pp. 175-188). Association for Computing Machinery (ACM). https://doi.org/10.1145/2872362.2872404
Rizkallah, C., Lim, J., Nagashima, Y., Sewell, T., Chen, Z., O’Connor, L., Murray, T., Keller, G., & Klein, G. (2016). A framework for the automatic formal verification of refinement from COGENT to C. In Interactive Theorem Proving - 7th International Conference, ITP 2016, Proceedings (pp. 323-340). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9807 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-43144-4_20
2015
Scholarly publications
Madsen, F. M., Clifton-Everest, R., Chakravarty, M. M. T., & Keller, G. (2015). Functional array streams. In FHPC 2015 - Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, co-located with ICFP 2015 (pp. 23-34). Association for Computing Machinery. https://doi.org/10.1145/2808091.2808094
2014
Scholarly publications
Clifton-Everest, R., McDonell, T. L., Chakravarty, M. M. T., & Keller, G. (2014). Embedding foreign code. In Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings (pp. 136-151). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8324 LNCS). https://doi.org/10.1007/978-3-319-04132-2_10
Lippmeier, B., Chakravarty, M. M. T., Keller, G., & Robinson, A. (2014). Data flow fusion with series expressions in Haskell. ACM SIGPLAN Notices, 48(12), 93-104.
Robinson, A., Lippmeier, B., & Keller, G. (2014). Fusing filters with Integer Linear Programming. In FHPC 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Functional High-Performance Computing (pp. 53-62). Association for Computing Machinery (ACM). https://doi.org/10.1145/2636228.2636235
2013
Scholarly publications
Lippmeier, B., Chakravarty, M. M. T., Keller, G., & Jones, S. P. (2013). Guiding parallel array fusion with indexed types. ACM SIGPLAN Notices, 47(12), 25-36. https://doi.org/10.1145/2430532.2364511
Keller, G., Murray, T., Amani, S., O'Connor, L., Chen, Z., Ryzhyk, L., Klein, G., & Heiser, G. (2013). File systems deserve verification too! In Proceedings of the 7th Workshop on Programming Languages and Operating Systems, PLOS 2013 - In Conjunction with the 24th ACM Symposium on Operating Systems Principles, SOSP 2013 Association for Computing Machinery (ACM). https://doi.org/10.1145/2525528.2525530
Keller, G., Chakravarty, M. M. T., Leshchinski, R., Lippmeier, B., & Jones, S. P. (2013). Vectorisation avoidance. ACM SIGPLAN Notices, 47(12), 37-48. https://doi.org/10.1145/2430532.2364512
McDonell, T. L., Chakravarty, M. M. T., Keller, G., & Lippmeier, B. (2013). Optimising purely functional GPU programs. In ICFP 2013 - Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming (pp. 49-60) https://doi.org/10.1145/2500365.2500595
McDonell, T. L., Chakravarty, M. M. T., Keller, G., & Lippmeier, B. (2013). Optimising purely functional gpu programs. ACM SIGPLAN Notices, 48(9), 49-60.
2012
Scholarly publications
Lippmeier, B., Chakravarty, M. M. T., Keller, G., Leshchinskiy, R., & Peyton Jones, S. (2012). Work efficient higher-order vectorisation. In ICFP'12 - Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming (pp. 259-270) https://doi.org/10.1145/2364527.2364564
2011
Scholarly publications
Lippmeier, B., & Keller, G. (2011). Efficient parallel stencil convolution in Haskell. ACM SIGPLAN Notices, 46(12), 59-70. https://doi.org/10.1145/2096148.2034684
Chakravarty, M. M. T., Keller, G., Lee, S., McDonell, T. L., & Grover, V. (2011). Accelerating Haskell array codes with multicore GPUs. In DAMP'11 - Proceedings of the 6th ACM Workshop on Declarative Aspects of Multicore Programming (pp. 3-14) https://doi.org/10.1145/1926354.1926358
2005
Scholarly publications
Chakravarty, M. M. T., Keller, G., Jones, S. P., & Marlow, S. (2005). Associated types with class. ACM SIGPLAN Notices, 40(1), 1-13. https://doi.org/10.1145/1047659.1040306
Chakravarty, M. M. T., Keller, G., & Peyton Jones, S. (2005). Associated type synonyms. In ICFP 2005 - Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming (pp. 241-253) https://doi.org/10.1145/1086365.1086397
2004
Scholarly publications
Chakravarty, M. M. T., & Keller, G. (2004). An approach to fast arrays in Haskell. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2638, 27-58.
Seefried, S., Chakravarty, M., & Keller, G. (2004). Optimising embedded DSLs using Template Haskell. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3286, 186-205.
Chakravarty, M. M. T., & Keller, G. (2004). Educational pearl: The risks and benefits of teaching purely functional programming in first year. Journal of Functional Programming, 14(1), 113-123. https://doi.org/10.1017/S0956796803004805