Software Languages Lab

Onderzoeksoutput

Onderzoeksoutput per jaar 2006 2021

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

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2017

  Untangling Source Code Changes Using Program Slicing

  Muylaert, W. & De Roover, C., 5 dec 2017, blz. 36-38. 3 blz.

  Onderzoeksoutput: Unpublished abstract

  Open Access

  Bestand

  • Control systems
  1 Citaat (Scopus)

  96 Downloads (Pure)

• Volume of Signaling Traffic Reaching Cellular Networks from Mobile Phones

  Oteyo, I. N. & Bainomugisha, E., 3 nov 2017, 2017 IEEE AFRICON: Science, Technology and Innovation for Africa, AFRICON 2017. Cornish, D. R. (redactie). IEEE, blz. 831-836 6 blz. 8095590

  Onderzoeksoutput: Conference paper

  • Cellular telephones
  • Smartphones
  • Application programs
  • Mobile computing
  • Outages
• 2016

  43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties

  De Koster, J., Van Cutsem, T. & De Meuter, W., 2016, Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control. New York, NY, USA: ACM, blz. 31-40 10 blz. (AGERE 2016).

  Onderzoeksoutput: Conference paper › Research
  29 Citaten (Scopus)

• A model for Reflection in Rule-Based Languages

  Van De Water, S., De Meuter, W. & Renaux, T., 23 sep 2016.

  Onderzoeksoutput: Unpublished paper

  Open Access

  Bestand

  • Pattern matching
  34 Downloads (Pure)

• An Exploratory Study Into the Prevalence of Botched Code Integrations

  Muylaert, W. & De Roover, C., 2016, (Unpublished). 3 blz.

  Onderzoeksoutput: Unpublished abstract

  Bestand

  • Semantics
  7 Downloads (Pure)

• An Exploratory Study Into the Prevalence of Botched Code Integrations

  Muylaert, W., De Meuter, W. & De Roover, C., 11 jul 2016, (Unpublished). 5 blz.

  Onderzoeksoutput: Unpublished abstract

  Bestand

  • Pipelines
  • Technical presentations
  • Application programming interfaces (API)
  • Industry
  71 Downloads (Pure)

• A Performant Scheme Interpreter in asm.js

  Van Es, N., Nicolay, J., Stiévenart, Q., D'Hondt, T. & De Roover, C., 2016, Proceedings of the 31st ACM Symposium on Applied Computing, Programming Languages Track (SAC 2016). ACM, blz. 1944-1951 8 blz.

  Onderzoeksoutput: Conference paper › Research

  • Macros
  • Specifications
  3 Citaten (Scopus)

• AspectJ code analysis and verification with GASR

  Fabry, J., De Roover, C., Noguera Garcia, C. F., Zschaler, S., Rashid, A. & Jonckers, V., 13 jun 2016, In : Journal of Systems and Software. 117, blz. 528-544 17 blz.

  Onderzoeksoutput: Article

  • Aspect oriented programming
  • Metadata
  • Computer programming languages
  1 Citaat (Scopus)

• Automated Generalization and Refinement of Code Templates with Ekeko/X

  Molderez, T. & De Roover, C., 2016, Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER2016). IEEE Computer Society Press, blz. 669-672 4 blz.

  Onderzoeksoutput: Conference paper › Research

  • Mathematical operators

• Boosting the Priority of Garbage: Scheduling Collection on Heterogeneous Multicore Processors

  Akram, S., Sartor, J., Van Craeynest, K., Heirman, W. & Eeckhout, L., apr 2016, In : ACM Transactions on Architecture and Code Optimization (TACO). 13, 1, 24 blz., 4.

  Onderzoeksoutput: Article

  Open Access

  • Scheduling
  • Data storage equipment
  • Adaptive algorithms
  • Scheduling algorithms
  • Application programs
  8 Citaten (Scopus)

• Building a Modular Static Analysis Framework in Scala (Tool Paper)

  Stiévenart, Q., Nicolay, J., De Meuter, W. & De Roover, C., 2016, Proceedings of the 7th ACM SIGPLAN Symposium on Scala. Amsterdam, Netherlands, blz. 105-109 5 blz.

  Onderzoeksoutput: Conference paper › Research

  • Static analysis
  • Semantics
  4 Citaten (Scopus)

• Building a Modular Static Analysis Framework in Scala (Tool Paper)

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

  Onderzoeksoutput: Poster

  Open Access

  Bestand
  11 Downloads (Pure)

• Crowd Sensing Applications: A Distributed Flow-Based Programming Approach

  Zaman, J. & De Meuter, W., 19 dec 2016, 2016 IEEE International Conference on Mobile Services (MS). IEEE, blz. 79-86 8 blz.

  Onderzoeksoutput: Conference paper › Research

  • Application programs
  • Agglomeration
  • Servers
  • Feedback
  2 Citaten (Scopus)

• Declaratively Specifying Security Policies For Web Applications

  Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 2016. 9 blz.

  Onderzoeksoutput: Unpublished paper

  Open Access

• Declaratively Specifying Security Policies For Web Applications

  Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 30 okt 2016.

  Onderzoeksoutput: Poster

  Bestand
  4 Downloads (Pure)

• Dependence-Driven Delimited CPS Transformation for JavaScript

  Philips, L., De Koster, J., De Meuter, W. & De Roover, C., 2016, Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'16). New York: ACM, blz. 59-69

  Onderzoeksoutput: Conference paper › Research

  • Maintainability
  1 Citaat (Scopus)

• Domains: Sharing state in the communicating event-loop actor model

  De Koster, J. J-M., Marr, S., Van Cutsem, T. & D'Hondt, T., 2016, In : Computer Languages, Systems and Structures. 45, blz. 132-160 29 blz.

  Onderzoeksoutput: Article

  • Message passing
  • Fault tolerance
  • Synchronization
  • Semantics
  10 Citaten (Scopus)

• DVFS Performance Prediction for Managed Multithreaded Applications

  Akram, S., Sartor, J. & Eeckhout, L., apr 2016, IEEE International Symposium on Performance Analysis of Systems and Software. IEEE, 12 blz.

  Onderzoeksoutput: Conference paper › Research

  Open Access

  • Dynamic frequency scaling
  • Voltage scaling
  • Energy utilization
  • Energy management
  • Error analysis
  15 Citaten (Scopus)

• Eliminating dependent pattern matching without K

  COCKX, JESPER., DEVRIESE, DOMINIQUE. & PIESSENS, FRANK., 30 aug 2016, In : Journal of Functional Programming. 26, e16, blz. 1-42 42 blz.

  Onderzoeksoutput: Article

  • Pattern matching
  • Algebra

• Fully-abstract compilation by approximate back-translation

  Devriese, D., Patrignani, M. & Piessens, F., 11 jan 2016, POPL 2016 - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), Vol. 20-22-January-2016. blz. 164-177 14 blz.

  Onderzoeksoutput: Conference paper › Research
  15 Citaten (Scopus)

• Fully-Abstract compilation by approximate back-translation

  Devriese, D., Patrignani, M. & Piessens, F., 8 apr 2016, In : ACM SIGPLAN Notices. 51, 1, blz. 164-177 14 blz.

  Onderzoeksoutput: Article
  3 Citaten (Scopus)

• Improving Trace-Based JIT Optimisation Using Whole-Program Information

  Vandercammen, M. & De Roover, C., 31 okt 2016, (Unpublished).

  Onderzoeksoutput: Poster

  Bestand
  14 Downloads (Pure)

• Improving Trace-Based JIT Optimisation Using Whole-Program Information

  Vandercammen, M. & De Roover, C., 31 okt 2016, Proceedings of the Virtual Machines and Intermediate Languages Workshop 2016 (VMIL'16). ACM, blz. 16-23 8 blz.

  Onderzoeksoutput: Meeting abstract (Book) › Research

  Open Access

  Bestand

  • Static analysis
  1 Citaat (Scopus)

  35 Downloads (Pure)

• I Now Pronounce You Reactive and Consistent: Handling Distributed and Replicated State in Reactive Programming

  Myter, F., Coppieters, T., Scholliers, C. & De Meuter, W., okt 2016, Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems. ACM, blz. 1-8 8 blz.

  Onderzoeksoutput: Meeting abstract (Book) › Research

  Bestand
  6 Citaten (Scopus)

  159 Downloads (Pure)

• Just-in-time inheritance: a dynamic and implicit multiple inheritance mechanism

  De Wael, M., Swalens, J. & De Meuter, W., 1 nov 2016, Proceedings of the 12th Symposium on Dynamic Languages (DLS 2016). ACM, blz. 37-47 11 blz.

  Onderzoeksoutput: Conference paper › Research

  • time
  • programming language
  • scenario

• Linvail: A General-Purpose Platform for Shadow Execution of JavaScript

  Christophe, L., De Meuter, W., Gonzalez Boix, E. & De Roover, C., 18 mrt 2016, Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016). IEEE CS, blz. 260-270 10 blz.

  Onderzoeksoutput: Conference paper › Research

  Open Access

  • Value engineering
  • Experiments

• Managing Traceability Links with MaTraCa

  Lozano Rodriguez, A., Noguera, C. & Jonckers, V., 1 mrt 2016, Software Analysis, Evolution, and Reengineering (SANER), 2016 23rd IEEE International Conference on.

  Onderzoeksoutput: Conference paper › Research

  • Traceability
  • Coevolution
  • Reverse Engineering
  • Web Application
  • Software

• Many Spiders Make a Better Web: A Unified Web-Based Actor Framework

  Myter, F., Scholliers, C. & De Meuter, W., okt 2016, Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control. ACM, blz. 51-60 10 blz.

  Onderzoeksoutput: Meeting abstract (Book) › Research

  Bestand
  4 Citaten (Scopus)

  54 Downloads (Pure)

• MInGLE: An Efficient Framework for Domain Acceleration Using Low-Power Specialized Functional Units

  González-Álvarez, C., Sartor, J., Álvarez, C., Jiménez-González, D. & Eeckhout, L., jun 2016, In : ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, 25 blz., 17.

  Onderzoeksoutput: Article

  Open Access

  • Computer hardware
  • Atoms
  • Merging
  • Transistors
  • Energy efficiency
  1 Citaat (Scopus)

• On modular and fully-abstract compilation

  Patrignani, M., Devriese, D. & Piessens, F., 8 aug 2016, Proceedings - IEEE 29th Computer Security Foundations Symposium, CSF 2016. IEEE Computer Society, Vol. 2016-August. 1 blz. 7536364

  Onderzoeksoutput: Conference paper › Research

  • Storage allocation (computer)
  • Data storage equipment
  11 Citaten (Scopus)

• On Modular and Fully-Abstract Compilation -- Technical Appendix

  Patrignani, M., Devriese, D. & Piessens, F., 18 apr 2016

  Onderzoeksoutput: Other report

  Bestand

  • Storage allocation (computer)
  • Data storage equipment
  1 Downloads (Pure)

• Q-LAVHA: A flexible GIS plugin to simulate lava flows

  Mossoux, S., Saey, M., Bartolini, S., Poppe, S., Canters, F. & Kervyn De Meerendre, M., 2016, In : Computers & Geosciences. 97, blz. 98-109

  Onderzoeksoutput: Article
  18 Citaten (Scopus)

• Reasoning about object capabilities with logical relations and effect parametricity

  Devriese, D., Birkedal, L. & Piessens, F., 9 mei 2016, Proceedings - 2016 IEEE European Symposium on Security and Privacy, EURO S and P 2016. Institute of Electrical and Electronics Engineers Inc., blz. 147-162 16 blz. 7467352

  Onderzoeksoutput: Conference paper › Research

  • Computer programming languages
  • Data structures
  • Data storage equipment
  19 Citaten (Scopus)

• Reasoning about object capabilities with logical relations and effect parametricity

  Devriese, D., Birkedal, L. & Piessens, F., 9 mei 2016, Proceedings - 2016 IEEE European Symposium on Security and Privacy, EURO S and P 2016. Institute of Electrical and Electronics Engineers Inc., blz. 147-162 16 blz. 7467352

  Onderzoeksoutput: Conference paper › Research

  Open Access

  Bestand

  • Computer programming languages
  • Data structures
  • Data storage equipment
  19 Citaten (Scopus)

  2 Downloads (Pure)

• Scala-AM: A Modular Static Analysis Framework

  Stiévenart, Q., Vandercammen, M., De Meuter, W. & De Roover, C., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016. blz. 85-90 6 blz.

  Onderzoeksoutput: Conference paper

  Bestand

  • Static analysis
  • Semantics
  7 Citaten (Scopus)

  74 Downloads (Pure)

• Scaling machine learning for target prediction in drug discovery using Apache Spark

  Harnie, D., Saey, M., Vapirev, A., Wegner, J. K., Gedich, A., Steijaert, M., Ceulemans, H., Wuyts, R. & De Meuter, W., 24 mei 2016, In : Future Generation Computer Systems. 67, blz. 409-417

  Onderzoeksoutput: Article

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

• Search-Based Generalization and Refinement of Code Templates

  Molderez, T. & De Roover, C., 2016, Proceedings of the 8th International Symposium on Search-Based Software Engineering (SSBSE 2016). Sarro, F. & Deb, K. (redactie). Springer International Publishing, Vol. 9962. blz. 192-208 15 blz.

  Onderzoeksoutput: Conference paper
  2 Citaten (Scopus)

• Slice-based Web Development: Mapping slices to tiers

  Philips, L., De Koster, J. J-M., De Meuter, W. & De Roover, C., 19 jul 2016.

  Onderzoeksoutput: Poster

• Special issue on the 3rd and 4th ACM SIGPLAN workshops on programming based on actors, agents, and decentralized control (AGERE! 2013/2014)

  Gonzalez Boix, E. (redactie) & Haller, P. (redactie), 2016, In : Computer Languages, Systems and Structures. 45, blz. 161-162 2 blz.

  Onderzoeksoutput: Special issue

• Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript

  Nicolay, J., Spruyt, V. & De Roover, C., okt 2016, Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security: Vienna, Austria — October 24 - 28, 2016. New York, NY, USA: ACM, blz. 3-13

  Onderzoeksoutput: Meeting abstract (Book) › Research

  Open Access

  • Static analysis
  • Flow graphs
  • Defects
  • Query languages
  • Specifications
  2 Citaten (Scopus)

• Tierless Reactive Programming for Big Data: Tackling the Storage-Signal Impedance Mismatch

  Rodriguez Avila, H., De Meuter, W. & Gonzalez Boix, E., 19 jul 2016.

  Onderzoeksoutput: Poster

• Towards Advanced Debugging Support for Actor Languages

  Torres Lopez, C., 2016.

  Onderzoeksoutput: Poster

• Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems

  Gonzalez Boix, E., Marr, S. & Mossenbock, H., 2016, Arbeitstagung Programmiersprachen (ATPS 2016). SE-WS 2016 redactie Vienna, Austria: CEUR Workshop Proceedings, Vol. 1559. blz. 91-95 (Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016); vol. 1559).

  Onderzoeksoutput: Meeting abstract (Book) › Research

  Open Access

  • Parallel processing systems

• Transactional Tasks: Parallelism in Software Transactions

  Swalens, J., De Koster, J. J-M. & De Meuter, W., 19 jul 2016.

  Onderzoeksoutput: Poster

  • Data storage equipment
  • Computer programming languages
  • Semantics

• Transactional Tasks: Parallelism in Software Transactions

  Swalens, J., De Koster, J. & De Meuter, W., jul 2016, Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Krishnamurthi, S. & Lerner, B. S. (redactie). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 56. blz. 23:1-23:28 28 blz.

  Onderzoeksoutput: Conference paper

  Open Access

  • Data storage equipment
  • Computer programming languages
  • Semantics
  1 Citaat (Scopus)

• Typing Third Party Web Service Usage

  Oostvogels, N., De Meuter, W. & De Koster, J., 19 jul 2016, (Unpublished).

  Onderzoeksoutput: Poster

  Bestand
  11 Downloads (Pure)

• Unifiers as Equivalences Proof-Relevant Unification of Dependently Typed Data

  Cockx, J., Devriese, D. & Piessens, F., 2016, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016. blz. 1-13 13 blz. (Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016).

  Onderzoeksoutput: Chapter › Research › peer review

  • Pattern matching
  • Syntactics
  3 Citaten (Scopus)

• Verification of Communication in Web Applications

  Oostvogels, N., De Koster, J. & De Meuter, W., 19 jul 2016, (Unpublished). 8 blz.

  Onderzoeksoutput: Unpublished paper

  • Application programming interfaces (API)
  • Communication
  • Specifications
  • HTTP
• 2015

  A Declarative Foundation for Comprehensive History Querying

  Stevens, R., 15 mei 2015, A Declarative Foundation for Comprehensive History Querying. blz. 907-910 4 blz.

  Onderzoeksoutput: Conference paper › Research

  • Concretes
  • Control systems
  • Experiments
  3 Citaten (Scopus)

• A flow-based programming framework for mobile App development

  Zaman, J., Hoste, L. & De Meuter, W., 27 okt 2015, PROMOTO 2015 Proceedings of the 3rd International Workshop on Programming for Mobile and Touch. ACM, blz. 9-12 4 blz.

  Onderzoeksoutput: Conference paper › Research

  • Application programs
  • Reusability
  • Chemical analysis
  1 Citaat (Scopus)