Jurriaan Hage - RankMe

95 papers A* 2A 11B 5C 21Misc 1Journal 28Unranked 21

Year	Rank	Type	Title / Venue / Authors
2021	C	`ed.`	Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021 Haskell Jurriaan Hage
2020	J	`jnl`	A quick look at impredicativity. Proc. ACM Program. Lang. Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis
2020	—	`conf`	Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. IFL Joris Burgers, Jurriaan Hage, Alejandro Serrano
2020	A	`conf`	Higher-Ranked Annotation Polymorphic Dependency Analysis. ESOP Fabian Thorand, Jurriaan Hage
2020	—	`ed.`	Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education, TFPIE 2020, Vancouver, Canada and Krakow, Poland, 11th June 2019 and 12th February 2020. TFPIE Jurriaan Hage
2020	—	`conf`	Solved and Open Problems in Type Error Diagnosis. STAF Workshops Jurriaan Hage
2019	J	`jnl`	A compiler architecture for domain-specific type error diagnosis. Open Comput. Sci. Alejandro Serrano, Jurriaan Hage
2019	J	`jnl`	A framework for improving error messages in dependently-typed languages. Open Comput. Sci. Joseph Eremondi, Wouter Swierstra, Jurriaan Hage
2019	J	`jnl`	Applications of Multi-view Learning Approaches for Software Comprehension. CoRR Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
2019	J	`jnl`	Applications of Multi-view Learning Approaches for Software Comprehension. Art Sci. Eng. Program. Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
2018	—	`conf`	A Generic Framework for the Analysis of Heterogeneous Legacy Software Systems. BENEVOL Amir M. Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
2018	A*	`conf`	Guarded impredicative polymorphism. PLDI Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones
2018	A	`conf`	How good is your puppet? An empirically defined and validated quality model for puppet. SANER Eduard van der Bent, Jurriaan Hage, Joost Visser, Georgios Gousios
2018	J	`jnl`	On the Effect of Semantically Enriched Context Models on Software Modularization. Art Sci. Eng. Program. Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
2018	A	`conf`	Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM. ISSRE Alexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage
2018	J	`jnl`	Special issue on Trends in Functional Programming 2013/14. Comput. Lang. Syst. Struct. Jurriaan Hage, Jay McCarthy
2018	J	`jnl`	The hunt for the guzzler: Architecture-based energy profiling using stubs. Inf. Softw. Technol. Erik Jagroep, Arjan van der Ent, Jan Martijn E. M. van der Werf, Jurriaan Hage, Leen Blom, Rob van Vliet, Sjaak Brinkkemper
2018	C	`conf`	[Research Paper] Fine-Grained Model Slicing for Rebel. SCAM Renate Eilers, Jurriaan Hage, Wishnu Prasetya, Joost Bosman
2017	J	`jnl`	Constraint Handling Rules with Binders, Patterns and Generic Quantification. CoRR Alejandro Serrano, Jurriaan Hage
2017	J	`jnl`	Constraint handling rules with binders, patterns and generic quantification. Theory Pract. Log. Program. Alejandro Serrano, Jurriaan Hage
2017	C	`conf`	Cost versus precision for approximate typing for Python. PEPM Levin Fritz, Jurriaan Hage
2017	C	`conf`	Lightweight soundness for towers of language extensions. PEPM Alejandro Serrano, Jurriaan Hage
2017	J	`jnl`	On the Effect of Semantically Enriched Context Models on Software Modularization. CoRR Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
2017	C	`conf`	Predicting resource consumption of higher-order workflows. PEPM Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer
2017	C	`conf`	Refining types using type guards in TypeScript. PEPM Ivo Gabe de Wolff, Jurriaan Hage
2017	J	`jnl`	Stable and predictable Voronoi treemaps for software quality monitoring. Inf. Softw. Technol. Rinse van Hees, Jurriaan Hage
2017	—	`conf`	Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. IFL Alejandro Serrano, Jurriaan Hage
2016	—	`conf`	Architectural Pattern Definition for Semantically Rich Modular Architectures. WICSA Joeri Peters, Jan Martijn E. M. van der Werf, Jurriaan Hage
2016	C	`conf`	Generic Matching of Tree Regular Expressions over Haskell Data Types. PADL Alejandro Serrano, Jurriaan Hage
2016	—	`ed.`	Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers TFP Manuel Serrano, Jurriaan Hage
2016	—	`conf`	Type Directives and Type Graphs in Elm. IFL Falco Peijnenburg, Jurriaan Hage, Alejandro Serrano
2016	A	`conf`	Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. ESOP Alejandro Serrano, Jurriaan Hage
2015	B	`conf`	A Quantitative Comparison of Semantic Web Page Segmentation Approaches. ICWE Robert Kreuzer, Jurriaan Hage, Ad Feelders
2015	A	`conf`	A search-based approach to multi-view clustering of software systems. SANER Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
2015	Misc	`conf`	AB=ᗺA: execution equivalence as a new type of testing oracle. SAC Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernández
2015	A	`conf`	Does software modernization deliver what it aimed for? A post modernization analysis of five software modernization case studies. ICSME Ravi Khadka, Prajan Shrestha, Bart Klein, Amir Saeidi, Jurriaan Hage, Slinger Jansen, Edwin van Dis, Magiel Bruntink
2015	C	`conf`	Exploiting Annotations to Test Break-off Branches. APSEC I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov
2015	A	`conf`	ITMViz: interactive topic modeling for source code analysis. ICPC Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
2015	C	`conf`	Object-sensitive Type Analysis of PHP. PEPM Henk Erik Van der Hoek, Jurriaan Hage
2015	C	`conf`	Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. PEPM Hidde Verstoep, Jurriaan Hage
2015	J	`jnl`	Selected and extended papers from Partial Evaluation and Program Manipulation 2014. Sci. Comput. Program. Wei-Ngan Chin, Jurriaan Hage
2015	B	`conf`	Stable Voronoi-based visualizations for software quality monitoring. VISSOFT Rinse van Hees, Jurriaan Hage
2015	—	`ed.`	Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers Trends in Functional Programming Jurriaan Hage, Jay McCarthy
2015	C	`conf`	Type families with class, type classes with family. Haskell Alejandro Serrano, Jurriaan Hage, Patrick Bahr
2015	C	`conf`	Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. PEPM Ruud Koot, Jurriaan Hage
2014	A*	`conf`	How do professionals perceive legacy systems and software modernization? ICSE Ravi Khadka, Belfrit V. Batlajery, Amir Saeidi, Slinger Jansen, Jurriaan Hage
2014	C	`ed.`	Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA PEPM Wei-Ngan Chin, Jurriaan Hage
2014	—	`conf`	Reduce first, debug later. AST@ICSE Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Andreas Nikas
2014	J	`jnl`	Security type error diagnosis for higher-order, polymorphic languages. Sci. Comput. Program. Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
2013	—	`conf`	A structured legacy to SOA migration process and its evaluation in practice. MESOCA Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage
2013	—	`conf`	Detecting Cross-Language Dependencies Generically. CSMR Theodoros Polychniatis, Jurriaan Hage, Slinger Jansen, Eric Bouwers, Joost Visser
2013	—	`conf`	Gelato: GEneric language tools for model-driven analysis of legacy software systems. WCRE Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen
2013	C	`conf`	Guided Algebraic Specification Mining for Failure Simplification. ICTSS Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage
2013	—	`ch.`	Legacy to SOA Evolution. Migrating Legacy Applications Ravi Khadka, Amir Saeidi, Andrei Idu, Jurriaan Hage, Slinger Jansen
2013	—	`conf`	Logging to Facilitate Combinatorial System Testing. FITTEST@ICTSS Peter M. Kruse, I. S. Wishnu B. Prasetya, Jurriaan Hage, Alexander Elyasov
2013	—	`conf`	Migrating a large scale legacy application to SOA: Challenges and lessons learned. WCRE Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, Geer P. Haas
2013	—	`conf`	Research paper: Plagiarism Detection for Haskell with Holmes. CSERC Jurriaan Hage, Brian Vermeer, Gerben Verburg
2013	C	`conf`	Security type error diagnosis for higher-order, polymorphic languages. PEPM Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
2012	J	`jnl`	Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series. J. Funct. Program. Jurriaan Hage
2012	—	`ed.`	Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers IFL Andy Gill, Jurriaan Hage
2012	J	`jnl`	On switching classes, NLC-width, cliquewidth and treewidth. Theor. Comput. Sci. Hans L. Bodlaender, Jurriaan Hage
2012	J	`jnl`	Subgroup Switching of Skew Gain Graphs. Fundam. Informaticae Jurriaan Hage
2011	C	`conf`	A Comparative Study of Code Query Technologies. SCAM Tiago L. Alves, Jurriaan Hage, Peter Rademaker
2011	—	`conf`	A method engineering based legacy to SOA migration method. ICSM Ravi Khadka, Gijs Reijnders, Amir Saeidi, Slinger Jansen, Jurriaan Hage
2011	—	`conf`	An Evaluation Of Service Frameworks For The Management Of Service Ecosystems. PACIS Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, Remko Helms
2011	—	`ed.`	Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers IFL Jurriaan Hage, Marco T. Morazán
2011	J	`jnl`	Improving type error messages for generic Java. High. Order Symb. Comput. Nabil El Boustani, Jurriaan Hage
2011	—	`conf`	Plagiarism detection for Java: a tool comparison. CSERC Jurriaan Hage, Peter Rademaker, Nikè van Vugt
2010	C	`conf`	Corrective hints for type incorrect generic Java programs. PEPM Nabil El Boustani, Jurriaan Hage
2010	C	`conf`	Making "stricterness" more relevant. PEPM Stefan Holdermans, Jurriaan Hage
2010	J	`jnl`	Making "stricterness" more relevant. High. Order Symb. Comput. Stefan Holdermans, Jurriaan Hage
2010	—	`conf`	On the rôle of minimal typing derivations in type-driven program transformation. LDTA Stefan Holdermans, Jurriaan Hage
2010	A	`conf`	Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. ICFP Stefan Holdermans, Jurriaan Hage
2009	C	`conf`	Improving type error messages for generic java. PEPM Nabil El Boustani, Jurriaan Hage
2009	—	`conf`	On Involutions Arising from Graphs. Algorithmic Bioprocesses Jurriaan Hage, Tero Harju
2008	C	`conf`	Heap recycling for lazy languages. PEPM Jurriaan Hage, Stefan Holdermans
2008	B	`conf`	Neon: A Library for Language Usage Analysis. SLE Jurriaan Hage, Peter van Keeken
2008	A	`conf`	Report on the tenth ICFP programming contest. ICFP Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie
2008	—	`conf`	Strategies for Solving Constraints in Type and Effect Systems. VODCA@FOSAD Jurriaan Hage, Bastiaan Heeren
2007	A	`conf`	A generic usage analysis with subeffect qualifiers. ICFP Jurriaan Hage, Stefan Holdermans, Arie Middelkoop
2007	J	`jnl`	Towards a characterization of bipartite switching classes by means of forbidden subgraphs. Discuss. Math. Graph Theory Jurriaan Hage, Tero Harju
2006	—	`conf`	Heuristics for Type Error Discovery and Recovery. IFL Jurriaan Hage, Bastiaan Heeren
2006	J	`jnl`	The Embedding Problem for Switching Classes of Graphs. Fundam. Informaticae Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
2005	C	`conf`	Type Class Directives. PADL Bastiaan Heeren, Jurriaan Hage
2004	J	`jnl`	A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs. SIAM J. Discret. Math. Jurriaan Hage, Tero Harju
2004	B	`conf`	Embedding in Switching Classes with Skew Gains. ICGT Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
2003	J	`jnl`	Enumerating submultisets of multisets. Inf. Process. Lett. Jurriaan Hage
2003	J	`jnl`	Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. Fundam. Informaticae Jurriaan Hage, Tero Harju, Emo Welzl
2003	A	`conf`	Scripting the type inference process. ICFP Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
2002	B	`conf`	Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. ICGT Jurriaan Hage, Tero Harju, Emo Welzl
2000	J	`jnl`	Pancyclicity in switching classes. Inf. Process. Lett. Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
2000	J	`jnl`	The size of switching classes with skew gains. Discret. Math. Jurriaan Hage, Tero Harju
1999	J	`jnl`	The Membership Problem for Switching Classes with Skew Gains. Fundam. Informaticae Jurriaan Hage
1998	J	`jnl`	Acyclicity of Switching Classes. Eur. J. Comb. Jurriaan Hage, Tero Harju
1998	—	`conf`	Complexity Issues in Switching of Graphs. TAGT Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg