@inproceedings{RickenC09, title = {ConcJUnit: unit testing for concurrent programs}, author = {Mathias Ricken and Robert Cartwright}, year = {2009}, doi = {10.1145/1596655.1596676}, url = {http://doi.acm.org/10.1145/1596655.1596676}, tags = {meta programming, exceptions, meta-model, testing, model-driven development, writing, programming, Meta-Environment}, researchr = {https://researchr.org/publication/RickenC09}, cites = {0}, citedby = {0}, pages = {129-132}, booktitle = {Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009}, editor = {Ben Stephenson and Christian W. Probst}, publisher = {ACM}, isbn = {978-1-60558-598-7}, } @inproceedings{ChengNRW04, title = {Abstract factories and the shape calculator}, author = {Eric Cheng and Dung Zung Nguyen and Mathias Ricken and Stephen B. Wong}, year = {2004}, doi = {10.1145/1028664.1028705}, url = {http://doi.acm.org/10.1145/1028664.1028705}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/ChengNRW04}, cites = {0}, citedby = {0}, pages = {101-102}, booktitle = {Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada}, editor = {John M. Vlissides and Douglas C. Schmidt}, publisher = {ACM}, isbn = {1-58113-833-4}, } @inproceedings{NguyenRW04, title = {Design patterns for marine biology simulation}, author = {Dung Zung Nguyen and Mathias Ricken and Stephen B. Wong}, year = {2004}, doi = {10.1145/971300.971459}, url = {http://doi.acm.org/10.1145/971300.971459}, tags = {control systems, design science, case study, meta-model, visitor, data-flow, object-role modeling, e-science, abstraction, Meta-Environment, design, meta-objects}, researchr = {https://researchr.org/publication/NguyenRW04}, cites = {0}, citedby = {0}, pages = {467-471}, booktitle = {Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2004, Norfolk, Virginia, USA, March 3-7, 2004}, editor = {Dan Joyce and Deborah Knox and Wanda Dann and Thomas L. Naps}, publisher = {ACM}, isbn = {1-58113-798-2}, } @misc{Zung-NguyenWongRickenCheng2006, title = {Object-Oriented Design Festival}, author = {Dung "Zung" Nguyen and Stephen Wong and Mathias Ricken and Eric Cheng}, year = {2006}, month = {March}, tags = {interaction design, object-oriented programming, program analysis, meta programming, meta-model, composition, domain analysis, analysis, principles, object-role modeling, programming, subject-oriented programming, abstraction, Meta-Environment, design, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/Zung-NguyenWongRickenCheng2006}, cites = {0}, citedby = {0}, } @inproceedings{ChengNRW04a, title = {Marine biology simulation}, author = {Eric Cheng and Dung Zung Nguyen and Mathias Ricken and Stephen B. Wong}, year = {2004}, doi = {10.1145/1028664.1028708}, url = {http://doi.acm.org/10.1145/1028664.1028708}, tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, design, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/ChengNRW04a}, cites = {0}, citedby = {0}, pages = {109-110}, booktitle = {Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada}, editor = {John M. Vlissides and Douglas C. Schmidt}, publisher = {ACM}, isbn = {1-58113-833-4}, } @inproceedings{WestbrookRIYAT10, title = {Mint: Java multi-stage programming using weak separability}, author = {Edwin Westbrook and Mathias Ricken and Jun Inoue and Yilong Yao and Tamer Abdelatif and Walid Taha}, year = {2010}, doi = {10.1145/1806596.1806642}, url = {http://doi.acm.org/10.1145/1806596.1806642}, tags = {programming languages, rule-based, Java, type soundness, functional programming, language design, type system, code generation, programming, abstraction, staged computation, design, systematic-approach}, researchr = {https://researchr.org/publication/WestbrookRIYAT10}, cites = {0}, citedby = {0}, pages = {400-411}, booktitle = {Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010}, editor = {Benjamin G. Zorn and Alexander Aiken}, publisher = {ACM}, isbn = {978-1-4503-0019-3}, } @mastersthesis{Ricken2007, title = {A Framework for Testing Concurrent Programs}, author = {Mathias Ricken}, year = {2007}, month = {October}, tags = {programming languages, Java, model checking, testing, model-driven development, programming, incremental, reliability}, researchr = {https://researchr.org/publication/Ricken2007}, cites = {0}, citedby = {0}, school = {Rice University}, } @inproceedings{RickenWestbrookTaha2010, title = {Agile and Efficient Domain-Specific Languages using Multi-Stage Programming in Java Mint}, author = {Mathias Ricken and Edwin Westbrook and Walid Taha}, year = {2010}, tags = {programming languages, optimization, object-oriented programming, type inference, rule-based, Java, meta programming, interpreter, language design, parallel programming, constraints, compiler, DSL, programming, subject-oriented programming, program optimization, Meta-Environment, design, feature-oriented programming, meta-objects, domain-specific language}, researchr = {https://researchr.org/publication/RickenWestbrookTaha2010}, cites = {0}, citedby = {0}, } @inproceedings{PayneCaveRamanRickenCartwrightSarkarPayneCaveRamanRickenCartwrightSarkar2011, title = {Tool Demonstration: DrHJ - A Lightweight Pedagogic IDE for Habanero Java}, author = {Jarred Payne and Vincent Cavé and Raghavan Raman and Mathias Ricken and Robert Cartwright and Vivek Sarkar}, year = {2011}, tags = {programming languages, rule-based, Java, Eclipse, meta programming, functional programming, parallel programming, introductory programming, e-science, programming, Meta-Environment}, researchr = {https://researchr.org/publication/PayneCaveRamanRickenCartwrightSarkarPayneCaveRamanRickenCartwrightSarkar2011}, cites = {0}, citedby = {0}, } @inproceedings{Cave:2011:DCY:2048147.2048150, title = {DrHJ: the cure to your multicore programming woes}, author = {Vincent Cavé and Jarred Payne and Raghavan Raman and Mathias Ricken and Robert Cartwright and Vivek Sarkar}, year = {2011}, month = {October}, doi = {10.1145/2048147.2048150}, url = {http://doi.acm.org/10.1145/2048147.2048150}, tags = {programming languages, Java, parallel programming, programming}, researchr = {https://researchr.org/publication/Cave%3A2011%3ADCY%3A2048147.2048150}, cites = {10}, citedby = {0}, pages = {5-6}, booktitle = {Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion}, series = {SPLASH '11}, address = {New York, NY, USA}, publisher = {ACM}, isbn = {978-1-4503-0942-4}, } @inproceedings{PayneCRRCS11, title = {DrHJ: a lightweight pedagogic IDE for Habanero Java}, author = {Jarred Payne and Vincent Cavé and Raghavan Raman and Mathias Ricken and Robert Cartwright and Vivek Sarkar}, year = {2011}, doi = {10.1145/2093157.2093180}, url = {http://doi.acm.org/10.1145/2093157.2093180}, researchr = {https://researchr.org/publication/PayneCRRCS11}, cites = {0}, citedby = {0}, pages = {147-150}, booktitle = {Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, Kongens Lyngby, Denmark, August 24-26, 2011}, editor = {Christian W. Probst and Christian Wimmer}, publisher = {ACM}, isbn = {978-1-4503-0935-6}, } @inproceedings{NguyenRW05, title = {Design patterns for parsing}, author = {Dung Zung Nguyen and Mathias Ricken and Stephen B. Wong}, year = {2005}, doi = {10.1145/1047344.1047497}, url = {http://doi.acm.org/10.1145/1047344.1047497}, tags = {model-to-model transformation, rule-based, meta-model, modeling, visitor, source-to-source, rules, object-role modeling, model transformation, Meta-Environment, higher-order transformations, parsing, design, process modeling, systematic-approach, meta-objects, transformation, grammar}, researchr = {https://researchr.org/publication/NguyenRW05}, cites = {0}, citedby = {0}, pages = {477-481}, booktitle = {Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005, St. Louis, Missouri, USA, February 23-27, 2005}, editor = {Wanda Dann and Thomas L. Naps and Paul T. Tymann and Doug Baldwin}, publisher = {ACM}, isbn = {1-58113-997-7}, } @techreport{WestbrookRickenInoueYaoAbdelatifTaha2009, title = {Multi-stage Programming for Mainstream Languages (TR09-02)}, author = {Edwin Westbrook and Mathias Ricken and Jun Inoue and Yilong Yao and Tamer Abdelatif and Walid Taha}, year = {2009}, month = {July}, tags = {programming languages, rule-based, Java, type soundness, functional programming, language design, type system, code generation, programming, abstraction, staged computation, design, systematic-approach}, researchr = {https://researchr.org/publication/WestbrookRickenInoueYaoAbdelatifTaha2009}, cites = {0}, citedby = {0}, institution = {Rice University}, number = {TR09-02}, } @phdthesis{Ricken2011, title = {A Framework for Testing Concurrent Programs}, author = {Mathias Ricken}, year = {2011}, month = {April}, tags = {control systems, optimization, rule-based, Java, synchronization, operating system, meta programming, model checking, meta-model, testing, model-driven development, debugging, random testing, compiler, programming, program optimization, Meta-Environment, process modeling, systematic-approach}, researchr = {https://researchr.org/publication/Ricken2011}, cites = {0}, citedby = {0}, school = {Rice University}, } @inproceedings{CavePRRCS11, title = {DrHJ: the cure to your multicore programming woes}, author = {Vincent Cavé and Jarred Payne and Raghavan Raman and Mathias Ricken and Corky Cartwright and Vivek Sarkar}, year = {2011}, doi = {10.1145/2048147.2048150}, url = {http://doi.acm.org/10.1145/2048147.2048150}, researchr = {https://researchr.org/publication/CavePRRCS11}, cites = {0}, citedby = {0}, pages = {5-6}, booktitle = {Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011}, editor = {Cristina Videira Lopes and Kathleen Fisher}, publisher = {ACM}, isbn = {978-1-4503-0942-4}, } @misc{Ricken2010, title = {Mint: A Multi-stage Extension of Java (Purdue University Computer Science Colloquia)}, author = {Mathias Ricken}, year = {2010}, month = {March}, tags = {programming languages, design science, rule-based, Java, type soundness, functional programming, language design, type system, e-science, compiler, programming, abstraction, staged computation, design}, researchr = {https://researchr.org/publication/Ricken2010}, cites = {0}, citedby = {0}, } @inproceedings{RickenC10, title = {Test-first Java concurrency for the classroom}, author = {Mathias Ricken and Robert Cartwright}, year = {2010}, doi = {10.1145/1734263.1734340}, url = {http://doi.acm.org/10.1145/1734263.1734340}, tags = {Java, meta programming, meta-model, testing, model-driven development, writing, programming, Meta-Environment}, researchr = {https://researchr.org/publication/RickenC10}, cites = {0}, citedby = {0}, pages = {219-223}, booktitle = {Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010}, editor = {Gary Lewandowski and Steven A. Wolfman and Thomas J. Cortina and Ellen Lowenfeld Walker}, publisher = {ACM}, isbn = {978-1-4503-0006-3}, } @book{1643721, title = {A Framework for Testing Concurrent Programs: Concutest}, author = {Mathias Ricken}, year = {2009}, tags = {programming languages, Java, model checking, testing, model-driven development, programming, incremental, reliability}, researchr = {https://researchr.org/publication/1643721}, cites = {0}, citedby = {0}, address = {Saarbrücken, Germany}, publisher = {VDM Verlag}, isbn = {3639150740, 9783639150742}, }