Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 9
Number of items: 9
  • Castrillon, J., Desnos, K., Goens, A., & Menard, C. (2025). Dataflow models of computation for programming heterogeneous multicores. In A. Chattopadhyay (Ed.), Handbook of Computer Architecture (pp. 1107-1146). Springer. https://doi.org/10.1007/978-981-97-9314-3_45
  • Open Access
    Schneider, R., Rossel, M., Shaikhha, A., Goens, A., Kœhler, T., & Steuwer, M. (2025). Slotted E-Graphs First-Class Support for (Bound) Variables in E-Graphs. Proceedings of the ACM on Programming Languages, 9(PLDI), 1888-1910. Article 223. https://doi.org/10.1145/3729326
  • Open Access
    Li, W., Goens, A., Oswald, N., Nagarajan, V., & Sorin, D. J. (2024). Determining the Minimum Number of Virtual Networks for Different Coherence Protocols. In 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture: ISCA 2024 : proceedings : 29 June-3 July 2024, Buenos Aires, Argentina (pp. 182-197). IEEE Computer Society. https://doi.org/10.1109/ISCA59077.2024.00023
  • Open Access
    Rossel, M., Lin, S. J., Lohstroh, M., Castrillon, J., & Goens, A. (2024). Provable Determinism for Software in Cyber-Physical Systems. In A. Reynolds, & S. Tasiran (Eds.), Verified Software : Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023 : revised selected papers (pp. 85–107). (Lecture Notes in Computer Science; Vol. 14095). Springer. https://doi.org/10.1007/978-3-031-66064-1_6
  • Open Access
    Zhang, A. Q., Goens, A., Oswald, N., Grosser, T., Sorin, D., & Nagarajan, V. (2024). PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model. In PACT '24: proceedings of the 2024 the International Conference on Parallel Architecture and Compilation Techniques : October 14-16, 2024, Long Beach, CA, USA (pp. 1-13). Association for Computing Machinery. https://doi.org/10.1145/3656019.3676889
  • Open Access
    Kœhler, T., Goens, A., Bhat, S., Grosser, T., Trinder, P., & Steuwer, M. (2024). Guided Equality Saturation. Proceedings of the ACM on Programming Languages, 8(POPL), Article 58. https://doi.org/10.1145/3632900
  • Open Access
    Bhat, S., Keizer, A., Hughes, C., Goens, A., & Grosser, T. (2024). Verifying Peephole Rewriting in SSA Compiler IRs. In Y. Bertot, T. Kutsia, & M. Norrish (Eds.), 15th International Conference on Interactive Theorem Proving: ITP 2024, September 9–14, 2024, Tbilisi, Georgia Article 9 (Leibniz International Proceedings in Informatics; Vol. 309). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2024.9
  • Open Access
    Fernández Mir, R., Jackson, P. B., Bhat, S., Goens, A., & Grosser, T. (2024). Transforming Optimization Problems into Disciplined Convex Programming Form. In A. Kohlhase, & L. Kovács (Eds.), Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024 : proceedings (pp. 183-202). (Lecture Notes in Computer Science; Vol. 14960), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-031-66997-2_11
  • Open Access
    Goens, A., Khasanov, R., Castrillon, J., Polstra, S., & Pimentel, A. (2016). Why Comparing System-Level MPSoC Mapping Approaches is Difficult: A Case Study. In Proceedings, IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip: 21-23 September 2016, Lyon, France (pp. 281-288). IEEE Computer Society. https://doi.org/10.1109/MCSoC.2016.48, https://doi.org/10.1109/MCSoC.2016.48
Page of