Publications by the Computing Science Division
2024
- Optimal Content Caching and Recommendation With Age of Information. In IEEE Transactions on Mobile Computing, volume 23, number 1, pp 689-704, IEEE Computer Society, 2024. (DOI).
- Mental Health Professionals' Insights on Digital Health Solutions for Anxiety in the UAE. In 2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW), IEEE International Requirements Engineering Conference Workshops, pp 362-369, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
- Impact of Noise and Deviation Size on Deep Neural Network Performance in Photomask Classification. Student thesis, supervisor: Fredrik Jonsson, examiner: Roland Bol, Sven-Olof Nyström, UPTEC IT nr 24047, 2024. (fulltext).
- Empirisk Modellering av Trafikflöden: En spatio-temporal prediktiv modellering av trafikflo?den i Stockholms stad med hja?lp av neurala na?tverkEmpirical Modeling of Traffic Flow: A spatio-temporal prediction model of the traffic flow in Stockholm city using neural networks. Student thesis, supervisor: Beatrice Fritz, examiner: Elísabet Andrésdóttir, Justin Pearson, UPTEC STS nr 24040, 2024. (fulltext).
- Design Methods in Connected Health. In NordiCHI Adjunct 2024: Adjunct Proceedings of the 2024 Nordic Conference on Human-Computer Interaction, 2024.
- Adapting and Evaluating Buddy Allocators for Use Within ZGC: ZGC's New Best Friend. Student thesis, supervisor: Erik Österlund, examiner: Roland Bol, Tobias Wrigstad, UPTEC IT nr 24022, 2024. (fulltext).
- Trieste: A C++ DSL for Flexible Tree Rewriting. In SLE '24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, pp 184-189, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
- Efficient Resource Management: A Comparison of Predictive Scaling Algorithms in Cloud-Based Applications. Student thesis, supervisor: Fredrik Hörnqvist, Simon Pettersson, examiner: Elísabet Andrésdóttir, Justin Pearson, UPTEC STS nr 24025, 2024. (fulltext).
- Task offloading optimization in mobile edge computing under uncertain processing cycles and intermittent communications. In Computer Networks, volume 245, Elsevier, 2024. (DOI).
- Scalable Tree-based Register Automata Learning. In Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II, volume 14571 of Lecture Notes in Computer Science, pp 87-108, Springer, Cham, 2024. (DOI, Fulltext, fulltext:print).
- Enhancing Ferry Terminal Operations: Evaluating Quality-In-Use and User Experience to Develop a Self-Service Truck Check-in System Prototype. Student thesis, supervisor: Jennie Hinz, examiner: Lars-Åke Nordén, Roland Bol, Jennifer Gros, UPTEC IT nr 24037, 2024. (fulltext).
- Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape. In Computers and Electronics in Agriculture, volume 216, Elsevier, 2024. (DOI).
- Reinforcement Learning for Dynamic Job Scheduling: Advancing Dynamic Job Scheduling on the Factory Floor using Reinforcement Learning. Student thesis, supervisor: Ayca Özcelikkale, examiner: Lars-Åke Nordén, Eva Darulova Bruggisser, UPTEC IT nr 24057, 2024. (fulltext).
- Sustainability and Usability Evaluation of E-Commerce Portals. In Good Practices and New Perspectives in Information Systems and Technologies, Vol 1, WorldCIST 2024, volume 985 of Lecture Notes in Networks and Systems, pp 204-213, Springer, 2024. (DOI).
- Exploring Empathy in Human - Chatbot interactions: Addressing, Verbal Abuse, and Gender Dynamics. Student thesis, supervisor: Virginia Grande, examiner: Mats Daniels, Didem Gürdür, IT nr IT mDV 24 001, 2024. (fulltext).
- Structure and dynamics of growing networks of Reddit threads. In Applied Network Science, volume 9, number 1, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
- Student Perspectives on Using a Large Language Model (LLM) for an Assignment on Professional Ethics. In Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education, vol 1, ITICSE 2024, pp 478-484, Association for Computing Machinery (ACM), 2024. (DOI, fulltext:print).
- Persuading others using language online. Student thesis, supervisor: Diletta Goglia, examiner: Elísabet Andrésdóttir, Victoria Yantseva, UPTEC STS nr 24002, 2024. (fulltext).
- Nominal Types for Erlang. In Erlang 2024: Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, pp 24-32, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
- Evaluating the expressiveness of specification languages: for stochastic safety-critical systems. Student thesis, supervisor: Anton Hampus, examiner: Lars-Åke Nordén, Lars-Henrik Eriksson, UPTEC IT nr 24038, 2024. (fulltext).
- A Strongly Typed Shell with Static Sandboxing of Side Effects. Student thesis, supervisor: Elias Castegren, examiner: Johannes Borgström, IT nr kDV 24 006, 2024. (fulltext).
- An introduction to data-driven modelling of the Water-Energy-Food-Ecosystem nexus. In Environmental Modelling & Software, volume 181, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
- Impact of Attack Variations and Topology on IoT Intrusion Detection Model Generalizability. In 2024 IEEE 21st International Conference on Mobile Ad-Hoc and Smart Systems (MASS), volume 21 of IEEE International Conference on Mobile Ad-hoc and Sensor Systems, pp 364-370, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
- Ensemble Machine Learning Techniques for LoRa-based Wireless Indoor Localization Systems. Student thesis, supervisor: Madduma Wellalage Pasan Maduranga, examiner: Mats Daniels, José Mairton Barros da Silva Jr., IT nr mDV 24 005, 2024. (fulltext).
- Supplement - Capital in Computing Education: Investigating Factors Underlying Participation. Technical report / Department of Information Technology, Uppsala University nr 2024-001, Uppsala University, Uppsala, 2024. (fulltext).
- Development and Evaluation of an AI-Powered Virtual Coach for an E-Health Tool for Fall Prevention: Open-Source vs Closed-Source LLMs in E-Health Applications. Student thesis, supervisor: Karl Öhman, examiner: Lars-Åke Nordén, Eva Darulova, UPTEC IT nr 24045, 2024. (fulltext).
- From Data to Decision: Data Analysis for Optimal Office Development. Student thesis, supervisor: Henrik Svensson, examiner: Elísabet Andrésdóttir, Justin Pearson, UPTEC STS nr 24020, 2024. (fulltext).
- Dafny vs. Dala: Experience with Mechanising Language Design. In FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, pp 37-43, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext).
- Mutator-Driven Object Placement using Load Barriers. In MPLR 2024: Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext).
- Breaking Barriers: The Challenges of Accessibility in Mobile Application Development. Student thesis, supervisor: Fanny Ljungman, examiner: Elísabet Andrésdóttir, Davide Vega D'Aurelio, UPTEC STS nr 24044, 2024. (fulltext).
- "Hybrid Work Provides the Best of both Worlds" Software Engineering Students' Perception of Group Work in Different Work Settings. In Towards a Hybrid, Flexible and Socially Engaged Higher Education, vol 2, ICL2023, Lecture Notes in Networks and Systems, pp 455-466, Springer, 2024. (DOI).
- Bridging the Theory-Practice Gap in a Maintenance Programming Course: An Experience Report. In ICSE-SEET '24: Proceedings of the 46th International Conference on Software Engineering, pp 359-367, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
- Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract. In Proceedings of the 2024 ACM Sigplan International Symposium on Memory Management, ISMM 2024, pp 131-141, Association for Computing Machinery (ACM), 2024. (DOI, fulltext:print).
- Predicting Spot Prices in Cloud with ARIMA-based and NeuralNetwork-based Forecasting Methods. Student thesis, supervisor: Viktor Svensson, examiner: Elísabet Andrésdóttir, Justin Pearson, UPTEC STS nr 24048, 2024. (fulltext).
- Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors. In The Art, Science, and Engineering of Programming, volume 8, number 3, Aspect-Oriented Software Association, 2024. (DOI, Fulltext, fulltext:print).
- Addressing Fragmentation in ZGC through Custom Allocators: Leveraging a Lean, Mean, Free-List Machine. Student thesis, supervisor: Erik Österlund, examiner: Roland Bol, Tobias Wrigstad, UPTEC IT nr 24020, 2024. (fulltext).
- A Constraint Solving Approach to Parikh Images of Regular Languages. In Proceedings of the ACM on Programming Languages, volume 8, number OOPSLA1, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
- What Do I Need To Learn? Computing Competence Described by Novice Students. In Proc. 2024 IEEE Frontiers in Education Conference (FIE), Washington DC, 2024.
- An analysis of authentication models in cloud computing and on-premise Windows environments.. Student thesis, supervisor: Mathieu Vannoorenberghe, examiner: Roland Bol, Frej Knutar Lewander, UPTEC IT nr 24007, 2024. (fulltext).
- A Case Study of a Code Club's Inclusion Policy and How It Is Implemented Online and in the Classroom. In 2024 IEEE Global Engineering Education Conference (EDUCON) Proceedings, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI, fulltext:postprint).
- Applying the Computer Science Capital Framework to Understand Factors Facilitating Children's Decision to Participate in Code Clubs. In Koli Calling '24: Proceedings of the 24th Koli Calling International Conference on Computing Education Research, pp 1-13, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
- Applications of Constraint Programming in Railway Maintenance. Student thesis, supervisor: Andreína Francisco, examiner: Lars-Åke Nordén, Justin Pearson, UPTEC IT nr 24029, 2024. (fulltext).
- Exploring the Potential Use of Generative AI in Software Engineering Education. In 2024 IEEE 18th International Conference on Application of Information and Communication Technologies (AICT), 2024 IEEE 18th International Conference on Application of Information and Communication Technologies (AICT), pp 1-7, IEEE, 2024. (DOI).
- University Students' Perception and Expectations of Generative AI Tools for Software Engineering. In 2024 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, CSEE & T 2024, Conference on Software Engineering Education and Training, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
- Learn to Stay Cool: Online Load Management for Passively Cooled Base Stations. In 2024 IEEE Wireless Communications and Networking Conference, WCNC 2024, IEEE Wireless Communications and Networking Conference, pp 1-6, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
- Multi-cell content caching: Optimization for cost and information freshness. In Computer Networks, volume 247, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
- Data management of scientific applications in a reinforcement learning-based hierarchical storage system. In Expert systems with applications, volume 237, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
- Caching With Personalized and Incumbent-Aware Recommendation: Modeling and Optimization. In IEEE Transactions on Mobile Computing, volume 23, number 10, pp 9595-9613, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
- On optimization formulations for radio resource allocation subject to common transmission rate. In Computers & Operations Research, volume 161, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
- Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM. In The Art, Science, and Engineering of Programming, volume 8, number 3, Aspect-Oriented Software Association, 2024. (DOI, Fulltext, fulltext:print).
2023
- Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. In International Journal on Software Tools for Technology Transfer, volume 25, pp 185-204, Springer, 2023. (DOI, Fulltext, fulltext:print).
- Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. In Static Analysis: 30th International Symposium, SAS 2023, 2023.
- Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs. In Automated Technology for Verification and Analysis, 21st International Symposium, ATVA 2023, Singapore, Oct. 2023. Proceedings., 2023.
- User Preference-Based Evaluation of Counterfactual Explanation Methods. Student thesis, supervisor: Kristijonas Cyras, Vandita Singh, examiner: Lars-Åke Nordén, Maria Andreina Francisco Rodriguez, UPTEC IT nr 23037, 2023. (fulltext).
- Using Requirement-Driven Symbolic Execution to Test Implementations of the CoAP and EDHOC Network Protocols. Student thesis, supervisor: Hooman Asadian, Paul Fiter?u-Bro?tean, Bengt Jonsson, examiner: Lars-Åke Nordén, Sagonas Konstantinos, UPTEC IT nr 23027, 2023. (fulltext).
- Reference Capabilities for Flexible Memory Management. In Proceedings of the ACM on Programming Languages, volume 7, number OOPSLA2, pp 1363-1393, Association for Computing Machinery (ACM), 2023. (DOI, Fulltext, fulltext:print).
- Encore: Coda. In Active Object Languages: Current Research Trends, Lecture Notes in Computer Science, Springer Nature, 2023. (DOI).
- When Concurrency Matters: Behaviour-Oriented Concurrency. In Proceedings of the ACM on Programming Languages, volume 7, number OOPSLA2, pp 1531-1560, Association for Computing Machinery (ACM), 2023. (DOI, Fulltext, fulltext:print).
- Route Planning of Battery Electric Heavy-Duty Commercial Vehicles: Using Contraction Hierarchies and Mixed Integer Programming. Student thesis, supervisor: Viktor Leek, examiner: Lars-Åke Nordén, Justin Pearson, UPTEC IT nr 23018, 2023. (fulltext).
- Scheduling for Multi-Cell Caching: Hit Maximization Subject to Age of Information. In IEEE Transactions on Vehicular Technology, volume 72, number 9, pp 12441-12446, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
- Black Ostrich: Web Application Scanning with String Solvers. In CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, pp 549-563, Association for Computing Machinery (ACM), 2023. (DOI, Fulltext, fulltext:print).
- Proportionality on Spatial Data with Context. In ACM Transactions on Database Systems, volume 48, number 2, pp 1-37, Association for Computing Machinery (ACM), 2023. (DOI, Fulltext, fulltext:print).
- A multi-period sustainable hydrogen supply chain model considering pipeline routing and carbon emissions: The case study of Oman. In Renewable & sustainable energy reviews, volume 173, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
- A Quantitative Framework for Constructing a Multi-Asset CTA with a Momentum-Based Approach. Student thesis, supervisor: Alexander Wojt, examiner: Elisabet Andresdottir, Justin Pearson, UPTEC STS nr 23010, 2023. (fulltext).
- Robustness and Sensitivity of Network-Based Topic Detection. In Complex Networks and their Applications XI: Proceedings of the Eleventh International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2022, Volume 2, volume 1078 of Studies in Computational Intelligence, pp 259-270, Springer, Cham, 2023. (DOI).
- An Active Learning Approach to Synthesizing Program Contracts. In Software Engineering and Formal Methods, SEFM 2023, volume 14323 of Lecture Notes in Computer Science, pp 126-144, Springer, 2023. (DOI).
- Proteome deconvolution of liver biopsies reveals hepatic cell composition as an important marker of fibrosis. In Computational and Structural Biotechnology Journal, volume 21, pp 4361-4369, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
- Natural Language Processing for Improving Search Query Results: Applied on The Swedish Armed Force's Profession Guide. Student thesis, supervisor: Magnus Lundstedt, examiner: Lars-Åke Nordén, Justin Pearson, UPTEC IT nr 23038, 2023. (fulltext).
- Automated Extraction of Insurance Policy Information: Natural Language Processing techniques to automate the process of extracting information about the insurance coverage from unstructured insurance policy documents.. Student thesis, supervisor: Frank Kody, examiner: Elísabet Andrésdóttir, Davide Vega D'Aurelio, UPTEC STS nr 23023, 2023. (fulltext).
- Lights, Camera, BERT!: Autonomizing the Process of Reading andInterpreting Swedish Film Scripts. Student thesis, supervisor: Björn Mosten, examiner: Elísabet Andrésdóttir, Maria Andreina Francisco Rodriguez, UPTEC STS nr 23043, 2023. (fulltext).
- Scaling up Roundoff Analysis of Functional Data Structure Programs. In Static Analysis: 30th International Symposium, SAS 2023, 2023.
- A Comparison Between KeyFrame Extraction Methods for Clothing Recognition. Student thesis, supervisor: Moa Andersson, examiner: Lars-Åke Nordén, Matteo Magnani, UPTEC IT nr 23023, 2023. (fulltext).
- Sound Mixed Fixed-Point Quantization of Neural Networks. In ACM Transactions on Embedded Computing Systems, 2023. Publication status: Accepted
- Sound Mixed Fixed-Point Quantization of Neural Networks. In ACM Transactions on Embedded Computing Systems, volume 22, number 5, pp 1-26, Association for Computing Machinery (ACM), 2023. (DOI, fulltext:print).
- The Allure of Automated Machine Learning Services: How SMEs and non-expert users can benefit from AutoML frameworks. Student thesis, supervisor: Anton Ijäs, examiner: Elísabet Andrésdóttir, Davide Vega D'Aurelio, UPTEC STS nr 23047, 2023. (fulltext).
- Can Developer Data Predict Vulnerabilities?: Examining Developer and Vulnerability Correlation in the Kibana Project. Student thesis, supervisor: Pontus Johnson, examiner: Lars-Åke Nordén, Elias Castegren, UPTEC IT nr 23021, 2023. (fulltext).
- Evaluating the Ownership of Personal data in the Cloud by Optimizing the IT Architecture: Applying a reference architecture to make the ownership of personal data more clear within an organization. Student thesis, supervisor: Yasith Wickramasinghe, examiner: Elísabet Andrésdottir, Davide Vega D’Aurelio, UPTEC STS nr 23022, 2023. (fulltext).
- Machine learning for risk ranking of component failure: A comparative study of traditional- and survival machine learning approaches applied to historical data. Student thesis, supervisor: Martin Carlberg, examiner: Elísabet Andrésdóttir, Justin Pearson, UPTEC STS nr 23035, 2023. (fulltext).
- Dynamic Warning Signals and Time Lag Analysis for Seepage Prediction in Hydropower Dams: A Case Study of a Swedish Hydropower Plant. Student thesis, supervisor: Jonathan Jan, Mia Zdybek, examiner: Elísabet Andrésdóttir, Maria Andreina Francisco Rodriguez, UPTEC STS nr 23032, 2023. (fulltext).
- Statically Resolvable Ambiguity. In Proceedings of the ACM on Programming Languages, volume 7, number POPL, pp 1686-1712, ACM Digital Library, 2023. (DOI, Fulltext, fulltext:print).
- Generic Requirements for Inclusive Healthcare Software: Supporting Older Adults and People with Intellectual and Developmental Disability. In 2023 IEEE 31st international requirements engineering conference workshops, REW, IEEE International Requirements Engineering Conference Workshops, pp 423-431, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
- EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. In Proceedings of the 32nd ACM Sigsoft International Symposium on Software Testing and Analysis, ISSTA 2023, pp 1495-1498, Association for Computing Machinery (ACM), 2023. (DOI, Fulltext, fulltext:print).
- Compressing Pointers for the Z Garbage Collector: Runtime compression of pointers in a concurrent setting. Student thesis, supervisor: Erik Österlund, examiner: Lars-Åke Nordén, Tobias Wrigstad, UPTEC IT nr 23011, 2023. (fulltext).
- Comparing performance and developer experience for a serverless application integrated with a serverless database. Student thesis, supervisor: Leonard Grolleman, examiner: Lars-Åke Nordén, Eva Darulova, UPTEC IT nr 23042, 2023. (fulltext).
- Heap Size Adjustment with CPU Control. In PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON MANAGED PROGRAMMING LANGUAGES AND RUNTIMES, MPLR 2023, pp 114-128, ASSOC COMPUTING MACHINERY, 2023. (DOI, Fulltext, fulltext:print).
- Hammering Floating-Point Arithmetic. In FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, volume 14279 of Lecture Notes in Artificial Intelligence, pp 217-235, Springer Nature, 2023. (DOI, Fulltext, fulltext:print).
- A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot. In Constraints, volume 28, number 2, pp 71-104, Springer, 2023. (DOI, Fulltext, fulltext:print).
- Understanding the Impact of OS Background Noise with a Custom Performance Evaluation Tool. Student thesis, supervisor: Jonathan Karlsson, examiner: Lars-Åke Nordén, Elias Castegren, UPTEC IT nr 23029, 2023. (fulltext).
- Hop on Board the Open-Source Bus: The Possibilities of an Open-Source Trip Planner for Public Transport. Student thesis, supervisor: Jerry Löfvenhaft, examiner: Elísabet Andrésdóttir, Andreina Francisco, UPTEC STS nr 23007, 2023. (fulltext).
- Assessing the User Experienceof Hype Energy Drinks’ New Website: A study in UX development comparing the userexperience of two versions of the website Hype.com. Student thesis, supervisor: Antonio Marquez, examiner: Elísabet Andrésdóttir, Johannes Borgström, UPTEC STS nr 23050, 2023. (fulltext).
- Immigrant-critical alternative media in online conversations. In PLOS ONE, volume 18, number 11, Public Library of Science (PLoS), 2023. (DOI, Fulltext, fulltext:print).
- Robust Divergence Angle for Inter-satellite Laser Communications under Target Deviation Uncertainty. In 2023 IEEE 98TH VEHICULAR TECHNOLOGY CONFERENCE, VTC2023-FALL, IEEE Vehicular Technology Conference Proceedings, IEEE, 2023. (DOI).
2022
- Optimal Scheduling of Age-centric Caching: Tractability and Computation. In IEEE Transactions on Mobile Computing, volume 21, pp 2939-2954, IEEE, 2022. (DOI).
- Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. In 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), IEEE International Conference on Software Testing Verification and Validation, pp 70-81, Institute of Electrical and Electronics Engineers (IEEE), 2022. (DOI).
- Dandelion: Certified Approximations of Elementary Functions. In 13th International Conference on Interactive Theorem Proving (ITP 2022), volume 237 of Leibniz International Proceedings in Informatics (LIPIcs), pp 6:1-6:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. (DOI, Fulltext, fulltext:print).
- Verified Compilation and Optimization of Floating-Point Programs in CakeML. In 36th European Conference on Object-Oriented Programming (ECOOP 2022), volume 222 of Leibniz International Proceedings in Informatics (LIPIcs), pp 1:1-1:28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. (DOI, Fulltext, fulltext:print).
- DTLS-Fuzzer: A DTLS Protocol State Fuzzer. In 2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), IEEE International Conference on Software Testing Verification and Validation, pp 456-458, Institute of Electrical and Electronics Engineers (IEEE), 2022. (DOI).
- REST: Integrating Term Rewriting with Program Verification. In 36th European Conference on Object-Oriented Programming (ECOOP 2022), volume 222 of Leibniz International Proceedings in Informatics (LIPIcs), pp 13:1-13:29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. (DOI, Fulltext, fulltext:print).
- Energy-Efficient Joint Task Assignment and Power Control in Energy-Harvesting D2D Offloading Communications. In IEEE Internet of Things Journal, volume 9, number 8, pp 6018-6031, Institute of Electrical and Electronics Engineers (IEEE), 2022. (DOI).
- Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. In 2022 Formal Methods in Computer-Aided Design (FMCAD), volume 3 of Formal Methods in Computer-Aided Design, pp 284-293, TU Wien Academic Press, 2022. (DOI, Fulltext, fulltext:print).
- Invoice Line Item Extraction using Machine Learning SaaS Models. Student thesis, supervisor: Pernilla de-Wall Larsson, examiner: Lars-Åke Nordén, Georgios Fakas, UPTEC IT nr 23008, 2022. (fulltext).
- Diversified Retrieval of Spatial Data with Context. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2209, Acta Universitatis Upsaliensis, Uppsala, 2022. (fulltext, preview image).
- Modelling and Analysis of Probabilistic Networks. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2117, Acta Universitatis Upsaliensis, Uppsala, 2022. (fulltext, preview image).
- Overlapping Clustering of Probabilistic Networks. 2022.
- Inferring Interval-Valued Floating-Point Preconditions. In Tools and algorithms for the construction and analysis of systems, TACAS 2022, pt I, Lecture Notes in Computer Science, pp 303-321, Springer Nature, 2022. (DOI, fulltext:print).
- Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education. In 2022 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference, Institute of Electrical and Electronics Engineers (IEEE), 2022. (DOI, fulltext:postprint).
- When bounds consistency implies domain consistency for regular counting constraints. In Constraints, volume 27, number 3, pp 161-167, Springer Nature, 2022. (DOI).
- Visualisation of Numerical Query Results on Industrial Data Streams. In New Trends in Database and Information Systems, ADBIS 2022, volume 1652 of Communications in Computer and Information Science, pp 34-42, Springer, 2022. (DOI).
- Compressed Forwarding Tables Reconsidered. In MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, pp 45-63, Association for Computing Machinery (ACM), New York, 2022. (DOI, Fulltext, fulltext:print).
- So Many Fuzzers, So Little Time: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack. In ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, volume 37 of IEEE ACM International Conference on Automated Software Engineering, Association for Computing Machinery (ACM), 2022. (DOI, Fulltext, fulltext:print).
- Analysing and Predicting Energy Consumption of Garbage Collectors in OpenJDK. In MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, pp 3-15, Association for Computing Machinery (ACM), New York, 2022. (DOI, Fulltext, fulltext:print).
- Automatic Validation of LOD Reductions through Deep Learning. Student thesis, supervisor: Gisslén Linus, examiner: Lars-Åke Nordén, Justin Pearson, UPTEC IT nr 22027, 2022. (fulltext).
- QoS Aware Robot Trajectory Optimization With IRS-Assisted Millimeter-Wave Communications. In IEEE Open Journal of the Communications Society, volume 3, pp 1323-1336, Institute of Electrical and Electronics Engineers (IEEE), 2022. (DOI, Fulltext, fulltext:print).
- A Sociocultural Perspective on Computer Science Capital and its Pedagogical Implications in Computer Science Education. In ACM Transactions on Computing Education, volume 22, number 4, Association for Computing Machinery (ACM), 2022. (DOI, Fulltext).
- Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK. In ACM Transactions on Programming Languages and Systems, volume 44, number 4, Association for Computing Machinery (ACM), New York, 2022. (DOI, Fulltext).
- Stance Classification of Social Media Texts for Under-Resourced Scenarios in Social Sciences. In DATA, volume 7, number 11, MDPI, 2022. (DOI, Fulltext, fulltext:print).
- Multi-cell Caching: Fresh Information with Minimum Cost. In 2022 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), IEEE Wireless Communications and Networking Conference, pp 327-332, Institute of Electrical and Electronics Engineers (IEEE), 2022. (DOI).
- Resource Optimization With Interference Coupling in Multi-RIS-Assisted Multi-Cell Systems. In IEEE OPEN JOURNAL OF VEHICULAR TECHNOLOGY, volume 3, pp 98-110, Institute of Electrical and Electronics Engineers (IEEE), 2022. (DOI, Fulltext, fulltext:print).
- Content Caching with Personalized and Incumbent-aware Recommendation: An Optimization Approach. In 20th International Symposium on Modeling and Optimization in Mobile, ad hoc, and Wireless Networks (WIOPT 2022), pp 97-104, IEEE, 2022. (DOI).
2021
- Age-Optimal UAV Scheduling for Data Collection With Battery Recharging. In IEEE Communications Letters, volume 25, number 4, pp 1254-1258, Institute of Electrical and Electronics Engineers (IEEE), 2021. (DOI).
- From Declarative Models to Local Search. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2022, Acta Universitatis Upsaliensis, Uppsala, 2021. (Online Defence, fulltext, preview image).
- TSOPER: Efficient Coherence-Based Strict Persistency. In 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA), International Symposium on High-Performance Computer Architecture : Proceedings, pp 125-138, Institute of Electrical and Electronics Engineers (IEEE), 2021. (DOI).
- Dala: a simple capability-based dynamic language design for data race-freedom. In Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp 1-17, 2021. (DOI).
- Abstractions to Control the Future. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1986, Acta Universitatis Upsaliensis, Uppsala, 2021. (Online defence, fulltext, preview image).
- Conservative Definitions for Higher-order Logic with Ad-hoc Overloading. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2021, Acta Universitatis Upsaliensis, Uppsala, 2021. (Online defence, fulltext, preview image).
- Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading. In Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, volume 332 of Electronic Proceedings in Theoretical Computer Science (EPTCS), pp 1-17, Open Publishing Association, 2021. (DOI, Fulltext, fulltext:print).
- Generic Quality Assurance in Software Projects. Student thesis, supervisor: Alfred Yrelin, examiner: Lars-Åke Nordén, Aletta Nylén, UPTEC IT nr 21040, 2021. (fulltext).
- Proportionality in Spatial Keyword Search. In Proceedings of the 2021 International Conference on Management of Data, pp 885-897, Association for Computing Machinery (ACM), 2021. (DOI).
- Defining and measuring probabilistic ego networks. In Social Network Analysis and Mining, volume 11, 2021. (DOI, Fulltext).
- Probabilistic network sparsification with ego betweenness. In Applied Network Science, volume 6, Springer Nature, 2021. (DOI, Fulltext, fulltext:print).
- Probabilistic Programming for Birth-Death Models of Evolution. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2006, Acta Universitatis Upsaliensis, Uppsala, 2021. (Online defence, fulltext, preview image).
- Jupyter Notebooks on GitHub: Characteristics and Code Clones. In The Art, Science, and Engineering of Programming, volume 5, number 3, 2021. (DOI, Fulltext, fulltext:print).
- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. In Programming Languages And Systems, ESOP 2021, Lecture Notes in Computer Science, pp 404-431, Springer Nature, 2021. (DOI, Fulltext, fulltext:print).
- Analysis of Multiplex Social Networks with R. In Journal of Statistical Software, volume 98, number 8, pp 1-30, Foundation for Open Access Statistic, 2021. (DOI, Fulltext, fulltext:print).
- Community Detection in Multiplex Networks. In ACM Computing Surveys, volume 54, number 3, Association for Computing Machinery (ACM), 2021. (DOI).
- Deep neural networks for social visuals: studying climate communication on YouTube. In Selected Papers of Internet Research, SPIR, Association of Internet Researchers, 2021. (DOI).
- On the conditions for integrating deep learning into the study of visual politics. In WebSci '21: Proceedings of the 13th ACM Web Science Conference 2021, pp 56-64, Association for Computing Machinery (ACM), 2021. (DOI, fulltext:postprint).
- Analytics of IIoT Data Using a NoSQL Datastore. In 2021 IEEE International Conference on Smart Computing (SMARTCOMP), International Conference on Smart Computing (SMARTCOMP), pp 97-104, Institute of Electrical and Electronics Engineers (IEEE), 2021. (DOI).
- Scalable Data Management for Internet of Things. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2095, Acta Universitatis Upsaliensis, Uppsala, 2021. (fulltext, preview image).
- Scalable Real-Time Analytics for IoT Applications. In 2021 IEEE International Conference on Smart Computing (SMARTCOMP), International Conference on Smart Computing (SMARTCOMP), pp 404-406, Institute of Electrical and Electronics Engineers (IEEE), 2021. (DOI).
- Second-hand goods classification with CNNs: A proposal for a step towards a more sustainable fashion industry. Student thesis, supervisor: Muntazir Mehdi, examiner: Matteo Magnani, Tomas Nyberg, UPTEC F nr 21032, 2021. (fulltext).
- Modal Logics for Nominal Transition Systems. In Logical Methods in Computer Science, volume 17, number 1, 2021. (DOI, Fulltext, External link, External link, fulltext:preprint, fulltext:print).
- Universal probabilistic programming offers a powerful approach to statistical phylogenetics. In Communications Biology, volume 4, Springer Nature, 2021. (DOI, Fulltext, fulltext:print).
- Fifteen Years of Successfully Dialyzing Erlang and Elixir Code: Abstract. In Erlang '21: Proceedings of the 20th ACM SIGPLAN international workshop on Erlang, pp 1-1, Association for Computing Machinery (ACM), 2021. (DOI).
- Kravanalys av digitala medel och tjänster vid popup-butiker: En studie av den digitala utvecklingen i relationen mellan fastighetsägare och detaljhandeln. Student thesis, supervisor: Johan Svenungsson, Björn Clemensson, examiner: Elísabet Andrésdóttir, Björn Victor, UPTEC STS nr 20003, 2021. (fulltext).
- Lock-free Contention Adapting Search Trees. In ACM TRANSACTIONS ON PARALLEL COMPUTING, volume 8, number 2, Association for Computing Machinery (ACM), 2021. (DOI).
- A Note on Decoding Order in User Grouping and Power Optimization for Multi-Cell NOMA With Load Coupling. In IEEE Transactions on Wireless Communications, volume 20, number 1, pp 495-505, Institute of Electrical and Electronics Engineers (IEEE), 2021. (DOI).
- On Resource Optimization in Multi-IRS-assisted and Interference-coupled Multi-cell Systems. In 2021 IEEE 32nd Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), pp 1408-1412, Institute of Electrical and Electronics Engineers (IEEE), 2021. (DOI).
- Delivering more to cell edge via joint multi-cell non-orthogonal multiple access and traffic offloading. In IET Networks, volume 10, number 6, pp 265-277, Institution of Engineering and Technology, 2021. (DOI, Fulltext, fulltext:print).
2020
- Accounting for Information Freshness in Scheduling of Content Caching. In ICC 2020: 2020 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, 2020. (DOI).
- Optimal scheduling of content caching subject to deadline. In IEEE Open Journal of the Communications Society, volume 1, pp 293-307, IEEE, 2020. (DOI, Fulltext, fulltext:print).
- Routing and scheduling of network flows with deadlines and discrete capacity allocation. In Networks, volume 76, number 1, pp 54-74, WILEY, 2020. (DOI).
- Dimensions of Professionalism: A Study of Computer Science Teaching in Saudi Arabia. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1965, Acta Universitatis Upsaliensis, Uppsala, 2020. (Online defence, fulltext, preview image).
- Strategies for array data retrieval from a relational back-end based on access patterns. In Computing, volume 102, number 5, pp 1139-1158, 2020. (DOI, Fulltext, fulltext:print).
- Solving Satisfaction Problems using Large-Neighbourhood Search. In Principles and Practice of Constraint Programming, volume 12333 of Lecture Notes in Computer Science, pp 55-71, 2020. (DOI).
- Diversified spatial keyword search on RDF data. In The VLDB journal, volume 29, number 5, pp 1171-1189, 2020. (DOI, Fulltext, fulltext:print).
- Modeling and Optimization of Mobility-Aware Dynamic Caching With Time-Varying Content Popularity. In IEEE Transactions on Vehicular Technology, volume 69, number 1, pp 1157-1162, 2020. (DOI).
- Analysis of DTLS Implementations Using Protocol State Fuzzing. In Proceedings of the 29th USENIX Security Symposium, pp 2523-2540, 2020. (Proceedings paper fulltext, fulltext:print).
- Towards Explainable, Compliant and Adaptive Human-Automation Interaction. In Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020), volume 2891 of CEUR Workshop Proceedings, 2020. (External link, fulltext:print).
- Proof-theoretic Conservativity for HOL with Ad-hoc Overloading. In Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Lecture Notes in Computer Science, pp 23-42, Springer, 2020. (DOI, External link).
- Unspoken Assumptions in Multi-layer Modularity maximization. In Scientific Reports, volume 10, number 1, NATURE PUBLISHING GROUP, 2020. (DOI, Fulltext, fulltext:print).
- Multilayer network simplification: Approaches, models and methods. In Computer Science Review, volume 36, 2020. (DOI).
- A structured approach to selecting the most suitable log management system for an organization. Student thesis, supervisor: Isak Isacsson, examiner: Lars-Åke Nordén, Karl Marklund, UPTEC IT nr 20017, 2020. (fulltext).
- Particle Filter with Rejection Control and Unbiased Estimator of the Marginal Likelihood. In ICASSP 2020: 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 5860-5864, 2020. (DOI).
- Probabilistic programming for birth-death models of evolution using an alive particle filter with delayed sampling. In The 35th Uncertainty in Artificial Intelligence Conference (UAI), Proceedings of Machine Learning Research, pp 679-689, JOURNAL MACHINE LEARNING RESEARCH, San Diego, 2020.
- Parallel Graph-Based Stateless Model Checking. In Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science (LNCS), pp 377-393, 2020. (DOI).
- Wrapping a NoSQL Datastore for Stream Analytics. In 2020 IEEE 21st International Conference On Information Reuse And Integration For Data Science (IRI 2020), pp 301-305, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
- Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. Volume 12073 of Lecture Notes in Computer Science, Springer, Cham, 2020. (DOI).
- Reshape your layouts, not your programs: A safe language extension for better cache locality. In Science of Computer Programming, volume 197, 2020. (DOI).
- Clearing the Shadows: Recovering Lost Performance for Invisible Speculative Execution through HW/SW Co-Design. In PACT ’20: Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques, International Conference on Parallel Architectures and Compilation Techniques, pp 241-254, Association for Computing Machinery (ACM), 2020. (DOI, External link).
- A Twitter-Based Study of the European Internet of Things. In Information Systems Frontiers, volume 23, number 1, pp 135-149, 2020. (DOI, Fulltext, fulltext:print).
- Graph-theoretic approaches and tools for quantitatively assessing curricula coherence. In European Journal of Engineering Education, volume 46, number 3, pp 344-363, 2020. (DOI).
- Reformulations of Constraint Satisfaction Problems: A Survey. 2020. (fulltext).
- Improving Program Locality in the GC using Hotness. In PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 301-313, ASSOC COMPUTING MACHINERY, 2020. (DOI).
- ThinGC: complete isolation with marginal overhead. In ISMM 2020: Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management, pp 74-86, Association for Computing Machinery (ACM), 2020. (DOI).
- User-centric Performance Optimization with Remote Radio Head Cooperation in C-RAN. In IEEE Transactions on Wireless Communications, volume 19, number 1, pp 340-353, 2020. (DOI, External link).
- Leveraging Muiti-cell NOMA for Cell Edge. In 2020 IEEE International Conference on Advanced Networks and Telecommunications Systems (IEEE ANTS), IEEE International Conference on Advanced Networks and Telecommunication Systems, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
- Towards Pricing for Sensor-Cloud. In IEEE Transactions on Cloud Computing, volume 8, number 4, pp 1018-1029, 2020. (DOI).
- Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers. In Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, pp 253-269, Association for Computing Machinery (ACM), 2020. (DOI, Fulltext).
- A Mechanised Semantics for HOL with Ad-hoc Overloading. In , EPiC Series in Computing, pp 498-515, 2020. (DOI, Fulltext, External link).
- Automating regression testing on fat clientsAutomatiska regressionstester av feta klienter. Student thesis, supervisor: Ingemar Wararak, examiner: Lars-Åke Nordén, Lars-Henrik Eriksson, UPTEC IT nr 20010, 2020. (fulltext).
2019
- Optimal stateless model checking for reads-from equivalence under sequential consistency. In Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM), 2019. (DOI, Fulltext, External link, fulltext:print).
- BS-assisted Task Offloading for D2D Networks with Presence of User Mobility. In 2019 IEEE 89TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2019-SPRING), IEEE Vehicular Technology Conference Proceedings, IEEE, 2019. (DOI).
- Teachers’ Awards: an Incentive for Pedagogical Development in Saudi Arabia. In 2019 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2019. (DOI).
- Molecular Drivers of Crystallization Kinetics for Drugs in Supersaturated Aqueous Solutions. In Journal of Pharmaceutical Sciences, volume 108, number 1, pp 252-259, ELSEVIER SCIENCE INC, 2019. (DOI, fulltext:print).
- TOOLympics 2019: An overview of competitions in formal methods. In Tools and Algorithms for the Construction and Analysis of Systems: 25 years of TACAS, Part III, volume 11429 of Lecture Notes in Computer Science, pp 3-24, Springer, 2019. (DOI, Fulltext, fulltext:print).
- Exploring declarative local-search neighbourhoods with constraint programming. In Principles and Practice of Constraint Programming, volume 11802 of Lecture Notes in Computer Science, pp 37-53, Springer, Switzerland, 2019. (DOI).
- Generating compound moves in local search by hybridisation with complete search. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research, volume 11494 of Lecture Notes in Computer Science, pp 95-111, Springer, 2019. (DOI).
- Run, Actor, Run: Towards Cross-Actor Language Benchmarking. In AGERE 2019 Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp 41-50, Association for Computing Machinery (ACM), 2019. (DOI, fulltext:postprint).
- The MaRiQ model: A quantitative approach to risk management. Student thesis, supervisor: Emelie Eriksson Thörnell, Martin Bergling, examiner: Elísabet Andrésdóttir, Björn Victor, UPTEC STS nr 19017, 2019. (fulltext).
- Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report. In , pp 184-196, Association for Computing Machinery (ACM), 2019. (DOI, External link).
- Resource Optimization for Joint LWA and LTE-U in Load-Coupled and Multi-Cell Networks. In IEEE Communications Letters, volume 23, number 2, pp 330-333, 2019. (DOI).
- Optimizing Retention-Aware Caching in Vehicular Networks. In IEEE Transactions on Communications, volume 67, number 9, pp 6139-6152, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
- Accurate optimization models for interference constrained bandwith allocation in cellular networks. In Computers & Operations Research, volume 101, pp 1-12, 2019. (DOI).
- Godot: All the Benefits of Implicit and Explicit Futures. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019), volume 134 of Leibniz International Proceedings in Informatics (LIPIcs), 2019. (DOI, Fulltext, External link, fulltext:print).
- Courses-Concepts-Graphs as a Tool to Measure the Importance of Concepts in University Programmes. In 2019 18th European Control Conference (ECC), pp 3076-3083, IEEE, 2019. (DOI).
- Multiple Authentic Project-Based Experiences and Persistent Learning?. In 2019 IEEE Frontiers in Education Conference (FIE 2019), Frontiers in Education Conference, IEEE, 2019. (DOI).
- Finding mislabeled data in datasets: A study on finding mislabeled data in datasetsby studying loss function. Student thesis, supervisor: Johan Nyberg, examiner: Elísabet Andrésdóttir, Michael Ashcroft, UPTEC STS nr 19028, 2019. (fulltext).
- Comparing node degrees in probabilistic networks. In Journal of Complex Networks, volume 7, number 5, pp 749-763, 2019. (DOI).
- Local measures for probabilistic networks. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2019-004, Uppsala University, 2019. (fulltext).
- Reasoning about knowledge and messages in asynchronous multi-agent systems. In Mathematical Structures in Computer Science, volume 29, number 1, pp 127-168, 2019. (DOI).
- Quantitative analysis of curricula coherence using directed graphs. In IFAC-PapersOnLine, volume 52, number 9, pp 318-323, ELSEVIER, 2019. (DOI).
- Stateless model checking of the Linux kernel's read-copy update (RCU). In International Journal on Software Tools for Technology Transfer, volume 21, number 3, pp 287-306, SPRINGER HEIDELBERG, 2019. (DOI, Fulltext, fulltext:print).
- An Analysis of the Consequences of the General Data Protection Regulation on Social Network Research. In ACM Transactions on Social Computing, volume 2, number 3, Association for Computing Machinery (ACM), 2019. (DOI, fulltext:postprint).
- Performance of an OO compute kernel on the JVM: Revisiting Java as a language for scientific computing applications. In Proc. 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, pp 144-156, ACM Press, New York, 2019. (DOI).
- Performance of an OO compute kernel on the JVM: Revisiting Java as a language for scientific computing applications (extended version). Technical report / Department of Information Technology, Uppsala University nr 2019-007, 2019. (External link, fulltext).
- Load Coupling and Energy Optimization in Multi-Cell and Multi-Carrier NOMA Networks. In IEEE Transactions on Vehicular Technology, volume 68, number 11, pp 11323-11337, 2019. (DOI).
- Comparison of NoSQL Datastores for Large Scale Data Stream Log Analytics. In 2019 IEEE International Conference on Smart Computing (SMARTCOMP), pp 478-480, IEEE, 2019. (DOI).
- Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work. In ACM Computing Surveys, volume 51, number 6, 2019. (DOI).
- Observing the tech, using meetup data to observe the evolution of the discourse around IoT. In Selected Papers of Internet Research, SPIR, Annual Conference of the Association of Internet Researchers, 2019. (DOI).
- Concolic Testing of Higher-order Functional Languages. In Electronic Proceedings in Theoretical Computer Science, pp 2-2, Open Publishing Association, 2019. (Abstrakt).
- Metrics for Temporal Text Networks. In Temporal Network Theory, pp 147-160, Springer, 2019. (DOI, fulltext:preprint).
- Machine-Assisted Reformulation for MiniZinc. In , 2019. (fulltext:postprint).
- Towards Efficient Algorithms for Constraint Satisfaction Problems. In , 2019. (fulltext:postprint).
- Towards Efficient Solvers for Optimisation Problems. In Proc. 19th International Symposium on Cluster, Cloud and Grid Computing, IEEE-ACM International Symposium on Cluster Cloud and Grid Computing, pp 169-172, 2019. (DOI).
- Routing and wavelength assignment vs EDFA reliability performance in optical backbone networks: An operational cost perspective. In Optical Switching and Networkning Journal, volume 31, pp 211-217, 2019. (DOI).
- Network Optimization of Evolving Mobile Systems with Presence of Interference Coupling. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1843, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext, preview image).
- Joint Resource Allocation for Latency-Sensitive Services Over Mobile Edge Computing Networks With Caching. In IEEE Internet of Things Journal, volume 6, number 3, pp 4283-4294, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
- Announcement as effort on topological spaces. In Synthese, volume 196, number 7, pp 2927-2969, 2019. (DOI, Fulltext).
- Progress Report: Exploring API Design for Capabilities for Programming with Arrays. In Proceedings Of The 12Th Workshop On Implementation, Compilation And Optimization Of Object-Oriented Languages, Programs And Systems (ICOOOLPS' 19), Association for Computing Machinery (ACM), New York, 2019. (DOI).
2018
- Optimal Stateless Model Checking under the Release-Acquire Semantics. In Proceedings of the ACM on Programming Languages, volume 2, number OOPSLA, pp 1-29, Association for Computing Machinery (ACM), 2018. (DOI, Fulltext, fulltext:print).
- On optimal proactive and retention-aware caching with user mobility. In 2018 IEEE 88th Vehicular Technology Conference (VTC-Fall), IEEE Vehicular Technology Conference Proceedings, IEEE, 2018. (DOI).
- Changing the Educational Epistemologies of Computer Science Teachers: A Case Study of the Kingdom of Saudi Arabia. In 2018 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, IEEE, Piscataway, NJ, 2018. (DOI).
- Computer science teachers perspectives on competencies: A case study in the Kingdom of Saudi Arabia. In Informatics in Schools. Fundamentals of Computer Science and Software Engineering, volume 11169 of Lecture Notes in Computer Science, pp 129-140, Springer, 2018. (DOI).
- Effective Techniques for Stateless Model Checking. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1602, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Optimal dynamic partial order reduction with observers. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10806 of Lecture Notes in Computer Science, pp 229-248, Springer, 2018. (DOI, Fulltext, Förlagets fulltext - Bok, fulltext:print).
- International Workshop on Mining Attributed Networks (MATNET 2018) Chairs' Welcome. In WWW '18: Companion Proceedings of the Web Conference 2018, pp 1231-1233, Association for Computing Machinery (ACM), 2018. (DOI).
- Preface for the special issue on Interaction and Concurrency Experience 2016. In The Journal of logical and algebraic methods in programming, volume 98, pp 26-26, 2018. (DOI).
- Declarative local-search neighbourhoods in MiniZinc. In PROCEEDINGS OF THE 2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), pp 98-105, IEEE Computer Society, 2018. (DOI).
- Using XGBoost to classify theBeihang Keystroke Dynamics Database. Student thesis, supervisor: David Strömberg, Daniel Lindberg, examiner: Tomas Nyberg, Michael Ashcroft, UPTEC F nr 18049, 2018. (fulltext).
- C?: A New Modular Approach to Implementing Efficient and Tunable Collections. In Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2018), pp 57-71, ACM, 2018. (DOI).
- Structured Data. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1749, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Quantifying layer similarity in multiplex networks: a systematic study. In Royal Society Open Science, volume 5, number 8, ROYAL SOC, 2018. (DOI, Fulltext, fulltext:print).
- Attached and Detached Closures in Actors. In Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp 54-61, ACM Digital Library, 2018. (DOI).
- Bestow and Atomic: Concurrent programming using isolation, delegation and grouping. In The Journal of logical and algebraic methods in programming, volume 100, pp 130-151, 2018. (DOI).
- Capability-Based Type Systems for Concurrency Control. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1611, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- OOlong: An Extensible Concurrent Object Calculus. In SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, pp 1022-1029, 2018. (DOI, fulltext:postprint).
- OOlong: A Concurrent Object Calculus for Extensibility and Reuse. In ACM SIGAPP Applied Computing Review, volume 18, number 4, pp 47-60, Association for Computing Machinery, 2018. (DOI).
- Cost-optimal caching for D2D networks with user mobility: Modeling, analysis, and computational approaches. In IEEE Transactions on Wireless Communications, volume 17, number 5, pp 3082-3094, 2018. (DOI).
- Device caching for network offloading: Delay minimization with presence of user mobility. In IEEE Wireless Communications Letters, volume 7, number 4, pp 558-561, 2018. (DOI).
- Exploring properties of a telecommunication protocol with message delay using interactive theorem prover. In Software Engineering and Formal Methods, volume 10886 of Lecture Notes in Computer Science, pp 239-253, Springer, 2018. (DOI).
- Thematic ranking of object summaries for keyword search. In Data & Knowledge Engineering, volume 113, pp 1-17, 2018. (DOI).
- A generalized force-directed layout for multiplex sociograms. In Social Informatics: 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I, volume 0302-9743 of Lecture Notes in Computer Science, pp 212-227, Springer, 2018. (DOI).
- Forward to a Promising Future. In Conference proceedings COORDINATION 2018, 2018. (fulltext:preprint).
- The impact of opt-in gamification on students' grades in a software design course. In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp -97, ACM Publications, New York, NY, USA, 2018. (DOI).
- Correctness of a concurrent object collector for actor languages. In Programming Languages and Systems, volume 10801 of Lecture Notes in Computer Science, pp 885-911, Springer, 2018. (DOI, Fulltext).
- Safely Abstracting Memory Layouts. In 20th Workshop on Formal Techniques for Java-like Programs, 2018. (External link).
- Model-theoretic Conservative Extension of Definitional Theories. In Electronic Notes in Theoretical Computer Science, volume 338, pp 133-145, 2018. (DOI, Fulltext, fulltext:print).
- From Interaction to Participation: The Role of the Imagined Audience in Social Media Community Detection and an Application to Political Communication on Twitter. In 2018 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 531-534, IEEE Computer Society, 2018. (DOI).
- How students get going: Triggers for students' learning in project-based education. In Proc. 23rd Conference on Innovation and Technology in Computer Science Education, pp 117-122, ACM Press, New York, 2018. (DOI).
- HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. In Proceedings of the 30th Symposium on Implementation and Application ff Functional Languages (IFL 2018), pp 25-36, Association for Computing Machinery (ACM), 2018. (DOI).
- Understanding initial undergraduate expectations and identity in computing studies. In European Journal of Engineering Education, volume 43, number 2, pp 201-218, 2018. (DOI).
- Queue Delegation Locking. In IEEE Transactions on Parallel and Distributed Systems, volume 29, number 3, pp 687-704, IEEE COMPUTER SOC, 2018. (DOI).
- Effective Stateless Model Checking for C/C++ Concurrency. In Proceedings of the ACM on Programming Languages, volume 2, number POPL, pp 1-32, ACM Press, 2018. (DOI, Fulltext, fulltext:print).
- Efficient minimum-energy scheduling with machine-learning based predictions for multiuser MISO systems. In Proc. International Conference on Communications: ICC 2018, IEEE Communications Society, 2018. (DOI).
- Power and Load Optimization in Interference-Coupled Non-Orthogonal Multiple Access Networks. In 2018 IEEE Global Communications Conference (GLOBECOM), IEEE Global Communications Conference, IEEE, 2018. (DOI).
- A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention. Technical report / Department of Information Technology, Uppsala University nr 2018-003, 2018. (fulltext).
- A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention. Technical report / Department of Information Technology, Uppsala University nr 2013-025, 2018. (fulltext).
- Automating Targeted Property-Based Testing. In IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), IEEE International Conference on Software Testing Verification and Validation, pp 70-80, IEEE, 2018. (DOI).
- Delayed sampling and automatic Rao-Blackwellization of probabilistic programs. In Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS), Lanzarote, Spain, April, 2018, Proceedings of Machine Learning Research, 2018. (External link).
- Why are we here?: The educational value model (EVM) as a framework to investigate the role of students’ professional identity development. In 2018 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, IEEE, Piscataway, NJ, 2018. (DOI).
- Application of the German Traffic Sign Recognition Benchmark on the VGG16 network using transfer learning and bottleneck features in Keras. Student thesis, supervisor: Magnus Lundstedt, examiner: Tomas Nyberg, Michael Ashcroft, UPTEC F nr 18 003, 2018. (fulltext).
- A contention adapting approach to concurrent ordered sets. In Journal of Parallel and Distributed Computing, volume 115, pp 1-19, ACADEMIC PRESS INC ELSEVIER SCIENCE, 2018. (DOI).
- Progress on Algorithms for Stateless Model Checking. In Proceedings of the Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, OPEN PUBL ASSOC, 2018. (DOI, External link).
- Extending SHAPES for SIMD Architectures –: An approach to native support for Struct of Arrays in languages. In 13th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop, 2018. (External link).
- Partial and Overlapping Community Detection in Multiplex Social Networks. In 10th International Conference on Social Informatics (SocInfo2018 ), volume 11186 of Lecture Notes in Computer Science, pp 15-28, Springer, 2018. (DOI).
- Foundations of Temporal Text Networks. In Applied Network Science, volume 3, number 25, 2018. (DOI, Fulltext, fulltext:print).
- Optical Interconnect Architectures for Datacenters. In 2018 IEEE Photonics Conference (IPC), IEEE Photonics Conference, IEEE, 2018. (DOI).
- Reliability performance aware routing. In Proc. 10th International Workshop on Resilient Networks Design and Modeling, IEEE, 2018. (DOI).
- Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1684, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Lock-free Contention Adapting Search Trees. In The 30th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, New York, NY, USA, 2018. (DOI).
- Resource Optimization With Flexible Numerology and Frame Structure for Heterogeneous Services. In IEEE Communications Letters, volume 22, number 12, pp 2579-2582, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
- Resource optimization with load coupling in multi-cell NOMA. In IEEE Transactions on Wireless Communications, volume 17, number 7, pp 4735-4749, 2018. (DOI).
- Private announcements on topological spaces. In Studia Logica: An International Journal for Symbolic Logic, volume 106, number 3, pp 481-513, 2018. (DOI, Fulltext).
- Parallel Programming With Arrays in Kappa. In 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018. (External link).
2017
- Comparing source sets and persistent sets for partial order reduction. In Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, volume 10460 of Lecture Notes in Computer Science, pp 516-536, Springer, 2017. (DOI).
- Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. In Journal of the ACM, volume 64, number 4, Association for Computing Machinery (ACM), 2017. (DOI).
- Stateless model checking for TSO and PSO. In Acta Informatica, volume 54, number 8, pp 789-818, 2017. (DOI).
- Why do female students choose to study CS in the Kingdom of Saudi Arabia?. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 49-53, IEEE Computer Society, 2017. (DOI, fulltext:postprint).
- MiniZinc with strings. In Logic-Based Program Synthesis and Transformation, volume 10184 of Lecture Notes in Computer Science, pp 59-75, Springer, 2017. (DOI).
- Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking. In , volume 10510 of Lecture Notes in Computer Science, pp 227-242, Springer, Cham, 2017. (DOI, fulltext:postprint).
- The shared-memory interferences of Erlang/OTP built-ins. In Proceedings Of The 16Th Acm Sigplan International Workshop On Erlang (Erlang '17), pp 43-54, Association for Computing Machinery (ACM), New York, 2017. (DOI, fulltext:postprint).
- Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15). In Science of Computer Programming, volume 137, pp 1-1, ELSEVIER SCIENCE BV, 2017. (DOI).
- Proc. 10th Interaction and Concurrency Experience. Volume 261 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017. (DOI, Fulltext).
- A Join Operator for Property Graphs. In EDBT/ICDT Workshops, 2017.
- Deriving Probability Density Functions from Probabilistic Functional Programs. In Logical Methods in Computer Science, volume 13, number 2, 2017. (DOI, Fulltext).
- Mining for Safety using Interactive Trace Analysis. In Pre-Proceedings - Fifteenth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017. (Pre-Proceedings, fulltext:print).
- Spencer: Interactive Heap Analysis for the Masses. In 2017 IEEE/ACM 14th International Conference on Mining Software Repositories (MSR 2017), IEEE International Working Conference on Mining Software Repositories, pp 113-123, IEEE, 2017. (DOI, External link, fulltext:postprint).
- Multiple time-series forecasting on mobile network data using an RNN-RBM model. Student thesis, supervisor: Tor Kvernvik, examiner: Tomas Nyberg, Justin Pearson, UPTEC F nr 17005, 2017. (fulltext).
- Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Modelling and verification of user interactions using constraint programming. In Proc. 3rd International Conference on Software Quality, Reliability and Security, pp 541-547, IEEE Computer Society, 2017. (DOI).
- Actors without Borders: Amnesty for Imprisoned State. In , pp 10-20, 2017. (DOI, Fulltext, Fulltext, fulltext:postprint).
- Reference Capabilities for Concurrency & Scalability: an Experience Report. In , 2017. (fulltext:preprint).
- Relaxed Linear References for Lock-free Data Structures. In , pp 47:1-47:31, 2017. (DOI, Fulltext, External link, fulltext:postprint).
- Types for CAS: Relaxed Linearity with Ownership Transfer. 2017.
- Orca: GC and Type System Co-design for Actor Languages. In Proceedings of the ACM on Programming Languages, volume 1, number OOPSLA, pp 1-28, ACM, 2017. (DOI, Fulltext, External link, fulltext:print).
- A survey of active object languages. In ACM Computing Surveys, volume 50, number 5, Association for Computing Machinery (ACM), 2017. (DOI).
- Auto-tabling for subproblem presolving in MiniZinc. In Constraints, volume 22, number 4, pp 512-529, 2017. (DOI, Fulltext).
- Cost-Optimal Caching for D2D Networks with Presence of User Mobility. In GLOBECOM 2017 - 2017 IEEE Global Communications Conference, IEEE Global Communications Conference, IEEE, 2017. (DOI).
- Affine killing: Semantics for stopping the ParT. In Proc. 2nd International Workshop on Type-Driven Development, ACM Press, New York, 2017. (fulltext:postprint).
- Analysis, synthesis and application of automaton-based constraint descriptions. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1591, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image, errata).
- Automatic generation of descriptions of time-series constraints. In IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), Proceedings-International Conference on Tools With Artificial Intelligence, pp 102-109, IEEE Computer Society, 2017. (DOI).
- You can have it all: abstraction and good cache performance. In Onward! 2017: Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp 148-167, Association for Computing Machinery (ACM), 2017. (DOI, fulltext:print).
- Shortest Paths in Multiplex Networks. In Scientific Reports, volume 7, 2017. (DOI, Fulltext, fulltext:print).
- Concolic testing for functional languages. In Science of Computer Programming, volume 147, pp 109-134, 2017. (DOI).
- Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). In Proc. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, pp 172-181, ACM Press, New York, 2017. (DOI).
- A deep learning approach for optimizing content delivering in cache-enabled HetNet. In Proc. 14th International Symposium on Wireless Communication Systems, pp 449-453, IEEE, 2017. (DOI).
- Blockchain technology in Scania Services: An investigative study of how blockchain technology can be utilized by Scania. Student thesis, supervisor: Susan Miller Tiedemann, examiner: Elísabet Andrésdóttir, Björn Victor, UPTEC STS nr 17031, 2017. (fulltext).
- Targeted property-based testing. In Proc. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp 46-56, ACM Press, New York, 2017. (DOI).
- Introduction to the special issue on multilayer networks. In NETWORK SCIENCE, volume 5, number 2, pp 141-143, CAMBRIDGE UNIV PRESS, 2017. (DOI).
- The authenticity of 'authentic' assessment: Some faculty perceptions. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- VisDM-A Data Stream Visualization Platform. In Database Systems For Advanced Applications (DASFAA 2017), Proceedings Pt II, volume 10178 of Lecture Notes in Computer Science, pp 677-680, SPRINGER INTERNATIONAL PUBLISHING AG, 2017. (DOI).
- Examining manual and semi-automated methods of analysing MOOC data for computing education. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 153-157, ACM Press, New York, 2017. (DOI).
- Exploring the critical incident technique to encourage reflection during project-based learning. In Proc. 17th International Conference on Computing Education: Koli Calling, pp 88-97, ACM Press, New York, 2017. (DOI).
- Open-ended projects opened up – aspects of openness. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Why are we here?: Student perspectives on the goal of STEM higher education. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Weak Nominal Modal Logic. In Formal Techniques for Distributed Objects, Components, and Systems, volume 10321 of Lecture Notes in Computer Science, pp 179-193, Springer, 2017. (DOI).
- Typed connector families and their semantics. In Science of Computer Programming, volume 146, pp 28-49, 2017. (DOI).
- The Contention Avoiding Concurrent Priority Queue. In Languages and Compilers for Parallel Computing, volume 10136 of Lecture Notes in Computer Science, pp 314-330, Springer, 2017. (DOI).
- Design and implementation of bounded-length sequence variables. In Integration of AI and OR Techniques in Constraint Programming, volume 10335 of Lecture Notes in Computer Science, pp 51-67, 2017. (DOI).
- Scaling Reliably: Improving the scalability of the Erlang distributed actor platform. In ACM Transactions on Programming Languages and Systems, volume 39, number 4, 2017. (DOI).
- A Radar Signal Processing Case Study for Dataflow Programming of Manycores. In Journal of Signal Processing Systems, volume 87, number 1, pp 49-62, 2017. (DOI).
- A perspective from Vietnamese students on teaching of soft skills. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 23-24, IEEE Computer Society, 2017. (DOI).
- Digital Capital: A platform for developing computational thinking. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 205-206, ACM Press, New York, 2017. (DOI).
- What computing instructors did last summer: Experiences and lessons learned. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Device Reliability Performance Awareness: Impact of RWA on EDFA Failure Reparation Cost in Optical Networks. In Proceedings of 2017 9Th International Workshop On Resilient Networks Design And Modeling (Rndm), IEEE, 2017.
- Mastery Learning-Like Teaching with Achievements. In , 2017. (fulltext:postprint).
- Scalable validation of industrial equipment using a functional DSMS. In Journal of Intelligent Information Systems, volume 48, number 3, pp 553-577, 2017. (DOI, Fulltext, fulltext:print).
- Type-assisted automatic garbage collection for lock-free data structures. In SIGPLAN notices, volume 52, number 9, pp 14-24, ACM Press, New York, 2017. (DOI).
- A Framework for Optimizing Multi-cell NOMA: Delivering Demand with Less Resource. In GLOBECOM 2017 - 2017 IEEE Global Communications Conference, IEEE Global Communications Conference, IEEE, 2017. (DOI).
- Energy-Aware Wireless Relay Selection in Load-Coupled OFDMA Cellular Networks. In IEEE Communications Letters, volume 21, number 1, pp 144-147, Institute of Electrical and Electronics Engineers (IEEE), 2017. (DOI).
- Joint CoMP-Cell Selection and Resource Allocation in Fronthaul-Constrained C-RAN. In Proc. 15th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, IEEE, 2017. (DOI).
- From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data Types. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1603, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
2016
- Recency-Bounded Verification of Dynamic Database-Driven Systems. In PODS'16: PROCEEDINGS OF THE 35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, pp 195-210, 2016. (DOI).
- Women in computing in Saudi Arabia. In Proc. 3rd ACM-W Europe Celebration of Women in Computing, pp 1-3, 2016. (fulltext:print).
- Semantic Web Queries over Scientific Data. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 121, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
- Global Constraint Catalog: Volume II, time-series constraints. Computing Research Repository nr 1609.08925, 2016. (External link).
- Systematic derivation of bounds and glue constraints for time-series constraints. In Principles and Practice of Constraint Programming: CP 2016, volume 9892 of Lecture Notes in Computer Science, pp 13-29, Springer, 2016. (DOI).
- Time-series constraints: Improvements and application in CP and MIP contexts. In Integration of AI and OR Techniques in Constraint Programming, volume 9676 of Lecture Notes in Computer Science, pp 18-34, Springer, 2016. (DOI).
- Multi-domain alias matching using machine learning. In Proc. 3rd European Network Intelligence Conference, pp 77-84, IEEE, 2016. (DOI, fulltext:postprint).
- Multilayer Analysis of Online Illicit Marketplaces. In 2016 European Intelligence And Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 199-199, IEEE, 2016. (DOI).
- Framework for real-time clustering over sliding windows. In Proc. 28th International Conference on Scientific and Statistical Database Management, pp 1-13, ACM Press, New York, 2016. (DOI).
- Real-time data stream clustering over sliding windows. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1431, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
- Preface. In Electronic Proceedings in Theoretical Computer Science, number 223, OPEN PUBL ASSOC, 2016.
- Proc. 9th Interaction and Concurrency Experience. Volume 223 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2016. (DOI, Fulltext).
- Psi-Calculi in Isabelle. In Journal of automated reasoning, volume 56, number 1, pp 1-47, 2016. (DOI).
- Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing. In , 2016. (DOI).
- A Lambda-Calculus Foundation for Universal Probabilistic Programming. In SIGPLAN notices, volume 51, number 9, pp 33-46, 2016. (DOI, fulltext:postprint).
- A Sorted Semantic Framework for Applied Process Calculi. In Logical Methods in Computer Science, volume 12, number 1, pp 1-49, 2016. (DOI, Fulltext, fulltext:postprint).
- Fabular: Regression formulas as probabilistic programming. In Proc. 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 51(1) of ACM SIGPLAN Notices, pp 271-283, ACM Press, New York, 2016. (DOI, fulltext:postprint).
- A formal model of service-oriented dynamic object groups. In Science of Computer Programming, volume 115–116, pp 3-22, 2016. (DOI).
- Extended versions of papers presented at WS-FM 2014 and Beat 2014. In Formal Aspects of Computing, volume 28, number 4, pp 529-530, 2016. (DOI).
- Active learning for extended finite state machines. In Formal Aspects of Computing, volume 28, number 2, pp 233-263, 2016. (DOI).
- Determining progress in writing competency by assessing students’ argumentation. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
- Kappa: Insights, Current Status and Future Work. In , 2016. (Extended abstract, fulltext:postprint).
- LOLCAT: Relaxed Linear References for Lock-free Programming. Technical report / Department of Information Technology, Uppsala University nr 2016-013, 2016. (fulltext).
- Reference Capabilities for Concurrency Control. In ECOOP 2016 — Object-Oriented Programming, 2016. (fulltext:postprint).
- Reference Capabilities for Trait Based Reuse and Concurrency Control. Technical report / Department of Information Technology, Uppsala University nr 2016-007, 2016. (fulltext).
- Types for CAS: Relaxed Linearity with Ownership Transfer. In , 2016. (fulltext:postprint).
- Vats: A safe, reactive storage abstraction. In Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, volume 9660 of Lecture Notes in Computer Science, pp 140-154, Springer, 2016. (DOI).
- Multilayer Social Networks. Cambridge University Press, 2016.
- ParT: An asynchronous parallel abstraction for speculative pipeline computations. In Coordination Models and Languages, volume 9686 of Lecture Notes in Computer Science, pp 101-120, Springer, 2016. (DOI).
- Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations. In , 2016. (Fulltext, fulltext:postprint).
- Kleene Algebras with Domain. In Archive of Formal Proofs, 2016. (External link).
- Languages, Logics, Types and Tools for Concurrent System Modelling. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1392, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext).
- Cloud-assisted data fusion and sensor selection for Internet of Things. In IEEE Internet of Things Journal, volume 3, number 3, pp 257-268, 2016. (DOI).
- Writing to learn programming?: A single case pilot study. In Proc. 16th International Conference on Computing Education Research: Koli Calling, pp 140-144, ACM Press, New York, 2016. (DOI).
- A procedure for splitting data-aware processes and its application to coordination. In Science of Computer Programming, volume 115–116, pp 47-78, 2016. (DOI).
- Implementing a secure abstract machine. In Proc. 31st ACM Symposium on Applied Computing, pp 2041-2048, ACM Press, New York, 2016. (DOI).
- Protecting Functional Programs From Low-Level Attackers. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 124, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
- UrbanSense: An Urban-Scale Sensing Platform for the Internet of Things. In IEEE Second International Smart Cities Conference (ISC2 2016), pp 763-768, 2016.
- The Nifty way to call hell from heaven. In Proc. 15th International Workshop on Erlang, pp 1-11, ACM Press, New York, 2016. (DOI).
- Using indirect blockmodeling for monitoring students roles in collaborative learning networks. In 2016 IEEE 20th International Conference on Computer Supported Cooperative Work in Design (CSCWD), International Conference on Computer Supported Cooperative Work in Design, pp 164-169, 2016.
- Integrating Visual Data Flow Programming with Data Stream Management. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 128, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
- A parametric propagator for pairs of SUM constraints with a discrete convexity property. In Artificial Intelligence, volume 241, pp 170-190, 2016. (DOI).
- Feature Nets: Behavioural modelling of software product lines. In Software and Systems Modeling, volume 15, number 4, pp 1181-1206, 2016. (DOI).
- Social Network Analysis in Applications. In AI Communications, volume 29, number 1, pp 55-56, 2016. (DOI).
- Personalized Mobile-Assisted Smart Transportation. In 2016 Digital Media Industry And Academic Forum (DMIAF), pp 158-160, 2016.
- General conditions for full abstraction. In Mathematical Structures in Computer Science, volume 26, number 4, pp 655-657, 2016. (DOI).
- The largest respectful function. In Logical Methods in Computer Science, volume 12, number 2, 2016. (DOI, Fulltext, fulltext:print).
- A critical analysis of trends in student-centric engineering education and their implications for learning. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
- Typed Connector Families. In Formal Aspects Of Component Software, volume 9539 of Lecture Notes in Computer Science, pp 294-311, Springer, 2016. (DOI).
- Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar. Volume 2016-002 of Technical report / Department of Information Technology, Uppsala University, 2016. (External link).
- Predictive analysis at Krononfogden: Classifying first-time debtors with an uplift model. Student thesis, supervisor: Mårten Janerud, examiner: Elísabet Andrésdóttir, Michael Ashcroft, UPTEC STS nr 16036, 2016. (fulltext).
- Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable Types. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 120, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
- Effects of missing data in multilayer networks. In Social Network Analysis and Mining, volume 6, number 1, 2016. (DOI).
- Scalable long-term preservation of relational data through SPARQL queries. In Semantic Web, volume 7, number 2, pp 117-137, 2016. (DOI).
- Main-Memory Query Processing Utilizing External Indexes. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1352, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
- Efficient filtering for the unary resource with family-based transition times. In Principles and Practice of Constraint Programming: CP 2016, volume 9892 of Lecture Notes in Computer Science, pp 520-535, Springer, 2016. (DOI).
- A new approach to role and position detection in networks. In SOCIAL NETWORK ANALYSIS AND MINING, volume 6, number 1, 2016. (DOI).
- Modelling of patterns between operational data, diagnostic trouble codes and workshop history using big data and machine learning. Student thesis, supervisor: Jonas Bitéus, examiner: Elisabet Andrésdóttir, Michael Ashcroft, UPTEC STS nr 16002, 2016. (fulltext).
- Modal Logics for Nominal Transition Systems. In Archive of Formal Proofs, 2016. (External link).
- Scrambling and descrambling SMT-LIB benchmarks. In Satisfiability Modulo Theories: SMT 2016, volume 1617 of CEUR Workshop Proceedings, pp 31-40, RWTH Aachen University, 2016. (Fulltext).
- The 2014 SMT Competition. In Journal on Satisfiability, Boolean Modeling and Computation, 2016.
- Scalable Validation of Data Streams. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1384, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
- Scalable Queries over Log Database Collections. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1343, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
- Bisimulation up-to techniques for psi-calculi. In Proc. 5th ACM SIGPLAN Conference on Certified Programs and Proofs, pp 142-153, ACM Press, New York, 2016. (DOI).
- Culling Concurrency Theory: Reusable and trustworthy meta-theory, proof techniques and separation results. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1397, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
- The Expressive Power of Monotonic Parallel Composition. In Programming Languages and Systems, volume 9632 of Lecture Notes in Computer Science, pp 780-803, Springer, Berlin, 2016. (DOI).
- Language Constructs for Safe Parallel Programming on Multi-Cores. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1319, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
2015
- Stateless model checking for TSO and PSO. In Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2015, volume 9035 of Lecture Notes in Computer Science, pp 353-367, Springer Berlin/Heidelberg, 2015. (DOI).
- Physical stability of drugs after storage above and below the glass transition temperature: Relationship to glass-forming ability. In International Journal of Pharmaceutics, volume 495, number 1, pp 312-317, 2015. (DOI, fulltext:print).
- Addressing concept drift to improve system availability by updating one-class data-driven models. In Evolving Systems, volume 6, number 3, pp 187-198, 2015. (DOI).
- Spatio-Temporal Gridded Data Processing on the Semantic Web. In 2015 IEEE International Conference On Data Science And Data Intensive Systems, pp 38-45, 2015. (DOI).
- A step towards detecting online grooming: Identifying adults pretending to be children. In Proc. 5th European Intelligence and Security Informatics Conference, pp 98-104, IEEE Computer Society, 2015. (DOI).
- Are You Really a Child?: A Machine Learning Approach To Protect Children from Online Grooming. In Proc. National Symposium on Technology and Methodology for Security and Crisis Management: TAMSEC 2015, 2015.
- Detecting jihadist messages on twitter. In Proc. 5th European Intelligence and Security Informatics Conference, pp 161-164, IEEE Computer Society, 2015. (DOI).
- A modelling pearl with sortedness constraints. In Global Conference on Artificial Intelligence: GCAI 2015, volume 36 of EasyChair Proceedings in Computing, pp 27-41, Cool Press, Manchester, UK, 2015. (Abstract).
- On the Reification of Global Constraints (Abstract). In Principles and practice of constraint programming, CP 2015, volume 9255 of Lecture Notes in Computer Science, pp 733-733, SPRINGER-VERLAG BERLIN, 2015.
- Teaching and Learning Computer Science at Al Baha University, Saudi Arabia: Insights from a staff development course. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 1-6, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI, fulltext:preprint).
- A constraint-based local search backend for MiniZinc. In Constraints, volume 20, number 3, pp 325-345, 2015. (DOI).
- Anomaly detection with Machine learning: Quality assurance of statistical data in the Aid community. Student thesis, supervisor: Franck Rasmussen, examiner: Elisabet Andrésdóttir, Michael Ashcroft, UPTEC STS nr 15014, 2015. (fulltext).
- Broadcast psi-calculi with an application to wireless protocols. In Software and Systems Modeling, volume 14, number 1, pp 201-216, Springer, 2015. (DOI, fulltext:postprint).
- The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. In ACM Transactions on Embedded Computing Systems, volume 14, number 1, 2015. (DOI, fulltext:postprint).
- Clustering attributed graphs: models, measures and methods. In Network Science, volume 3, number 3, pp 408-444, 2015. (DOI, fulltext:postprint).
- Disjointness Domains for Fine-Grained Aliasing. In , ACM SIGPLAN NOTICES, pp 989-916, 2015. (DOI).
- Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE. In Formal Methods for Multicore Programming, volume 9104 of Lecture Notes in Computer Science, pp 1-56, 2015. (DOI).
- Modelling and analysing a WSN secure aggregation protocol: A comparison of languages and tool support. Technical report / Department of Information Technology, Uppsala University nr 2015-033, 2015. (fulltext).
- A structured approach to training open-ended problem solving. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 417-420, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Refined Ownership: Fine-grained controlled internal sharing. In Formal Methods for Multicore Programming, volume 9104 of Lecture Notes in Computer Science, pp 179-210, 2015. (DOI).
- Abstract Delta Modelling. In Mathematical Structures in Computer Science, volume 25, number 3, pp 482-527, Cambridge University Press, 2015.
- The 2013 Evaluation of SMT-COMP and SMT-LIB. In Journal of automated reasoning, volume 55, number 1, pp 61-90, 2015. (DOI).
- Competencies for paradigm shift "survival". In Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1424-1429, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Refraction: Low-cost management of reflective meta-data in pervasive component-based applications. In Proc. 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp 27-36, ACM Press, New York, 2015. (DOI).
- Enabling design of performance-controlled sensor network applications through task allocation and reallocation. In Proc. 11th International Conference on Distributed Computing in Sensor Systems, pp 248-253, IEEE Computer Society, 2015. (DOI, fulltext:postprint).
- Optimal Task Allocation in Sensor and Actuator Networks. In Proc. 11th Swedish National Computer Networking Workshop, 2015.
- ProFuN TG: A Tool Using Abstract Task Graphs to Facilitate the Development, Deployment and Maintenance of Wireless Sensor Network Applications. In Proc. Poster/Demo Session: 12th European Conference on Wireless Sensor Networks, pp 19-20, 2015.
- ProFuN TG: A tool for programming and managing performance-aware sensor network applications. In IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops), pp 751-759, IEEE Computer Society, 2015. (DOI, fulltext:preprint).
- ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency. In , IEEE Computer Society, 2015. (External link, fulltext:postprint).
- Automatic irony- and sarcasm detection in Social media. Student thesis, supervisor: Magnus Sahlgren, examiner: Tomas Nyberg, Michael Ashcroft, UPTEC F nr 15045, 2015. (fulltext).
- Implied constraints for AUTOMATON constraints. In Global Conference on Artificial Intelligence: GCAI 2015, volume 36 of EasyChair Proceedings in Computing, pp 113-126, Cool Press, Manchester, UK, 2015. (Abstract).
- Concolic Testing for Functional Languages. In Proceedings of the 17th international symposium on principles and practice of declarative programming (PPDP 2015), pp 137-148, Association for Computing Machinery (ACM), 2015. (DOI).
- Probabilistic programs as spreadsheet queries. In Programming Languages and Systems, volume 9032 of Lecture Notes in Computer Science, pp 1-25, Springer Berlin/Heidelberg, 2015. (DOI, fulltext:postprint).
- Motivation and Grade Gap Related to Gender in a Programming Course. In , 2015. (DOI).
- A constraint optimisation model for analysis of telecommunication protocol logs. In Tests and Proofs: TAP 2015, volume 9154 of Lecture Notes in Computer Science, pp 137-154, Springer, 2015. (DOI).
- Testing of a telecommunication protocol using constraint programming. In 2015 IEEE Eighth International Conference On Software Testing, Verification And Validation Workshops (ICSTW), IEEE International Conference on Software Testing Verification and Validation Workshops, 2015.
- Constraint Programming for Wireless Sensor Networks. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1219, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
- A Quadratic Extended Edge-Finding Filtering Algorithm for Cumulative Resource Constraints. In Principles and practice of constraint programming, CP 2015, volume 9255 of Lecture Notes in Computer Science, pp 738-739, SPRINGER-VERLAG BERLIN, 2015.
- A high-level model for an assembly language attacker by means of reflection. In Dependable Software Engineering: Theories, Tools, and Applications, volume 9409 of Lecture Notes in Computer Science, pp 168-182, Springer, 2015. (DOI, fulltext:preprint).
- A secure compiler for ML modules. In Programming Languages and Systems: APLAS 2015, volume 9458 of Lecture Notes in Computer Science, pp 29-48, Springer, 2015. (DOI).
- Formalizing a secure foreign function interface. In Software Engineering and Formal Methods, volume 9276 of Lecture Notes in Computer Science, pp 215-230, Springer, 2015. (DOI, fulltext:postprint).
- Defining 'Functional Products' through their constituents. In International Journal of Product Development, volume 20, number 1, pp 1-24, 2015. (DOI).
- Property-Based Testing of Sensor Networks. In Proc. 12th International Conference on Sensing, Communication, and Networking, pp 100-108, IEEE Communications Society, 2015.
- NoSQL approach to large scale analysis of persisted streams. In Data Science, volume 9147 of Lecture Notes in Computer Science, pp 152-156, Springer, 2015. (DOI).
- Utilizing a NoSQL Data Store for Scalable Log Analysis. In , pp 49-55, 2015. (DOI).
- Automated auxiliary variable elimination through on-the-fly propagator generation. In Principles and Practice of Constraint Programming: CP 2015, volume 9255 of Lecture Notes in Computer Science, pp 313-329, Springer, 2015. (DOI).
- Efficient caching for constrained skyline queries. In Extending Database Technology (EDBT), 2015.
- Multidimensional analysis of creative coding MOOC forums: a methodological discussion. In Proc. 15th International Conference on Computing Education Research: Koli Calling, pp 137-141, ACM Press, New York, 2015. (DOI).
- Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education. Volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, 2015. (Abstract).
- Forecasting Lock Contention Before Adopting Another Lock Algorithm. 2015. (fulltext).
- Modal Logics for Nominal Transition Systems. In 26th International Conference on Concurrency Theory: CONCUR 2015, volume 42 of Leibniz International Proceedings in Informatics (LIPIcs), pp 198-211, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2015. (DOI, Fulltext).
- Fully abstract trace semantics for protected module architectures. In Computer languages, systems & structures, volume 42, pp 22-45, 2015. (DOI).
- Secure compilation to protected module architectures. In ACM Transactions on Programming Languages and Systems, volume 37, number 2, 2015. (DOI).
- Implications of anonymous assessment. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 1404-1408, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Diffusion of Innovations over Multiplex Social Networks. In International Symposium on Artificial Intelligence and Signal Processing (AISP), pp 1-5, 2015. (DOI, ArXiv).
- Towards effective visual analytics on multiplex and multilayer networks. In Chaos, Solitons & Fractals, volume 72, pp 68-76, 2015. (DOI, fulltext:postprint).
- Contention adapting search trees. In Proc. 14th International Symposium on Parallel and Distributed Computing, pp 215-224, IEEE conference proceedings, 2015. (DOI).
- Multidimensional epidemic thresholds in diffusion processes over interdependent networks. In Chaos, Solitons & Fractals, volume 72, pp 59-67, 2015. (DOI).
- Spreading processes in Multilayer Networks. In IEEE Transactions on Network Science and Engineering, volume 2, number 2, pp 65-83, IEEE Computer Society, 2015. (DOI, Fulltext, fulltext:postprint).
- Contextual Healing: Privacy through Interpretation Management. In 2015 Ieee International Conference On Smart City/Socialcom/Sustaincom (Smartcity), pp 360-365, IEEE, 2015. (DOI).
- The Other Side of Privacy: Surveillance in Data Control. In British HCI 2015, pp 184-192, 2015. (DOI).
- Constraint solving on bounded string variables. In Integration of AI and OR Techniques in Constraint Programming, volume 9075 of Lecture Notes in Computer Science, pp 375-392, Springer, 2015. (DOI).
- Investigating the types and effects of missing data in multilayer networks. In International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 392-399, 2015.
- Understanding community patterns in large attributed social networks. In Proceedings Of The 2015 IEEE/ACM International Conference On Advances In Social Networks Analysis And Mining (Asonam 2015), pp 1503-1508, 2015. (DOI).
- System components of a general theory of software engineering. In Science of Computer Programming, volume 101, pp 42-65, 2015. (DOI).
- Transparent inclusion, utilization, and validation of main memory domain indexes. In Proc. 27th International Conference on Scientific and Statistical Database Management, ACM Press, New York, 2015. (DOI).
- Role and position detection in networks: reloaded. In International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 320-325, 2015.
- Scalable queries over log database collections. In Data Science, volume 9147 of Lecture Notes in Computer Science, pp 173-185, Springer, 2015. (DOI).
- Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. In The Journal of logical and algebraic methods in programming, volume 85, number 1, pp 123-124, 2015. (DOI).
- Measuring Polymorphism in Python Programs. In DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages, volume 51:2 2016 of ACM SIGPLAN Notices, pp 114-128, ACM Press, New York, 2015. (DOI).
2014
- Optimal dynamic partial order reduction. In Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 49:1 of ACM SIGPLAN NOTICES, pp 373-384, ACM Press, New York, 2014. (DOI).
- Impact of cultural and language background on learning Computer Science concepts. In Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 37-40, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI).
- Computational predictions of glass-forming ability and crystallization tendency of drug molecules. In Molecular Pharmaceutics, volume 11, number 9, pp 3123-3132, 2014. (DOI).
- Comparing a knowledge-based and a data-driven method in querying data streams for system fault detection: A hydraulic drive system application. In Computers in industry (Print), volume 65, number 8, pp 1126-1135, 2014. (DOI).
- Experimental and Computational Prediction of Glass Transition Temperature of Drugs. In JOURNAL OF CHEMICAL INFORMATION AND MODELING, volume 54, number 12, pp 3396-3403, 2014. (DOI).
- Scientific data as RDF with arrays: Tight integration of SciSPARQL queries into MATLAB. In Proc. ISWC 2014 Posters & Demonstrations Track, volume 1272 of CEUR Workshop Proceedings, pp 221-224, RWTH Aachen University, 2014. (Fulltext).
- Programming and automating mathematics in the Tarski-Kleene hierarchy. In Journal of Logical and Algebraic Methods in Programming, volume 83, number 2, pp 87-102, 2014. (DOI).
- Distributed multi-query optimization of continuous clustering queries. In Proc. VLDB 2014 PhD Workshop, 2014. (fulltext:print).
- Model-based protocol log generation for testing a telecommunication test harness using CLP. In Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI).
- Model-based protocol log generation for testing a telecommunication test harness using CLP. In 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), Design Automation and Test in Europe Conference and Expo, 2014.
- Linking prefixes and suffixes for constraints encoded using automata with accumulators. In Principles and Practice of Constraint Programming: CP 2014, volume 8656 of Lecture Notes in Computer Science, pp 142-157, Springer, 2014. (DOI).
- Propagating regular counting constraints. In Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2616-2622, AAAI Press, Palo Alto, CA, 2014. (External link).
- Toward sustainable development in constraint programming. In Constraints, volume 19, number 2, pp 139-149, 2014. (DOI).
- A Sorted Semantic Framework for Applied Process Calculi (extended abstract). In Trustworthy Global Computing: TGC 2013, volume 8358 of Lecture Notes in Computer Science, pp 103-118, Springer Berlin/Heidelberg, 2014. (DOI).
- Proc. Combined 21st International Workshop on Expressiveness in Concurrency (EXPRESS 2014) and 11th Workshop on Structural Operational Semantics (SOS 2014). Volume 160 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2014. (DOI).
- Protocol log analysis with constraint programming: Work in progress. In Satisfiability Modulo Theories: SMT 2014, volume 1163 of CEUR Workshop Proceedings, pp 17-26, RWTH Aachen University, 2014. (Fulltext).
- Enhanced learning by promoting engineering competencies. In Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 2044-2049, IEEE Press, Piscataway, NJ, 2014. (DOI, Proceedings).
- Teaching and learning with MOOCs: Computing academics' perspectives and engagement. In Proc. 19th Conference on Innovation and Technology in Computer Science Education, pp 9-14, ACM Press, New York, 2014. (DOI).
- A Case for Node-Local Runtime Parameter Adaptation in Wireless Sensor Networks. In Proc. 10th Swedish National Computer Networking Workshop, 2014.
- Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation. Computing Research Repository nr 1401.7463, 2014. (External link).
- Static safety guarantees for a low-level multithreaded language with regions. In Science of Computer Programming, volume 80, number Part B, pp 223-263, 2014. (DOI).
- Tabular: a schema-driven probabilistic programming language. In Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 49:1 of ACM SIGPLAN NOTICES, pp 321-334, ACM Press, New York, 2014. (DOI, fulltext:print).
- Advancing concurrent system verification: Type based approach and tools. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-007, Uppsala University, 2014. (fulltext).
- A constraint programming approach for managing end-to-end requirements in sensor network macroprogramming. In Proc. 3rd International Conference on Sensor Networks, pp 28-40, SciTePress, Setúbal, Portugal, 2014. (DOI).
- Energy-efficient sensor selection for data quality and load balancing in wireless sensor networks. In Proc. 22nd International Symposium on Quality of Service, pp 338-343, IEEE Communications Society, 2014. (DOI).
- Dynamic and speculative polyhedral parallelization using compiler-generated skeletons. In International journal of parallel programming, volume 42, number 4, pp 529-545, 2014. (DOI).
- Fix the code. Don't tweak the hardware: A new compiler approach to Voltage–Frequency scaling. In Proc. 12th International Symposium on Code Generation and Optimization, pp 262-272, ACM Press, New York, 2014. (URL, fulltext:postprint).
- A quadratic edge-finding filtering algorithm for cumulative resource constraints. In Constraints, volume 19, number 3, pp 243-269, 2014. (DOI).
- Brief announcement: queue delegation locking. In Proc. 26th ACM Symposium on Parallelism in Algorithms and Architectures, pp 70-72, ACM Press, New York, 2014. (DOI, fulltext:print).
- Delegation locking libraries for improved performance of multithreaded programs. In Euro-Par 2014: Parallel Processing, volume 8632 of Lecture Notes in Computer Science, pp 572-583, Springer Berlin/Heidelberg, 2014. (DOI).
- Session types for broadcasting. In Proc. 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, volume 155 of Electronic Proceedings in Theoretical Computer Science, pp 25-31, 2014. (DOI, fulltext:print).
- Large-Scale Social Network Analysis. In Large-Scale Data Analytics, pp 155-187, Springer, 2014. (DOI).
- Operational Semantics for Secure Interoperation. In Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014.
- Use of cloud services in functional products: Availability implications. In Procedia CIRP, volume 16, pp 368-372, 2014. (DOI).
- Evaluating availability of functional products through simulation. In Simulation Modelling Practice and Theory, volume 47, pp 196-209, 2014. (DOI).
- Efficient and Flexible Sensornet Checkpointing. In Wireless Sensor Networks, volume 8354, pp -65, 2014. (DOI, Conference website).
- Multiple social networks, data models and measures for. In Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
- Path-based and Whole Network Measures. In Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
- Taking the Big Picture: Representative Skylines based on Significance and Diversity. In The VLDB journal, volume 23, number 5, pp 795-815, Springer Berlin/Heidelberg, 2014. (DOI).
- A propagator design framework for constraints over sequences. In Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2710-2716, AAAI Press, Palo Alto, CA, 2014. (External link).
- Higher-order psi-calculi. In Mathematical Structures in Computer Science, volume 24, number 2, Cambridge University Press, 2014. (DOI, fulltext:postprint).
- Fully abstract trace semantics for low-level isolation mechanisms. In Symposium on Applied Computing, SAC 2014., pp 1562-1569, ACM Press, 2014. (DOI).
- AccAB – Processes and Roles for Accreditation of Computing Degrees at Al Baha University in Saudi Arabia. In Proc. World Engineering Education Forum, pp 969-970, 2014.
- More scalable ordered set for ETS using adaptation. In Proc. 13th ACM SIGPLAN Workshop on Erlang, pp 3-11, ACM Press, New York, 2014. (DOI).
- CPS2: a Contextual Privacy Framework for Social Software. In 10th International Conference on Security and Privacy in Communication Networks (SECURECOMM2014), Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering, pp 25-32, 2014. (DOI).
- Missing data in multiplex networks: a preliminary study. In , IEEE Computer Society, 2014.
- MOOCs and their impact on academics. In Proc. 14th International Conference on Computing Education Research: Koli Calling, pp 137-145, ACM Press, New York, 2014. (DOI).
- Scalable Numerical Queries by Algebraic Inequality Transformations. In Database Systems for Advanced Applications, Dasfaa 2014, PT I, volume 8421 of Lecture Notes in Computer Science, pp 95-109, 2014.
- Scaling Future Software: The Manycore Challenge. 2014. (External link).
- Priorities Without Priorities: Representing Preemption in Psi-Calculi. In Proc. 21st International Workshop on Expressiveness in Concurrency, and 11th Workshop on Structural Operational Semantics, volume 160 of Electronic Proceedings in Theoretical Computer Science, pp 2-15, 2014. (DOI).
2013
- Scientific analysis by queries in extended SPARQL over a scalable e-Science data store. In Proc. 9th International Conference on e-Science, pp 98-106, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI).
- Kleene Algebra. In Archive of Formal Proofs, 2013. (External link).
- Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. In Interactive Theorem Proving: ITP 2013, volume 7998 of Lecture Notes in Computer Science, pp 197-212, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
- On using Erlang for parallelization: Experience from parallelizing Dialyzer. In Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, pp 295-310, Springer Berlin/Heidelberg, 2013. (DOI).
- Performing Decision-Theoretic Inference in Bayesian Network Ensemble Models. In Twelfth Scandinavian Conference on Artificial Intelligence, volume 257 of Frontiers in Artificial Intelligence and Applications, pp 25-34, 2013. (DOI).
- Grand challenge: Implementation by frequently emitting parallel windows and user-defined aggregate functions. In Proc. 7th ACM International Conference on Distributed Event-Based Systems, pp 325-330, ACM Press, New York, 2013. (DOI).
- On matrices, automata, and double counting in constraint programming. In Constraints, volume 18, number 1, pp 108-140, 2013. (DOI).
- On the reification of global constraints. In Constraints, volume 18, number 1, pp 1-6, 2013. (DOI).
- Deriving Probability Density Functions from Probabilistic Functional Programs. In Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, volume 7795 of Lecture Notes in Computer Science, pp 508-522, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
- A Parametric Tool for Applied Process Calculi. In 13th International Conference on Application of Concurrency to System Design (ACSD 2013), International Conference on Application of Concurrency to System Design, pp 180-185, IEEE Computer Society, 2013. (DOI).
- Measure transformer semantics for Bayesian machine learning. In Logical Methods in Computer Science, volume 9, number 3, p 11, 2013. (DOI, arXiv page).
- Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics. Volume 120 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2013. (DOI, Fulltext).
- RELEASE: A high-level paradigm for reliable large-scale server software. In Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, pp 263-278, Springer Berlin/Heidelberg, 2013. (DOI).
- Efficient GPU-based skyline computation. In Proceedings of the Ninth International Workshop on Data Management on New Hardware (DaMoN @ SIGMOD), 2013. (DOI, External link).
- Fördjupat lärande genom aktiverande examination. In 4:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, pp 51-54, 2013.
- Systematic testing for detecting concurrency errors in Erlang programs. In Proc. 6th International Conference on Software Testing, Verification and Validation, pp 154-163, IEEE Computer Society, 2013. (DOI).
- Bayesian Inference Using Data Flow Analysis. In ESEC/FSE '13: Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp 92-102, ACM Press, New York, NY, USA, 2013. (DOI).
- Beyond the Geneva Convention on the Treatment of Object Aliasing. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 1-6, Springer Berlin/Heidelberg, 2013. (DOI).
- Ownership Types: A Survey. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 15-58, Springer Berlin/Heidelberg, 2013. (DOI).
- Spatio-Temporal Keyword Queries in Social Networks. In 17th East-European Conference on Advances in Databases and Information Systems (ADBIS), pp 70-83, 2013. (DOI, External link).
- Automatic airspace sectorisation: A survey. Computing Research Repository nr 1311.0653, 2013. (External link).
- Generation of implied constraints for automaton-induced decompositions. In Proc. 25th International Conference on Tools with Artificial Intelligence, pp 1076-1083, IEEE Computer Society, 2013. (DOI).
- A Model-Learner Pattern for Bayesian Reasoning. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, volume 48 of ACM SIGPLAN NOTICES, pp 403-416, Association for Computing Machinery (ACM), New York, NY, 2013. (DOI).
- Optimising quality of information in data collection for mobile sensor networks. In Proc. 21st International Symposium on Quality of Service, pp 163-172, IEEE Communications Society, 2013. (DOI, Fulltext).
- Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1027, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
- Solving string constraints: The case for constraint programming. In Principles and Practice of Constraint Programming: CP 2013, volume 8124 of Lecture Notes in Computer Science, pp 381-397, Springer Berlin/Heidelberg, 2013. (DOI).
- Underestimating the cost of a soft constraint is dangerous: Revisiting the edit-distance based soft regular constraint. In Journal of Heuristics, volume 19, number 5, pp 729-756, 2013. (DOI).
- Dynamic and speculative polyhedral parallelization of loop nests using binary code patterns. In ICCS 2013, volume 18 of Procedia Computer Science, pp 2575-2578, 2013. (DOI, fulltext:postprint).
- Online dynamic dependence analysis for speculative polyhedral parallelization. In Euro-Par 2013 Parallel Processing, volume 8097 of Lecture Notes in Computer Science, pp 191-202, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
- Airspace sectorisation using constraint-based local search. In Proc. 10th USA/Europe Air Traffic Management Research and Development Seminar, Federal Aviation Administration, 2013. (fulltext:postprint).
- A quadratic extended edge-finding filtering algorithm for cumulative resource constraints. In International Journal of Planning and Scheduling, volume 1, number 4, pp 264-284, 2013. (DOI).
- On the scalability of the Erlang term storage. In Proc. 12th ACM SIGPLAN Workshop on Erlang, pp 15-26, ACM Press, New York, 2013. (DOI).
- Network-Wide Sensornet Checkpointing Made Practical. In 10th European Conference on Wireless Sensor Networks, 2013.
- Factors Enabling Information Propagation in a Social Network Site. In The Influence of Technology on Social Network Analysis and Mining, pp 411-426, Springer Vienna, 2013. (DOI, External link).
- Formation of multiple networks. In Social Computing, Behavioral-Cultural Modeling and Prediction, pp 257-264, Springer Berlin Heidelberg, 2013. (DOI, External link).
- From stars to galaxies: skyline queries on aggregate data. In Proceedings of the 16th International Conference on Extending Database Technology, pp 477-488, 2013. (DOI, External link).
- On multidimensional network measures. In Italian Conference on Sistemi Evoluti per le Basi di Dati (SEBD), 2013.
- Pareto Distance for Multi-layer Network Analysis. In Social Computing, Behavioral-Cultural Modeling and Prediction, volume 7812 of Lecture Notes in Computer Science, pp 249-256, 2013. (DOI, External link).
- SkyView: a user evaluation of the skyline operator. In Proceedings of the ACM Conference on Information and Knowledge Management (CIKM), pp 2249-2254, 2013. (DOI, External link).
- A parametric propagator for discretely convex pairs of sum constraints. In Principles and Practice of Constraint Programming: CP 2013, volume 8124 of Lecture Notes in Computer Science, pp 529-544, Springer Berlin/Heidelberg, 2013. (DOI).
- Des propagateurs indépendants des solveurs. In Actes des Neuvièmes Journées Francophones de Programmation par Contraintes, pp 227-236, Aix-Marseille Université, France, 2013.
- Executable modelling of dynamic software product lines in the ABS language. In Proc. 5th International Workshop on Feature-Oriented Software Development, pp 17-24, ACM Press, New York, 2013. (DOI, fulltext:postprint).
- On providing location privacy for mobile sinks in wireless sensor networks. In Wireless networks, volume 19, number 1, pp 115-130, 2013. (DOI).
- Novice students' perception of learning in small groups. In Enhancement and Innovation in Higher Education conference: 11 - 13 June 2013: conference materials, pp 123-131, 2013. (Post-conference publication).
- Professional communication skills for engineering professionals. In Proc. 43rd ASEE/IEEE Frontiers in Education Conference, pp 257-263, IEEE, Piscataway, NJ, 2013. (DOI).
- Using Competencies to Structure Scientific Writing Education. In HDI 2012 – Informatik für eine nachhaltige Zukunft, volume 5 of Commentarii informaticae didacticae (CID), pp 33-44, Universitätsverlag Potsdam, Potsdam, 2013. (External link).
- Secure compilation of Object-Oriented components to protected module architectures. In Programming Languages and Systems, volume 8301 of Lecture Notes in Computer Science, pp 176-191, Springer Berlin/Heidelberg, 2013. (fulltext:postprint).
- Service support system modelling language for simulation-driven development of functional products. In Procedia CIRP, volume 11, pp 420-424, 2013. (DOI).
- Precise explanation of success typing errors. In Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, pp 33-42, ACM Press, New York, 2013. (DOI).
- Can users control their data in social software?: An ethical analysis of control systems. In Proc. Security and Privacy Workshops 2013, IEEE Computer Society, 2013. (DOI).
- Bounded strings for constraint programming. In Proc. 25th International Conference on Tools with Artificial Intelligence, pp 1036-1043, IEEE Computer Society, 2013. (DOI).
- Scalable Preservation, Reconstruction, and Querying of Databases in terms of Semantic Web Representations. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1052, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
- Scalable reconstruction of RDF-archived relational databases. In Proc. 5th International Workshop on Semantic Web Information Management, pp 5:1-4, ACM Press, New York, 2013. (DOI).
- Integrative educational approach oriented towards software and system development. In International Journal of Engineering Pedagogy, volume 3, number 1, pp 36-43, 2013.
- Teaching information and software security courses in regular and distance learning programs: Education theory and practice, framework, and examples. In Proc. 4th Global Engineering Education Conference, pp 44-49, IEEE, Piscataway, NJ, 2013. (DOI).
- Structured Aliasing. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 512-513, Springer Berlin/Heidelberg, 2013. (DOI).
- Model-based validation of streaming data. In Proc. 7th ACM International Conference on Distributed Event-Based Systems, pp 107-113, ACM Press, New York, 2013. (DOI).
- Bells and Whistles: Advanced language features in psi-calculi. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-004, Uppsala University, 2013. (fulltext).
- Negative premises in applied process calculi. Technical report / Department of Information Technology, Uppsala University nr 2013-014, 2013. (fulltext).
2012
- Constraint programming for air traffic management: a survey. In Knowledge engineering review (Print), volume 27, number 3, pp 361-392, 2012. (DOI).
- Scientific SPARQL: Semantic web queries over scientific data. In Proc. 28th International Conference on Data Engineering Workshops, pp 5-10, IEEE Computer Society, 2012. (DOI).
- A scalability benchmark suite for Erlang/OTP. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 33-42, ACM Press, New York, 2012. (DOI).
- An Introduction To Bayesian Networks in Systems and Control. 2012 18th International Conference on Automation and Computing (ICAC), 2012.
- Bayesian Networks in Business Analytics. In 2012 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), pp 955-961, 2012.
- Using Bayesian networks in business analytics: Overview and short case study. In Business Informatics, volume 3, number 25, 2012.
- Scalable ordered indexing of streaming data. In 3rd International Workshop on Accelerating Data Management Systems using Modern Processor and Storage Architectures, p 11, 2012. (Fulltext).
- Professionella kompetenser i projektkurser. In Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, volume 75 of Linköping Electronic Conference Proceedings, pp 123-128, Linköping University Electronic Press, 2012. (External link).
- The impact of trace and adversary models on location privacy provided by K-anonymity. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI).
- Privacy preserving data publishing for recommender system. In Proc. 36th International Computer Software and Applications Conference Workshops, pp 128-133, IEEE Computer Society, 2012. (DOI).
- Constraint Programming for Air Traffic Management: Preface. In Knowledge engineering review (Print), volume 27, number 3, pp 287-289, 2012. (DOI).
- An optimisation-based approach for wireless sensor deployment in mobile sensing environments. In Proc. Wireless Communications and Networking Conference 2012, pp 2108-2112, IEEE Communications Society, 2012. (DOI).
- Macroprogramming of Wireless Sensor Networks using Task Graphs and Constraint Solving. 8th Swedish National Computer Networking Workshop (SNCNW), 7-8 June, 2012, Stockholm, Sweden, 2012.
- Solution neighbourhoods for constraint-directed local search. In Proc. 27th ACM Symposium on Applied Computing, pp 74-79, ACM Press, New York, 2012. (DOI).
- Software risk management modeling using goal-driven approach from early requirements engineering. In Risk Assessment and Management, pp 385-401, Publishing Services LLC, Cheyenne, WY, 2012. (External link).
- Computing Strong and Weak Bisimulations for Psi-Calculi. In Journal of Logic and Algebraic Programming, volume 81, number 3, pp 162-180, Elsevier, 2012. (DOI).
- Combinatorial problem solving over relational databases: View synthesis through constraint-based local search. In Proc. 27th ACM Symposium on Applied Computing, pp 80-87, ACM Press, New York, 2012. (DOI).
- Towards solver-independent propagators. In Principles and Practice of Constraint Programming: CP 2012, volume 7514 of Lecture Notes in Computer Science, pp 544-560, Springer Berlin/Heidelberg, 2012. (DOI, fulltext:postprint).
- Progression i skrivfärdigheter hos studenter i datavetenskap. In Proc. NU 2012: Gränslöst lärande, Chalmers University of Technology, Göteborg, Sweden, 2012. (Abstract).
- On preserving term sharing in the Erlang virtual machine. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 11-20, ACM Press, New York, 2012. (DOI).
- Proof Exchange for Theorem Proving: PxTP 2012. Volume 878 of CEUR Workshop Proceedings, 2012. (Proceedings).
- Extending psi-calculi and their formal proofs. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-008, Uppsala University, 2012. (fulltext).
- Adaptive Parallelization of Queries to Data Providing Web Service Operations. In Transactions on Large-Scale Data- and Knowledge-Centered Systems V, volume 7100 of Lecture Notes in Computer Science, pp 49-69, Springer, 2012. (DOI).
- ErLLVM: An LLVM backend for Erlang. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 21-32, ACM Press, New York, 2012. (DOI).
- Logics and Algorithms for Verification of Concurrent Systems. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 964, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
- Concurrent view modeling for software risk management at early development stage. In Proc. 1st International Conference on Theory and Practice in Modern Computing, pp 35-44, IADIS Press, 2012.
- Educational methods for software and systems development. In Proc. 15th International Conference on Interactive Collaborative Learning, p 8, IEEE, Piscataway, NJ, 2012. (DOI).
- Contingency plans for air traffic flow and capacity management using constraint programming. In Journal of Aerospace Operations, volume 1, pp 249-266, 2012. (DOI).
- On the use of underspecified data-type semantics for type safety in low-level code. In Proc. 7th Conference on Systems Software Verification: SSV 2012, volume 102 of Electronic Proceedings in Theoretical Computer Science, pp 73-87, 2012. (DOI).
- Structured Aliasing. In ECOOP 2012 – Object-Oriented Programming, volume 7313 of Lecture Notes in Computer Science, pp 232-232, Springer Berlin/Heidelberg, 2012. (DOI).
- Multiple Aggregate Entry Points for Ownership Types. In ECOOP 2012 – Object-Oriented Programming, volume 7313 of Lecture Notes in Computer Science, pp 156-180, Springer Berlin/Heidelberg, 2012. (DOI).
- The Joelle Programming Language: Evolving Java Programs Along Two Axes of Parallel Eval. 2012 International Workshop on Languages for the Multi-core Era, 2012.
2011
- Maintaining Database Integrity with Refinement Types. In ECOOP 2011 – Object-Oriented Programming, volume 6813 of Lecture Notes in Computer Science, pp 484-509, Springer-Verlag, Berlin, 2011. (DOI).
- Psi-calculi: a framework for mobile processes with nominal data and logic. In Logical Methods in Computer Science, volume 7, number 1, p 11, 2011. (DOI).
- Refinement types for secure implementations. In ACM Transactions on Programming Languages and Systems, volume 33, number 2, pp 8:1-45, 2011. (DOI).
- Broadcast Psi-calculi with an Application to Wireless Protocols. In Software Engineering and Formal Methods: SEFM 2011, volume 7041 of Lecture Notes in Computer Science, pp 74-89, Springer Berlin/Heidelberg, 2011. (DOI, fulltext:postprint).
- Verified Stateful Programs with Substructural State and Hoare Types. In Proc. 5th ACM Workshop on Programming Languages Meets Program Verification, pp 15-26, ACM Press, New York, 2011. (DOI).
- Detection of asynchronous message passing errors using static analysis. In Practical Aspects of Declarative Languages, volume 6539 of Lecture Notes in Computer Science, pp 5-18, Springer Berlin/Heidelberg, 2011. (DOI).
- Consistency of constraint networks induced by automaton-based constraint specifications. In Proc. 10th International Workshop on Constraint Modelling and Reformulation, pp 117-131, Department of Mathematics and Informatics, University of Perugia, Italy, 2011. (Proceedings).
- A type and effect system for deadlock avoidance in low-level languages. In Proc. 6th International Workshop on Types in Language Design and Implementation, pp 15-28, ACM Press, New York, 2011. (DOI).
- Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming. In Operations Research, Computing, and Homeland Defense, pp 199-209, Institute for Operations Research and the Management Sciences, Hanover, MD, 2011. (DOI).
- An <em>automaton</em> constraint for local search. In Fundamenta Informaticae, volume 107, pp 223-248, 2011. (DOI).
- A quadratic edge-finding filtering algorithm for cumulative resource constraints. In Principles and Practice of Constraint Programming – CP 2011, volume 6876 of Lecture Notes in Computer Science, pp 478-492, Springer-Verlag, Berlin, 2011. (DOI).
- Framtidsoptimerad livscykeloch hantering av versioner: för Scanias Fleet ManagementavdelningOptimizing Scanias Fleet Management softwarelifecycle and version management for the future. Student thesis, supervisor: Mats Axelsson, examiner: Elísabet Andrésdóttir, Roland Bol, UPTEC STS nr 11040, 2011. (fulltext).
- Adaptive parallelization of queries calling dependent data providing web services. In New Frontiers in Information and Software as Services: Service and Application Design Challenges in the Cloud, volume 74 of Lecture Notes in Business Information Processing, pp 132-154, Springer-Verlag, Berlin, 2011. (DOI).
- Optimizing Unbound-property Queries to RDF Views of RelationalDatabases. In , pp 43-58, Bonn, Germany, 2011. (External link).
- Demonstrating early value in software system projects using software and system cost models. In Proc. 26th International Forum on Systems/Software Cost Modeling, University of Southern California, Los Angeles, CA, 2011.
- Quantitative framework for managing software life cycle. In The Open Software Engineering Journal, volume 5, pp 1-18, 2011. (DOI).
- Lower trees with fixed degrees: a recipe for efficient secure hierarchical aggregation in WSNs. In 2011 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), pp 659-664, IEEE Computer Society, 2011. (DOI).
- A scalable architecture for e-Science data management. In Proc. 7th International Conference on e-Science, pp 210-217, IEEE Computer Society, Los Alamitos, CA, 2011. (DOI).
- Is the World Ready for Ownership Types? Is Ownership Types Ready for the World?. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming: IWACO at ECOOP (Vetenskapsrådet), 2011.
- Owners as Ombudsmen: Multiple Aggregate Entry Points for Ownership Types. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming: IWACO at ECOOP (Vetenskapsrådet), 2011.
- Massive scale-out of expensive continuous queries. In 36th International Conference on Very Large Data Bases: VLDB 2010, 2011.
- Scalable Parallelization of Expensive Continuous Queries over Massive Data Streams. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 836, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext).
- Regions as Owners: A Discussion on Ownership-based Effects in Practice. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming: IWACO at ECOOP, 2011.
2010
- On matrices, automata, and double counting. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 6140 of Lecture Notes in Computer Science, pp 10-24, Springer-Verlag, Berlin, 2010. (DOI).
- Tribal ownership. In Proc. 1st International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, volume 45:10 of ACM SIGPLAN Notices, pp 618-633, ACM Press, New York, 2010. (DOI).
- Static detection of race conditions in Erlang. In Practical Aspects of Declarative Languages: PADL 2010, volume 5937 of Lecture Notes in Computer Science, pp 119-133, Springer-Verlag, Berlin, 2010. (DOI).
- Inductive programming. In Encyclopedia of Machine Learning, pp 537-544, Springer, New York, 2010. (DOI).
- Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems. Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Proceedings).
- Programming by demonstration. In Encyclopedia of Machine Learning, pp 805-805, Springer, New York, 2010. (DOI).
- Trace-based programming. In Encyclopedia of Machine Learning, pp 989-989, Springer, New York, 2010. (DOI).
- A concurrent language with a uniform treatment of regions and locks. In Proc. 2nd Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software: PLACES 2009, volume 17 of Electronic Proceedings in Theoretical Computer Science, pp 79-93, 2010. (DOI).
- Race-free and memory-safe multithreading: Design and implementation in Cyclone. In Proc. 5th International Workshop on Types in Language Design and Implementation, pp 15-26, ACM Press, New York, 2010. (DOI).
- Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming. In Proc. 9th International Workshop on Constraint Modelling and Reformulation, p 13, Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (fulltext).
- A Fully Abstract Symbolic Semantics for Psi-Calculi. In Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volume 18 of Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).
- Weak Equivalences in Psi-calculi. In Proc. 25th Symposium on Logic in Computer Science: LICS 2010, pp 322-331, IEEE, Piscataway, NJ, 2010. (DOI).
- Local search over relational databases. In Proc. 7th International Workshop on Local Search Techniques in Constraint Satisfaction, p 15, Department of Computing Science and Engineering, Université catholique de Louvain, Belgium, 2010. (Fulltext).
- Automated Web Service Query Service. In International Journal of Web and Grid Services (IJWGS), volume 6, number 4, pp 400-423, 2010. (DOI).
- Querying Data Providing Web Services. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 755, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Using static analysis to detect type errors and concurrency defects in Erlang programs. In Functional and Logic Programming: FLOPS 2010, volume 6009 of Lecture Notes in Computer Science, pp 13-18, Springer-Verlag, Berlin, 2010. (DOI).
- SPARQL queries to RDFS views of Topic Maps. In International Journal of Metadata, Semantics and Ontologies (IJMSO), volume 5, number 1, pp 1-16, Inderscience, 2010. (DOI).
- Agile software development and ISO-IEC software quality standards: Measuring economic benefits and calculating quantitative yields. In Proc. 25th International Forum on Systems/Software Cost Modeling, University of Southern California, Los Angeles, CA, 2010.
- Contingency plans for air traffic flow and capacity management. In Proc. 9th Innovative Research Workshop and Exhibition, pp 119-126, EUROCONTROL Experimental Centre, Brétigny sur Orge, France, 2010. (fulltext).
- Contingency plans for air traffic management. In Principles and Practice of Constraint Programming – CP 2010, volume 6308 of Lecture Notes in Computer Science, pp 643-657, Springer-Verlag, Berlin, 2010. (DOI).
- Scalable Splitting of Massive Data Streams. In Database Systems for Advanced Applications: Part II, volume 5982 of Lecture Notes in Computer Science, pp 184-198, Springer-Verlag, Berlin, 2010. (DOI, fulltext).
- Welterweight Java. In Objects, Models, Components, Patterns, volume 6141 of Lecture Notes in Computer Science, pp 97-116, Springer-Verlag, Berlin, 2010. (DOI).