Software Languages Lab

Onderzoeksoutput

Onderzoeksoutput per jaar 2006 2021

• 2885 Citaties
• 24 h-Index
• 240 Conference paper
• 100 Article
• 58 Meeting abstract (Book)
• 26 Poster
• 102 Meer
  • 15 Other report
  • 15 Unpublished abstract
  • 13 Foreword/postscript
  • 12 Unpublished paper
  • 12 Editorial
  • 11 Chapter
  • 8 Other chapter contribution
  • 4 Meeting abstract (Journal)
  • 3 Special issue
  • 2 Book
  • 2 Other scientific journal contribution
  • 2 Artefact
  • 1 Commissioned report
  • 1 Software
  • 1 PhD thesis

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2015

  Detecting Concurrency Bugs in Higher-Order Programs through Abstract Interpretation

  Stievenart, Q., Nicolay, J., De Meuter, W. & De Roover, C., 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming . ACM SIGPLAN, blz. 232-243 10 blz.

  Onderzoeksoutput: Conference paper › Research

  • Hazards and race conditions
  • Synchronization
  3 Citaten (Scopus)

• Detecting Function Purity in JavaScript

  Nicolay, J., Noguera Garcia, C. F., De Roover, C. & De Meuter, W., sep 2015, Proceedings of the 15th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM). Bremen, DE: IEEE, blz. 101-110 10 blz.

  Onderzoeksoutput: Conference paper › Research

  • Experiments
  8 Citaten (Scopus)

• DisCoPar: Distributed components for participatory campaigning

  Zaman, J. & De Meuter, W., 27 mrt 2015, 2015 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshops) . IEEE, blz. 160-165

  Onderzoeksoutput: Conference paper › Research

  • Observatories
  • Reusability
  • Agglomeration
  • Information systems
  • Monitoring
  8 Citaten (Scopus)

• DisCoPar: Distributed Components for Participatory Campaigning

  Zaman, J., 2015

  Onderzoeksoutput: Software

• Effort discounting and its association with negative symptoms in schizophrenia

  Docx, L., De La Asuncion, J., Sabbe, B., Hoste, L., Baeten, R., Warnaerts, N. & Morrens, M., 3 jan 2015, In : Cognitive Neuropsychiatry. 20, 2, blz. 172-185 14 blz.

  Onderzoeksoutput: Article

  Open Access

  • Physical Exertion
  • Schizophrenia
  • Costs and Cost Analysis
  • Reward
  • Pleasure
  42 Citaten (Scopus)

• Generating safe boundary APIs between Typed EDSLs and their environments

  Reynders, B., Devriese, D. & Piessens, F., 26 okt 2015, GPCE 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Association for Computing Machinery, Inc, blz. 31-34 4 blz.

  Onderzoeksoutput: Conference paper › Research

  • Application programming interfaces (API)
  • Graphics processing unit
  • Macros

• Indexing RETE's Working Memory: Catering to Dynamic Changes of the Ruleset

  Van De Water, S., Renaux, T., Hoste, L. & De Meuter, W., 7 okt 2015. 7 blz.

  Onderzoeksoutput: Unpublished paper

  Open Access

  • Pattern matching
  • Data storage equipment

• Just-in-Time Data Structures

  De Wael, M., Marr, S., De Koster, J. J-M., Sartor, J. B. & De Meuter, W., 2015, Onward! papers 2015. ACM, blz. 61-75 15 blz.

  Onderzoeksoutput: Conference paper

  • Data structures
  • Software engineering

• Just-in-time data structures: towards declarative swap rules

  De Wael, M., 26 okt 2015, Proceedings of the 13th International Workshop on Dynamic Analysis. ACM, blz. 33-34 2 blz.

  Onderzoeksoutput: Meeting abstract (Book) › Research

  • Data structures
  • Dynamic analysis
  4 Citaten (Scopus)

• Model querying with query models

  Noguera Garcia, C. F. & Jonckers, V., 2015, Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. New York, NY, USA: ACM, blz. 181-184 4 blz.

  Onderzoeksoutput: Conference paper › Research

  • Query languages
  • Structural properties
  • Computer programming languages

• Negation in Distributed Logic-based Reactive Languages

  Renaux, T., 2015, (Unpublished).

  Onderzoeksoutput: Poster

• Parallel Gesture Recognition with Soft Real-Time Guarantees

  Marr, S., Renaux, T., Hoste, L. & De Meuter, W., 1 feb 2015, In : Science of Computer Programming. 98, blz. 159-183 32 blz.

  Onderzoeksoutput: Article

  Open Access

  • Gesture recognition
  • Scalability
  • Cameras
  • Data storage equipment
  1 Citaat (Scopus)

• Partitioned Global Address Space Languages

  De Wael, M., Marr, S., De Fraine, B., Van Cutsem, T. & De Meuter, W., 21 jul 2015, In : ACM Computing Surveys. 47, 4, blz. 1-27 27 blz., 62.

  Onderzoeksoutput: Article

  • Language
  • Taxonomies
  • Productivity
  • Taxonomy
  • Parallel programming
  24 Citaten (Scopus)

• Poster: Dynamic Analysis Using JavaScript Proxies

  Christophe, L., De Roover, C. & De Meuter, W., 16 mei 2015, Proceedings of the 37th IEEE International Conference on Software Engineering (ICSE2015). IEEE, Vol. 2. blz. 813-814 2 blz.

  Onderzoeksoutput: Meeting abstract (Book) › Research

  • poster
  • programming language
  • quality assurance
  • engineering
  2 Citaten (Scopus)

• Poster: Tierless Programming in JavaScript

  Philips, L., De Meuter, W. & De Roover, C., 16 mei 2015, 37th International Conference on Software Engineering (ICSE 2015). IEEE, blz. 831-832 2 blz.

  Onderzoeksoutput: Conference paper › Research

  • Computer programming languages
  • Servers
  2 Citaten (Scopus)

• Resolving model inconsistencies using automated regression planning

  Pinna Puissant, J., Van Der Straeten, R. & Mens, T., feb 2015, In : Software & Systems Modeling. 14, 1, blz. 461-481

  Onderzoeksoutput: Article

  Open Access

  • Inconsistency
  • Planning
  • Regression
  • Model
  • Software Engineering
  25 Citaten (Scopus)

• Scaling Machine Learning for Target Prediction in Drug Discovery using Apache Spark

  Harnie, D., Vapirev, A., Wegner, J. K., Gedich, A., Steijaert, M., Wuyts, R. & De Meuter, W., 2015, Proceedings of the 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing: Workshop on Clusters, Clouds and Grids for Life Sciences. IEEE, blz. 871-879 9 blz.

  Onderzoeksoutput: Meeting abstract (Book) › Research

  Open Access

  Bestand

  • Drug Discovery
  • Electric sparks
  • Machine learning
  • Pipelines
  • Molecules
  8 Citaten (Scopus)

  971 Downloads (Pure)

• Scoping for Reactive Cloud-based Inference Engines

  Kambona, K., Gonzalez Boix, E. & De Meuter, W., 7 jul 2015, (Unpublished).

  Onderzoeksoutput: Poster

• Serena: Middleware For Real-time Web Applications

  Kambona, K., Gonzalez Boix, E. & De Meuter, W., 2015, SAC '15 Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, blz. 802-805 4 blz.

  Onderzoeksoutput: Conference paper › Research

  • Middleware
  • Servers
  • Feedback
  • Internet of things
  • Communication

• Static Analysis of Concurrent Higher-Order Programs

  Stievenart, Q., Nicolay, J., De Meuter, W. & De Roover, C., 2015. 2 blz.

  Onderzoeksoutput: Poster

  Bestand

  • interpreter
  • interpretation
  15 Downloads (Pure)

• Towards Tracking Thread Interferences during Abstract Interpretation of Concurrent Programs

  Stiévenart, Q., Nicolay, J., De Roover, C. & De Meuter, W., 2015.

  Onderzoeksoutput: Poster

  • Data storage equipment
  • Explosions
  • Mechanics

• Transactional Futures and Promises

  Swalens, J., De Koster, J. J-M. & De Meuter, W., 7 jul 2015.

  Onderzoeksoutput: Poster

  • transaction
  • programming language
  • poster
  • semantics

• Using multiple feature models to specify configuration options for electrical transformers: an experience report

  Chavarriaga Lozano, J. A., Rangel, C., Noguera Garcia, C. F., Casallas, R. & Jonckers, V., 2015, Proceedings of the 19th International Conference on Software Product Lines. ACM, blz. 216-224

  Onderzoeksoutput: Conference paper › Research

  • Specifications
  • Industry
  4 Citaten (Scopus)
• 2014

  A Logic Foundation for a General-Purpose History Querying Tool.

  Stevens, R., De Roover, C., Noguera Garcia, C. F., Kellens, A. & Jonckers, V., 2014, In : Science of Computer Programming. 96, blz. 107-120 14 blz.

  Onderzoeksoutput: Article

  • Software engineering
  • Control systems
  3 Citaten (Scopus)

• AmbientTalk: programming responsive mobile peer-to-peer applications with actors

  Van Cutsem, T., Gonzalez Boix, E., Scholliers, C., Lombide Carreton, A., Harnie, D., Pinte, K. & De Meuter, W., 20 nov 2014, In : Computer Languages, Systems and Structures. 40, 3-4, blz. 112-136 25 blz.

  Onderzoeksoutput: Article

  • Wireless networks
  • Computer programming languages
  • Mobile computing
  • Semantics
  22 Citaten (Scopus)

• An open implementation of Cloud Types for the Web

  Coppieters, T., Philips, L., Van Cutsem, T. & De Meuter, W., 13 apr 2014, Proceedings of the First Workshop on Principles and Practice of Eventual Consistency. New York, NY, USA: ACM, 2 blz. (PaPEC '14).

  Onderzoeksoutput: Foreword/postscript › Research

  • Computer programming
  • Computer programming languages
  3 Citaten (Scopus)

• Architectural tactics support in cloud computing providers: the jelastic case

  Chavarriaga Lozano, J. A., Noguera Garcia, C. F., Casallas, R. & Jonckers, V., 4 jul 2014, Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures (QoSA '14). ACM, blz. 13-22 10 blz.

  Onderzoeksoutput: Conference paper › Research

  • Cloud computing
  2 Citaten (Scopus)

• Are We There Yet? Simple Language-Implementation Techniques for the 21st Century

  Marr, S., Pape, T. & De Meuter, W., 15 sep 2014, In : IEEE Software. 31, 5, blz. 60-67 8 blz.

  Onderzoeksoutput: Article

  • Virtual machine
  7 Citaten (Scopus)

• AspectMaps: Extending Moose to visualize AOP software

  Fabry, J., Kellens, A., Denier, S. & Ducasse, S., 1 jan 2014, In : Science of Computer Programming. 79, blz. 6-22

  Onderzoeksoutput: Article

  • Visualization
  • Aspect oriented programming
  • Reverse engineering
  • User interfaces
  3 Citaten (Scopus)

• Blame Prediction

  Harnie, D., Scholliers, C. & De Meuter, W., 2014, Revised Selected Papers of the 14th International Symposium on Trends in Functional Programming 2013. Mccarthy, J. (redactie). Springer, Vol. 8322. blz. 91-106 15 blz. (Lecture Notes in Computer Science).

  Onderzoeksoutput: Conference paper

• Building Development Tools Interactively using the Ekeko Meta-Programming Library

  De Roover, C. & Stevens, R., 2014, Proceedings of the IEEE CSMR-WCRE 2014 Software Evolution Week (CSMR-WCRE14), Tool Demo Track. IEEE, 5 blz. (Proceedings of the IEEE CSMR-WCRE 2014 Software Evolution Week (CSMR-WCRE14), Tool Demo Track).

  Onderzoeksoutput: Conference paper › Research

  • Application programming interfaces (API)
  • Statistics
  10 Citaten (Scopus)

• Citizen-Friendly Participatory Campaign Support

  Zaman, J., D'Hondt, E., Gonzalez Boix, E., Philips, E., Kambona, K. & De Meuter, W., 2014, 2014 IEEE International Conference on Pervasive Computing and Communications Work in Progress, PerCom WiP'14. IEEE, blz. 232-235 4 blz.

  Onderzoeksoutput: Conference paper › Research

  • Cellular telephones
  11 Citaten (Scopus)

• Clones and Macro co-changes

  Lozano Rodriguez, A., Jaafar, F., Mens, K. & Guéhéneuc, Y-G., 2014, In : Electronic Communications of the EASST. 63, 14 blz.

  Onderzoeksoutput: Conference paper

  • Macros
  • Cloning
  2 Citaten (Scopus)

• Data Interface + Algorithms = Efficient Programs

  De Wael, M., Marr, S. & De Meuter, W., 28 jul 2014, Proceedings of the 9th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems PLE. blz. 1-4 4 blz. 2

  Onderzoeksoutput: Meeting abstract (Book) › Research

  • Data structures
  • Structured programming
  • Maintainability
  • Concretes
  • Set theory
  1 Citaat (Scopus)

• Distributed Debugging for Mobile Networks

  Gonzalez Boix, E., Noguera Garcia, C. F., De Meuter, W., Agrawai, E. (redactie) & Chen, Z. (redactie), 1 apr 2014, In : Journal of Systems and Software. 90, blz. 76-90 14 blz.

  Onderzoeksoutput: Article

  • Wireless networks
  • Mobile ad hoc networks
  • Ad hoc networks
  • Topology
  9 Citaten (Scopus)

• Domains: Safe sharing among actors

  De Koster, J., Marr, S., D'Hondt, T. & Van Cutsem, T., 2014, In : Science of Computer Programming. 98, 2, blz. 140-158 19 blz.

  Onderzoeksoutput: Article

  • Message passing
  • Synchronization
  • Semantics
  • Data storage equipment
  4 Citaten (Scopus)

• Engineering Gestures for Multimodal User Interfaces

  Echtler, F., Kammer, D., Vanacken, D., Hoste, L. & Signer, B., jun 2014, Proceedings of the 6th International Conference on Engineering Interactive Computing Systems (EICS 2014), Rome, Italy, June, 2014. ACM, blz. 297-298

  Onderzoeksoutput: Conference paper › Research

  • user interface
  • engineering
  • system development
  • programming

• Explaining why methods change together

  Lozano Rodriguez, A., Noguera Garcia, C. F. & Jonckers, V., 28 sep 2014, IEEE 14th International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, blz. 185-194 10 blz.

  Onderzoeksoutput: Conference paper › Research

  • Structural properties
  • Semantics
  4 Citaten (Scopus)

• Features on Demand

  Cardozo, N., Mens, K., González, S., Orban, P-Y. & De Meuter, W., 22 jan 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems. ACM, Vol. 1. blz. 1-8 8 blz. (Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems; nr. 18).

  Onderzoeksoutput: Foreword/postscript

  • Mobile computing

• Fork/Join Parallelism in the Wild Documenting Patterns and Anti-Patterns in Java Programs using the Fork/Join Framework

  De Wael, M., Marr, S. & Van Cutsem, T., 23 sep 2014, PPPJ'14, International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York, NY, USA: ACM, blz. 39-50 12 blz.

  Onderzoeksoutput: Conference paper › Research

  • Java
  • Join
  • Sequential Patterns
  • Open Source
  • Best Practice
  8 Citaten (Scopus)

• Identifying Source Code Reuse across Repositories using LCS-based Source Code Similarity

  Kawamitsu, N., Ishio, T., Kanda, T., Kula, R. G., De Roover, C. & Inoue, K., 2014, Proceedings of 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM14). blz. 305-314 10 blz. (Proceedings of 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM14)).

  Onderzoeksoutput: Conference paper › Research

  • Open source software
  16 Citaten (Scopus)

• Improving workflow modularity using a concern-specific layer on top of Unify

  Joncheere, N., Günther, S., Van Der Straeten, R. & Jonckers, V., 1 jul 2014, In : Science of Computer Programming. 87, blz. 62-94 33 blz.

  Onderzoeksoutput: Article

  • Specifications
  • Reusability
  • Web services
  • Industry

• Influence of loudness of noise events on perceived sound quality in urban context

  Delaitre, P., Lavandier, C., Ribeiro, C., Quoy, M., D'Hondt, E., Kambona, K. & Gonzalez Boix, E., 16 nov 2014.

  Onderzoeksoutput: Unpublished paper

  • Acoustic waves
  • Cellular telephones
  • Motorcycles
  • Birds
  • Light sources
  4 Citaten (Scopus)

• Information flow control for web scripts

  De Groef, W., Devriese, D., Vanhoef, M. & Piessens, F., 1 jan 2014, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8604, blz. 124-145 22 blz.

  Onderzoeksoutput: Article

  • Flow Control
  • Information Flow
  • Flow control
  • Web Application
  • Data Analytics

• Integrated RWQM1 based water quality modelling using OpenMI, a case study of the river Zenne, Belgium

  Shrestha, N. K., Leta, O. T., De Fraine, B., Brion, N., Van Griensven, A. & Bauwens, W., 1 jan 2014, blz. 548-555. 8 blz.

  Onderzoeksoutput: Unpublished paper

  • Water Quality
  • Rivers
  • Water quality
  • Modeling
  • Integrated Model

• Multi-tier functional reactive programming for the web

  Reynders, B., Devriese, D. & Piessens, F., 1 jan 2014, Onward! 2014 - Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2014. Association for Computing Machinery, Inc, blz. 55-68 14 blz.

  Onderzoeksoutput: Conference paper › Research

  • Computer programming
  • Computer programming languages
  • Servers
  • Concretes
  • DSL
  16 Citaten (Scopus)

• Objects In Space

  De Meuter, W., Lombide Carreton, A., Pinte, K., Mostinckx, S. & Van Cutsem, T., 2014, Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Agha, G., Igarashi, A., Kobayashi, N., Mashuhara, H., Matsuoka, S., Shibayama, E. & Taura, K. (redactie). Springer, blz. 317-340 24 blz. (Programming and Software Engineering; vol. 8665).

  Onderzoeksoutput: Chapter

  • Radio frequency identification (RFID)
  • Computer programming languages

• Orchestration Support for Participatory Sensing Campaigns

  D'Hondt, E., Zaman, J., Philips, E., Gonzalez Boix, E. & De Meuter, W., 2014, 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing. blz. 727-738 12 blz.

  Onderzoeksoutput: Conference paper › Research

  • Scalability
  • Monitoring
  16 Citaten (Scopus)

• Overlapping and order-independent patterns: Definitional equality for all

  Cockx, J., Piessens, F. & Devriese, D., 1 jan 2014, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, blz. 87-106 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8410 LNCS).

  Onderzoeksoutput: Conference paper › Research

  • Pattern matching
  • Overlapping
  • Pattern Matching
  • Equality
  • Overlap
  2 Citaten (Scopus)

• Partial type signatures for Haskell

  Winant, T., Devriese, D., Piessens, F. & Schrijvers, T., 7 feb 2014, Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings. blz. 17-32 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8324 LNCS).

  Onderzoeksoutput: Conference paper › Research

  • Haskell
  • Signature
  • Type Inference
  • Partial
  • Compiler
  3 Citaten (Scopus)