Jurriaan Hage - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Jurriaan Hage' as author, editor, or advisor:

Security type error diagnosis for higher-order, polymorphic languagesJeroen Weijers, Jurriaan Hage, Stefan Holdermans. PEPM 2013: 3-12 [doi]
Applications of Multi-view Learning Approaches for Software ComprehensionAmir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen. Programming, 3(3):14, 2019. [doi]
Legacy to SOA EvolutionRavi Khadka, Amir Saeidi, Andrei Idu, Jurriaan Hage, Slinger Jansen. In Anca Daniela Ionita, Marin Litoiu, Grace A. Lewis, editors, Migrating Legacy Applications - Challenges in Service Oriented Architecture and Cloud Computing Environments. pages 40-70, IGI Global, 2013. [doi]
[Research Paper] Fine-Grained Model Slicing for RebelRenate Eilers, Jurriaan Hage, Wishnu Prasetya, Joost Bosman. SCAM 2018: 235-244 [doi]
Improving type error messages for generic JavaNabil El Boustani, Jurriaan Hage. lisp, 24(1-2):3-39, 2011. [doi]
Guided Algebraic Specification Mining for Failure SimplificationAlexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage. pts 2013: 223-238 [doi]
A framework for improving error messages in dependently-typed languagesJoseph Eremondi, Wouter Swierstra, Jurriaan Hage. cejcs, 9(1):1-32, 2019. [doi]
Selected and extended papers from Partial Evaluation and Program Manipulation 2014Wei-Ngan Chin, Jurriaan Hage. SCP, 112:119, 2015. [doi]
A Quantitative Comparison of Semantic Web Page Segmentation ApproachesRobert Kreuzer, Jurriaan Hage, Ad Feelders. ICWE 2015: 374-391 [doi]
A Generic Framework for the Analysis of Heterogeneous Legacy Software SystemsAmir M. Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen. BENEVOL 2019: 24-28 [doi]
Stable Voronoi-based visualizations for software quality monitoringRinse van Hees, Jurriaan Hage. vissoft 2015: 6-15 [doi]
Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected PapersAndy Gill, Jurriaan Hage, editors, Volume 7257 of Lecture Notes in Computer Science, Springer, 2012. [doi]
Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021Jurriaan Hage, editor, ACM, 2021. [doi]
Exploiting Annotations to Test Break-off BranchesI. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov. apsec 2015: 80-87 [doi]
Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected PapersManuel Serrano, Jurriaan Hage, editors, Volume 9547 of Lecture Notes in Computer Science, Springer, 2016. [doi]
On the Effect of Semantically Enriched Context Models on Software ModularizationAmir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen. Programming, 2(1):2, 2018. [doi]
AB=ᗺA: execution equivalence as a new type of testing oracleAlexander Elyasov, W. Prasetya, Jurriaan Hage, U. Rueda, Tanja E. J. Vos, Nelly Condori-Fernández. SAC 2015: 1559-1566 [doi]
Solved and Open Problems in Type Error DiagnosisJurriaan Hage. staf 2020: 62-74 [doi]
Constraint handling rules with binders, patterns and generic quantificationAlejandro Serrano, Jurriaan Hage. tplp, 17(5-6):992-1009, 2017. [doi]
Migrating a large scale legacy application to SOA: Challenges and lessons learnedRavi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, Geer P. Haas. WCRE 2013: 425-432 [doi]
A search-based approach to multi-view clustering of software systemsAmir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen. WCRE 2015: 429-438 [doi]
ITMViz: interactive topic modeling for source code analysisAmir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen. IWPC 2015: 295-298 [doi]
Predicting resource consumption of higher-order workflowsMarkus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer. PEPM 2017: 99-110 [doi]
How good is your puppet? An empirically defined and validated quality model for puppetEduard van der Bent, Jurriaan Hage, Joost Visser, Georgios Gousios. WCRE 2018: 164-174 [doi]
The hunt for the guzzler: Architecture-based energy profiling using stubsErik Jagroep, Arjan van der Ent, Jan Martijn E. M. van der Werf, Jurriaan Hage, Leen Blom, Rob van Vliet, Sjaak Brinkkemper. INFSOF, 95:165-176, 2018. [doi]
Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected PapersJurriaan Hage, Jay McCarthy, editors, Volume 8843 of Lecture Notes in Computer Science, Springer, 2015. [doi]
An Evaluation Of Service Frameworks For The Management Of Service EcosystemsRavi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, Remko Helms. pacis 2011: 93 [doi]
On switching classes, NLC-width, cliquewidth and treewidthHans L. Bodlaender, Jurriaan Hage. TCS, 429:30-35, 2012. [doi]
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USAWei-Ngan Chin, Jurriaan Hage, editors, ACM, 2014. [doi]
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoningJoris Burgers, Jurriaan Hage, Alejandro Serrano 0001. IFL 2020: 33-43 [doi]
Special issue on Trends in Functional Programming 2013/14Jurriaan Hage, Jay McCarthy. Comp. Lang., Syst. \& Struct., 52:63-64, 2018. [doi]
::::Language Implementation Patterns: Create your own Domain-Specific and General Programming Languages::::, by Terence Parr, Pragmatic Bookshelf, http: //www.pragprog.com, ISBN 9781934356456Jurriaan Hage. JFP, 21(2):215-217, 2011. [doi]
Type families with class, type classes with familyAlejandro Serrano, Jurriaan Hage, Patrick Bahr. haskell 2015: 129-140 [doi]
Research paper: Plagiarism Detection for Haskell with HolmesJurriaan Hage, Brian Vermeer, Gerben Verburg. cserc 2013: 19-30 [doi]
A Comparative Study of Code Query TechnologiesTiago L. Alves, Jurriaan Hage, Peter Rademaker. SCAM 2011: 145-154 [doi]
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief AnnouncementHidde Verstoep, Jurriaan Hage. PEPM 2015: 139-142 [doi]
Detecting Cross-Language Dependencies GenericallyTheodoros Polychniatis, Jurriaan Hage, Slinger Jansen, Eric Bouwers, Joost Visser. CSMR 2013: 349-352 [doi]
Security type error diagnosis for higher-order, polymorphic languagesJeroen Weijers, Jurriaan Hage, Stefan Holdermans. SCP, 95:200-218, 2014. [doi]
Stable and predictable Voronoi treemaps for software quality monitoringRinse van Hees, Jurriaan Hage. INFSOF, 87:242-258, 2017. [doi]
Type Directives and Type Graphs in ElmFalco Peijnenburg, Jurriaan Hage, Alejandro Serrano. IFL 2016: [doi]
Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature SeriesJurriaan Hage. JFP, 22(3):375-377, 2012. [doi]
A quick look at impredicativityAlejandro Serrano 0001, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis. PACMPL, 4(ICFP), 2020. [doi]
Search-Based Test Data Generation for JavaScript Functions that Interact with the DOMAlexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage. issre 2018: 88-99 [doi]
Cost versus precision for approximate typing for PythonLevin Fritz, Jurriaan Hage. PEPM 2017: 89-98 [doi]
Reduce first, debug laterAlexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Andreas Nikas. ICSE 2014: 57-63 [doi]
Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected PapersJurriaan Hage, Marco T. Morazán, editors, Volume 6647 of Lecture Notes in Computer Science, Springer, 2011. [doi]
Subgroup Switching of Skew Gain GraphsJurriaan Hage. FUIN, 116(1-4):111-122, 2012. [doi]
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type RulesAlejandro Serrano, Jurriaan Hage. ESOP 2016: 672-698 [doi]
Generic Matching of Tree Regular Expressions over Haskell Data TypesAlejandro Serrano, Jurriaan Hage. PADL 2016: 83-98 [doi]
Plagiarism detection for Java: a tool comparisonJurriaan Hage, Peter Rademaker, Nikè van Vugt. cserc 2011: 33-46 [doi]
Guarded impredicative polymorphismAlejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon L. Peyton Jones. PLDI 2018: 783-796 [doi]
Architectural Pattern Definition for Semantically Rich Modular ArchitecturesJoeri Peters, Jan Martijn E. M. van der Werf, Jurriaan Hage. wicsa 2016: 256-261 [doi]
How do professionals perceive legacy systems and software modernization?Ravi Khadka, Belfrit V. Batlajery, Amir Saeidi, Slinger Jansen, Jurriaan Hage. ICSE 2014: 36-47 [doi]
Logging to Facilitate Combinatorial System TestingPeter M. Kruse, I. S. Wishnu B. Prasetya, Jurriaan Hage, Alexander Elyasov. pts 2014: 48-58 [doi]
Refining types using type guards in TypeScriptIvo Gabe de Wolff, Jurriaan Hage. PEPM 2017: 111-122 [doi]
Object-sensitive Type Analysis of PHPHenk Erik Van der Hoek, Jurriaan Hage. PEPM 2015: 9-20 [doi]
Towards a characterization of bipartite switching classes by means of forbidden subgraphsJurriaan Hage, Tero Harju. dmgt, 27(3):471-483, 2007. [doi]
Gelato: GEneric language tools for model-driven analysis of legacy software systemsAmir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen. WCRE 2013: 481-482 [doi]
A method engineering based legacy to SOA migration methodRavi Khadka, Gijs Reijnders, Amir Saeidi, Slinger Jansen, Jurriaan Hage. ICSM 2011: 163-172 [doi]
A structured legacy to SOA migration process and its evaluation in practiceRavi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage. MESOCA 2013: 2-11 [doi]
A compiler architecture for domain-specific type error diagnosisAlejandro Serrano 0001, Jurriaan Hage. cejcs, 9(1):33-51, 2019. [doi]
Lightweight soundness for towers of language extensionsAlejandro Serrano, Jurriaan Hage. PEPM 2017: 23-34 [doi]
Does software modernization deliver what it aimed for? A post modernization analysis of five software modernization case studiesRavi Khadka, Prajan Shrestha, Bart Klein, Amir Saeidi, Jurriaan Hage, Slinger Jansen, Edwin van Dis, Magiel Bruntink. ICSM 2015: 477-486 [doi]
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception SemanticsRuud Koot, Jurriaan Hage. PEPM 2015: 127-138 [doi]
Type Error Customization in GHC: Controlling expression-level type errors by type-level programmingAlejandro Serrano, Jurriaan Hage. IFL 2017: [doi]
Higher-Ranked Annotation Polymorphic Dependency AnalysisFabian Thorand, Jurriaan Hage. ESOP 2020: 656-683 [doi]
On Involutions Arising from GraphsJurriaan Hage, Tero Harju. BIRTHDAY 2009: 623-630 [doi]
Making "stricterness" more relevantStefan Holdermans, Jurriaan Hage. lisp, 23(3):315-335, 2010. [doi]
Plagiarism detection for {J}ava: a tool comparisonHage, J., Rademaker, P., Van Vugt, N.. In Proceedings of the 1st Computer Science Education Research Conference (CSERC '11). 2011: 33-46

runs on WebDSL