dr. J. (J) Hage
J.Hage@uu.nl
Gegenereerd op 2017-11-23 04:43:41


Strategic themes / Focus areas
Scientific expertise
plagiarism detection for programs
compiler construction
switching classes
Gegenereerd op 2017-11-23 04:43:41
All publications
  2016 - Scholarly publications
Peters, J.G.T., van der Werf, J.M.E.M. & Hage, J. (2016). Architectural Pattern Definition for Semantically Rich Modular Architectures. 13th Working IEEE/IFIP Conference on Software Architecture (WICSA) - 5–8 April 2016 Venice, Italy (pp. 256-261).
Serrano Mena, A. & Hage, J. (01.09.2016). Generic Matching of Tree Regular Expressions over Haskell Data Types. Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings (pp. 83-98) (16 p.). Springer.
Serrano Mena, A. & Hage, J. (22.03.2016). Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (pp. 672-698) (27 p.). Springer.
  2015 - Scholarly publications
Kreuzer, Robert, Hage, J. & Feelders, A.J. (2015). A Quantitative Comparison of Semantic Web Page Segmentation Approaches. Proceedings of ICWE 2015 (pp. 374-391). Springer.
Saeidi, A. M., Hage, J., Khadka, R. & Jansen, S. (2015). A Search-Based Approach to Multi-view Clustering of Software Systems. Proceedings of the Conference on Software Analysis, Evolution, and Re-engineering (10 p.).
Elyasov, A., Prasetya, I.S.W.B., Hage, J., Rueda, U., Vos, T.E.J. & Condori-Fernandez, N. (2015). AB=ᗺA: execution equivalence as a new type of testing oracle. SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC) (pp. 1559-1566). ACM.
Khadka, R., Shrestra, Prajan, Klein, Bart, Saeidi, A.M., Hage, J., Jansen, R.L., Dis, Edwin van & Bruntink, Magiel (2015). Does Software Modernization Deliver What It Aimed for? A Post Modernization Analysis of Five Software Modernization Case Studies. ICSME 2015 – Proceedings - 2015 IEEE 31st International Conference on Software Maintenance and Evolution (ICSME) (pp. 477-486). IEEE.
Prasetya, I.S.W.B., Hage, J. & Elyasov, A. (2015). Exploiting Annotations to Test Break-off Branches. 22th Asia-Pacific Software Engineering Conference (APSEC) IEEE.
Saeidi, A.M., Hage, J., Khadka, R. & Jansen, R.L. (2015). ITMViz: Interactive Topic Modeling for Source Code Analysis. Proceedings of the 23rd International Conference on Program Comprehension (ICPC '15) (4 p.). ACM.
Van der Hoek, Henk Erik & Hage, J (2015). Object-sensitive Type Analysis of PHP. PEPM '15: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015) (pp. 9-20) (12 p.). ACM.
Verstoep, Hidde & Hage, J (2015). Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. PEPM '15: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015) (pp. 139-142) (4 p.). ACM.
Hees, Rinse van & Hage, J. (2015). Stable Voronoi-based Visualizations for Software Quality Monitoring. Proc. VISSOFT (pp. 6-15). IEEE.
Koot, Ruud & Hage, Jurriaan (13.01.2015). Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. PEPM '15: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015) (pp. 127-138) (12 p.). ACM.
  2014 - Scholarly publications
Khadka, R., Batlajery, B.V., Saeidi, A.M., Jansen, R.L. & Hage, J. (2014). How Do Professionals Perceive Legacy Systems and Software Modernization?. International Conference on Software Engineering KhadkaICSE2014.
Kruse, P.M., Prasetya, I.S.W.B., Hage, J & Elyasov, Alexander (2014). Logging to Facilitate Combinatorial System Testing. In Tanja E.J. Vos, Kiran Lakhotia & Sebastian Bauersfeld (Eds.), Future Internet Testing - First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers (pp. 48-58). Springer.
Elyasov, Alexander, Prasetya, I.S.W.B., Hage, J & Nikas, A. (2014). Reduce First, Debug Later. 9th International Workshop on Automation of Software Test, (pp. 57-63) (7 p.). ACM, Conference ICSE '14 36th International Conference on Software Engineering Hyderabad, India — May 31 - June 07, 2014 .
Weijers, Jeroen, Hage, J & Holdermans, Stefan (2014). Security Type Error Diagnosis for Higher-Order Polymorphic Languages. Science of Computer Programming, 95 (2), (pp. 200-218).
  2013 - Scholarly publications
Khadka, R., Saeidi, A.M., Jansen, R.L. & Hage, J. (2013). A structured legacy to SOA migration process and its evaluation in practice. IEEE 7th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems MESOCA) (pp. 2-11) (10 p.). khadka2013structured.
Prasetya, I.S.W.B., Sturala, A., Middelkoop, A., Hage, J. & Elyasov, A. (2013). Compact Traceable Logging. VALID 2013, The Fifth International Conference on Advances in System Testing and Validation Lifecycle (pp. 66-76) (11 p.). VALID 2013.
Polychniatis, T., Hage, J., Jansen, R.L., Bouwers, E. & Visser, Joost (2013). Detecting Cross-language Dependencies Generically. Proceedings of the 17th European Conference on Software Maintenance and Reengineering (CSMR) polychniatisdetecting2013 Workshop at the SEA-DR Conference, Palembang, Indonesia, 23 April.
Saeidi, A.M., Hage, J., Khadka, R. & Jansen, R.L. (2013). Gelato: GEneric language tools for model-driven analysis of legacy software systems. 20th Working Conference on Reverse Engineering (WCRE) (pp. 481-482) (2 p.). saeidi2013gelato.
Elyasov, A., Prasetya, I.S.W.B. & Hage, J. (2013). Guided Algebraic Specification Mining for Failure Simplification. 25th IFIP WG 6.1 International Conference onTesting Software and Systems (ICTSS 2013) (pp. 223-238) (16 p.). Springer, ICTSS 2013.
Khadka, R., Saeidi, A.M., Jansen, R.L., Hage, J. & Haas, G.P. (2013). Migrating a large scale legacy application to SOA: Challenges and lessons learned. 20th Working Conference on Reverse Engineering (WCRE) (pp. 425-432) (8 p.). khadka2013migrating.
Hage, J., Vermeer, B. & Verburg, G. (2013). Plagiarism Detection for Haskell with Holmes. Proceedings of Computer Science Education Research Conference (CSERC '13) (pp. 19-30) (12 p.). ACM digital library, CSERC '13.
Weijers, J., Hage, J. & Holdermans, S. (2013). Security Type Error Diagnosis for Higher-Order Polymorphic Languages. Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM '13) (pp. 3-12) (10 p.). ACM, Workshop on Partial Evaluation and Program Manipulation.
  2012 - Scholarly publications
Khadka, R., Saeidi, A.M., Idu, A., Hage, J. & Jansen, R.L. (2012). Legacy to SOA Evolution- A Systematic Literature Review. In A.D. Ionita, M. Litoiu & G. Lewis (Eds.), Migrating Legacy Applications: Challenges in Service Oriented Architecture and Cloud Computing Environments (pp. 40-70) (31 p.). IGI Global.
Hage, J. & Bodlaender, H.L. (2012). On switching classes, NLC-width, cliquewidth and treewidth. Theoretical Computer Science, 429, (pp. 30-35) (6 p.).
Hage, J. (2012). Subgroup Switching of Skew Gain Graphs. Fundamenta Informaticae, 116 (1-4), (pp. 111-122) (12 p.).
  2011 - Scholarly publications
Alves, T.L., Hage, J. & Rademaker, P. (2011). A Comparative Study of Code Query Technologies. Source Code Analysis and Manipulation (SCAM), 2011 11th IEEE International Working Conference on (pp. 145-154) (10 p.). alves11comparative.
Khadka, R., Reijnders, G., Saeidi, A., Jansen, R.L. & Hage, J. (2011). A method engineering based legacy to SOA migration method. Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM'11) (pp. 163-172) (10 p.). khadka11method.
Khadka, R., Saeidi, A.M., Jansen, R.L., Hage, J. & Helms, R.W. (2011). An Evaluation of Service Frameworks for the Management of Service Ecosystems. In the 15th Pacific Asian Conference on Information Systems (PACIS 2011) Khadka2011PACIS.
Holdermans, S. & Hage, J. (2011). Making ``stricterness'' more relevant. Higher-Order and Symbolic Computation, 23, (pp. 315-335) (21 p.). holdermans11makingstricterness-jnl.
  2010 - Scholarly publications
el Boustani, N & Hage, J. (2010). Corrective Hints for Type Incorrect Generic Java Programs. Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM '10) (pp. 5-14) (10 p.). PEPM.
el Boustani, N & Hage, J. (2010). Improving Type Error Messages for Generic Java. In G. Puebla & G. Vidal (Eds.), Proceedings of the ACM SIGPLAN 2009 Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '09) (pp. 131-140) (10 p.). ACM Press.
Holdermans, S. & Hage, J. (2010). Making ``Stricterness'' More Relevant. Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM '10) (pp. 121-130) (10 p.). ACM Press, PEPM.
Hage, J. & Keeken, P. (2010). Neon: A Library for Language Usage Analysis. In D. Gasevic & E. van Wyk R. Laemmel (Eds.), Proceedings of the 1st Conference on Software Language Engineering (SLE '08) (pp. 35-53) (19 p.). Springer, SLE '08.
Hage, J. & Harju, T. (2010). On Involutions Arising From Graphs. In D. Harel J. Kok A. Condon & E. Winfree (Eds.), Algorithmic Bioprocesses (pp. 623-630) (8 p.).
Holdermans, S. & Hage, J. (2010). On the Rôle of Minimal Typing Derivations in Type-driven Program Transformation. Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010 ACM Press, LDTA.
Holdermans, S. & Hage, J. (2010). Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010 (pp. 63-74) (12 p.). ICFP.
Hage, J. & Heeren, B.J. (2010). Strategies for Solving Constraints in Type and Effect Systems. Electronic Notes in Theoretical Computer Science, 236, (pp. 163-183) (21 p.).
  2008 - Scholarly publications
Holdermans, S. & Hage, J. (2008). Heap recycling for lazy languages. In J. Hatcliff, R. Glück & O. de Moor (Eds.), Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08, San Francisco, California, USA, January 7–8, 2008 (pp. 189-197) (9 p.). ACM Press.
Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Löh, C., Middelkoop, A., Rodriguez Yakushev, A. & van Schie, J. (2008). Report on the tenth {ICFP} programming contest. ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (pp. 397-408) (12 p.). New York, NY, USA: ACM, 1411259.
  2007 - Scholarly publications
Hage, J., Holdermans, S. & Middelkoop, A. (2007). A generic usage analysis with subeffect qualifiers. In R. Hinze & N. Ramsey (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1--3 (pp. 235-246) (12 p.). ACM Press.
Hage, J. & Heeren, B.J. (2007). Heuristics for type error discovery and recovery. In Z. Horváth, V. Zsók & A. Butterfield (Eds.), Implementation of Functional Languages -- IFL 2006 (pp. 199-216) (18 p.). Heidelberg: Springer, HH:heuristics.
Hage, J. (2007). Programmeerplagiaatdetectie met Marble. TINFON, Tijdschrift voor informatieonderwijs, 16, (pp. 4-8) (5 p.). H:marble1.
Hage, J. & Harju, T. (2007). Towards a characterization of bipartite switching classes by means of forbidden subgraphs. Discussiones Mathematicae - Graph Theory, 27 (3), (pp. 471-483) (13 p.). HH:bipartite.
  2006 - Scholarly publications
Ehrenfeucht, A., Hage, J., Harju, T. & Rozenberg, G. (2006). The embedding problem for switching classes of graphs. Fundamenta Informaticae, 74, (pp. 1-17) (17 p.). EHHR:embeddingextended.
  2005 - Scholarly publications
Heeren, B.J. & Hage, J. (2005). Type Class Directives. In Manuel Hermenegildo & Daniel Cabeza (Eds.), Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages (PADL'05) (pp. 253-267) (15 p.). Berlin: Springer, HH:typeclassdirectives.
  2004 - Scholarly publications
Hage, J. & Harju, T. (2004). A characterization of acyclic switching classes using forbidden subgraphs. SIAM Journal on Discrete Mathematics, 18, (pp. 159-176) (18 p.). HH:critical.
Ehrenfeucht, A., Hage, J., Harju, T. & Rozenberg, G. (2004). Embedding in Switching Classes with Skew Gains. In H. Ehrig, G. Engels, F. Parisi-Presicce & G. Rozenberg (Eds.), Graph Transformations, Second International Conference, ICGT 2004 (pp. 257-270) (14 p.). Springer, EHHR: Same as technical report UU-CS-2004-023.
  2003 - Scholarly publications
Heeren, B.J., Hage, J. & Swierstra, S.D. (2003). Constraint based type inferencing in Helium. In M.-C. Silaghi & M. Zanker (Eds.), Workshop Proceedings of Immediate Applications of Constraint Programming (pp. 59-80) (22 p.). Cork, HHS:constraint.
Hage, J. (2003). Enumerating submultisets of multisets. Information Processing Letters, 85, (pp. 221-226) (6 p.). H:enummultisets.
Hage, J., Harju, T. & Welzl, E. (2003). Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Swithing Classes. Fundamenta Informaticae, 58, (pp. 23-37) (15 p.). HHW:eulerimproved.
Heeren, B.J., Hage, J. & Swierstra, S.D. (2003). Scripting the type inference process. Eighth ACM Sigplan International Conference on Functional Programming (pp. 3-13) (11 p.). New York: ACM Press, HHS:scripting.
  2002 - Scholarly publications
Hage, J., Harju, T. & Welzl, E. (2002). Euler graphs, triangle-free graphs and bipartite graphs in switching classes. In A. Corradini, H. Ehrig, H.-J. Kreowski & G. Rozenberg (Eds.), Graph Transformation, First Int. Conf on Graph Transformations, ICGT 2002 (pp. 48-60) (13 p.). Berlin: Springer, HHW:euler.
  2000 - Scholarly publications
Ehrenfeucht, A., Hage, J., Harju, T. & Rozenberg, G. (2000). Complexity Issues in Switching of Graphs. In H. Ehrig, G. Engels, H.-J. Kreowski & G. Rozenberg (Eds.), Theory And Application Of Graph Transformations - TAGT '98 (pp. 59-70) (12 p.). Berlin: Springer, EHHR:complex.
Ehrenfeucht, A., Hage, J., Harju, T. & Rozenberg, G. (2000). Pancyclicity in Switching Classes. Information Processing Letters, 73 (5/6), (pp. 153-156) (4 p.). EHHR:pancyclicity.
Hage, J. & Harju, T. (2000). The size of switching classes with skew gains. Discrete Mathematics, 215, (pp. 81-92) (12 p.). HH:sizesrev Luminy, 1998.
  1999 - Scholarly publications
Hage, J. (1999). The membership problem for switching classes with skew gains. Fundamenta Informaticae, 39, (pp. 375-387) (13 p.). H:member.
  1998 - Scholarly publications
Hage, J. & Harju, T. (1998). Acyclicity of Switching Classes. European J. Combin., 19, (pp. 321-327) (7 p.). HH:acyclicity.
^ top
Gegenereerd op 2017-11-23 04:43:41

Completed projects

Project:
Higher-ranked Polyvariance Explored 01.09.2012 to 31.08.2016
General project description
 
Role Researcher Funding
NWO grant
Project members UU
Gegenereerd op 2017-11-23 04:43:41
Additional functions and activities

 

Member of the Steering Committee of

  • the Symposia on Trends in Functional Programming (TFP)
  • the Symposia on Implementation and Application of Functional Languages (IFL), as well as publicity chair of these symposia
  • the ACM Workshop on Partial Evaluation and Program Manipulation

In addition, I contribute to the music magazine iO Pages (www.iopages.nl).

 

Gegenereerd op 2017-11-23 04:43:41
Full name
dr. J. Hage Contact details
Buys Ballotgebouw

Princetonplein 5
Room BBL-566
3584 CC  UTRECHT
The Netherlands


Phone number (direct) +31 30 253 3283
Phone number (department) +31 30 253 9251
E-mail
J.Hage@uu.nl
Postal address
Postbus 80.089
3508 TB    UTRECHT
The Netherlands
Gegenereerd op 2017-11-23 04:43:41
Last updated 17.11.2017