• Santiesteban P, Huang Y, Weimer W and Ahmad H. CirFix: Automated Hardware Repair and its Real-World Applications. IEEE Transactions on Software Engineering. 10.1109/TSE.2023.3269899. 49:7. (3736-3752).

    https://ieeexplore.ieee.org/document/10108500/

  • Inoue J, Kiselyov O and Kameyama Y. Staging beyond terms: prospects and challenges. Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. (103-108).

    https://doi.org/10.1145/2847538.2847548

  • Ayav T, Tuglular T and Belli F. Model Based Testing of VHDL Programs. Proceedings of the 2015 IEEE 39th Annual Computer Software and Applications Conference - Volume 03. (427-432).

    https://doi.org/10.1109/COMPSAC.2015.198

  • Liu Y, Skalka C and Smith S. (2011). Type-specialized staged programming with process separation. Higher-Order and Symbolic Computation. 24:4. (341-385). Online publication date: 1-Nov-2011.

    https://doi.org/10.1007/s10990-012-9089-0

  • Salama C, Malecha G, Taha W, Grundy J and O'Leary J. (2011). Static consistency checking for Verilog wire interconnects. Higher-Order and Symbolic Computation. 24:1-2. (81-114). Online publication date: 1-Jun-2011.

    https://doi.org/10.1007/s10990-011-9072-1

  • Rompf T and Odersky M. (2010). Lightweight modular staging. ACM SIGPLAN Notices. 46:2. (127-136). Online publication date: 26-Jan-2011.

    https://doi.org/10.1145/1942788.1868314

  • Rompf T and Odersky M. Lightweight modular staging. Proceedings of the ninth international conference on Generative programming and component engineering. (127-136).

    https://doi.org/10.1145/1868294.1868314

  • Ayav T, Tuglular T and Belli F. Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker. Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion. (46-53).

    https://doi.org/10.1109/SSIRI-C.2010.22

  • Salama C, Malecha G, Taha W, Grundy J and O'Leary J. Static consistency checking for verilog wire interconnects. Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation. (121-130).

    https://doi.org/10.1145/1480945.1480963

  • Taha W. (2008). Plenary talk III Domain-specific languages Systems (ICCES). 10.1109/ICCES.2008.4772953. 978-1-4244-2115-2. (xxiii-xxviii).

    http://ieeexplore.ieee.org/document/4772953/