Publikationer av Avdelningen för Datalogi
2021
- Age-Optimal UAV Scheduling for Data Collection With Battery Recharging. I IEEE Communications Letters, volym 25, nummer 4, pp 1254-1258, Institute of Electrical and Electronics Engineers (IEEE), 2021. (DOI).
- From Declarative Models to Local Search. Doktorsavhandling, 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. I 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. I 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. Doktorsavhandling, 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. Doktorsavhandling, 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. I Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, volym 332 av Electronic Proceedings in Theoretical Computer Science (EPTCS), pp 1-17, Open Publishing Association, 2021. (DOI, Fulltext, fulltext:print).
- Generic Quality Assurance in Software Projects. Examensarbete, handledare: Alfred Yrelin, examinator: Lars-Åke Nordén, Aletta Nylén, UPTEC IT nr 21040, 2021. (fulltext).
- Proportionality in Spatial Keyword Search. I 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. I Social Network Analysis and Mining, volym 11, 2021. (DOI, Fulltext).
- Probabilistic network sparsification with ego betweenness. I Applied Network Science, volym 6, Springer Nature, 2021. (DOI, Fulltext, fulltext:print).
- Probabilistic Programming for Birth-Death Models of Evolution. Doktorsavhandling, 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. I The Art, Science, and Engineering of Programming, volym 5, nummer 3, 2021. (DOI, Fulltext, fulltext:print).
- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. I 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. I Journal of Statistical Software, volym 98, nummer 8, pp 1-30, Foundation for Open Access Statistic, 2021. (DOI, Fulltext, fulltext:print).
- Community Detection in Multiplex Networks. I ACM Computing Surveys, volym 54, nummer 3, Association for Computing Machinery (ACM), 2021. (DOI).
- Deep neural networks for social visuals: studying climate communication on YouTube. I 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. I 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. I 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. Doktorsavhandling, 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. I 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. Examensarbete, handledare: Muntazir Mehdi, examinator: Matteo Magnani, Tomas Nyberg, UPTEC F nr 21032, 2021. (fulltext).
- Modal Logics for Nominal Transition Systems. I Logical Methods in Computer Science, volym 17, nummer 1, 2021. (DOI, Fulltext, Extern länk, Extern länk, fulltext:preprint, fulltext:print).
- Universal probabilistic programming offers a powerful approach to statistical phylogenetics. I Communications Biology, volym 4, Springer Nature, 2021. (DOI, Fulltext, fulltext:print).
- Fifteen Years of Successfully Dialyzing Erlang and Elixir Code: Abstract. I 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. Examensarbete, handledare: Johan Svenungsson, Björn Clemensson, examinator: Elísabet Andrésdóttir, Björn Victor, UPTEC STS nr 20003, 2021. (fulltext).
- Lock-free Contention Adapting Search Trees. I ACM TRANSACTIONS ON PARALLEL COMPUTING, volym 8, nummer 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. I IEEE Transactions on Wireless Communications, volym 20, nummer 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. I 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. I IET Networks, volym 10, nummer 6, pp 265-277, Institution of Engineering and Technology, 2021. (DOI, Fulltext, fulltext:print).
2020
- Accounting for Information Freshness in Scheduling of Content Caching. I ICC 2020: 2020 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, 2020. (DOI).
- Optimal scheduling of content caching subject to deadline. I IEEE Open Journal of the Communications Society, volym 1, pp 293-307, IEEE, 2020. (DOI, Fulltext, fulltext:print).
- Routing and scheduling of network flows with deadlines and discrete capacity allocation. I Networks, volym 76, nummer 1, pp 54-74, WILEY, 2020. (DOI).
- Dimensions of Professionalism: A Study of Computer Science Teaching in Saudi Arabia. Doktorsavhandling, 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. I Computing, volym 102, nummer 5, pp 1139-1158, 2020. (DOI, Fulltext, fulltext:print).
- Solving Satisfaction Problems using Large-Neighbourhood Search. I Principles and Practice of Constraint Programming, volym 12333 av Lecture Notes in Computer Science, pp 55-71, 2020. (DOI).
- Diversified spatial keyword search on RDF data. I The VLDB journal, volym 29, nummer 5, pp 1171-1189, 2020. (DOI, Fulltext, fulltext:print).
- Modeling and Optimization of Mobility-Aware Dynamic Caching With Time-Varying Content Popularity. I IEEE Transactions on Vehicular Technology, volym 69, nummer 1, pp 1157-1162, 2020. (DOI).
- Analysis of DTLS Implementations Using Protocol State Fuzzing. I Proceedings of the 29th USENIX Security Symposium, pp 2523-2540, 2020. (Proceedings paper fulltext, fulltext:print).
- Towards Explainable, Compliant and Adaptive Human-Automation Interaction. I Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020), volym 2891 av CEUR Workshop Proceedings, 2020. (Extern länk, fulltext:print).
- Proof-theoretic Conservativity for HOL with Ad-hoc Overloading. I 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, Extern länk).
- Unspoken Assumptions in Multi-layer Modularity maximization. I Scientific Reports, volym 10, nummer 1, NATURE PUBLISHING GROUP, 2020. (DOI, Fulltext, fulltext:print).
- Multilayer network simplification: Approaches, models and methods. I Computer Science Review, volym 36, 2020. (DOI).
- A structured approach to selecting the most suitable log management system for an organization. Examensarbete, handledare: Isak Isacsson, examinator: Lars-Åke Nordén, Karl Marklund, UPTEC IT nr 20017, 2020. (fulltext).
- Particle Filter with Rejection Control and Unbiased Estimator of the Marginal Likelihood. I 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. I 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. I Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, volym 12302 av Lecture Notes in Computer Science (LNCS), pp 377-393, 2020. (DOI).
- Wrapping a NoSQL Datastore for Stream Analytics. I 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. Volym 12073 av Lecture Notes in Computer Science, Springer, Cham, 2020. (DOI).
- Reshape your layouts, not your programs: A safe language extension for better cache locality. I Science of Computer Programming, volym 197, 2020. (DOI).
- Clearing the Shadows: Recovering Lost Performance for Invisible Speculative Execution through HW/SW Co-Design. I 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, Extern länk).
- A Twitter-Based Study of the European Internet of Things. I Information Systems Frontiers, volym 23, nummer 1, pp 135-149, 2020. (DOI, Fulltext, fulltext:print).
- Graph-theoretic approaches and tools for quantitatively assessing curricula coherence. I European Journal of Engineering Education, volym 46, nummer 3, pp 344-363, 2020. (DOI).
- Reformulations of Constraint Satisfaction Problems: A Survey. 2020. (fulltext).
- Improving Program Locality in the GC using Hotness. I 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. I 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. I IEEE Transactions on Wireless Communications, volym 19, nummer 1, pp 340-353, 2020. (DOI, Extern länk).
- Leveraging Muiti-cell NOMA for Cell Edge. I 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. I IEEE Transactions on Cloud Computing, volym 8, nummer 4, pp 1018-1029, 2020. (DOI).
- Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers. I 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. I , EPiC Series in Computing, pp 498-515, 2020. (DOI, Fulltext, Extern länk).
- Automating regression testing on fat clientsAutomatiska regressionstester av feta klienter. Examensarbete, handledare: Ingemar Wararak, examinator: 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. I Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM), 2019. (DOI, Fulltext, Extern länk, fulltext:print).
- BS-assisted Task Offloading for D2D Networks with Presence of User Mobility. I 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. I 2019 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2019. (DOI).
- Molecular Drivers of Crystallization Kinetics for Drugs in Supersaturated Aqueous Solutions. I Journal of Pharmaceutical Sciences, volym 108, nummer 1, pp 252-259, ELSEVIER SCIENCE INC, 2019. (DOI, fulltext:print).
- TOOLympics 2019: An overview of competitions in formal methods. I Tools and Algorithms for the Construction and Analysis of Systems: 25 years of TACAS, Part III, volym 11429 av Lecture Notes in Computer Science, pp 3-24, Springer, 2019. (DOI, Fulltext, fulltext:print).
- Exploring declarative local-search neighbourhoods with constraint programming. I Principles and Practice of Constraint Programming, volym 11802 av Lecture Notes in Computer Science, pp 37-53, Springer, Switzerland, 2019. (DOI).
- Generating compound moves in local search by hybridisation with complete search. I Integration of Constraint Programming, Artificial Intelligence, and Operations Research, volym 11494 av Lecture Notes in Computer Science, pp 95-111, Springer, 2019. (DOI).
- Run, Actor, Run: Towards Cross-Actor Language Benchmarking. I 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. Examensarbete, handledare: Emelie Eriksson Thörnell, Martin Bergling, examinator: 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. I , pp 184-196, Association for Computing Machinery (ACM), 2019. (DOI, Extern länk).
- Resource Optimization for Joint LWA and LTE-U in Load-Coupled and Multi-Cell Networks. I IEEE Communications Letters, volym 23, nummer 2, pp 330-333, 2019. (DOI).
- Optimizing Retention-Aware Caching in Vehicular Networks. I IEEE Transactions on Communications, volym 67, nummer 9, pp 6139-6152, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
- Accurate optimization models for interference constrained bandwith allocation in cellular networks. I Computers & Operations Research, volym 101, pp 1-12, 2019. (DOI).
- Godot: All the Benefits of Implicit and Explicit Futures. I 33rd European Conference on Object-Oriented Programming (ECOOP 2019), volym 134 av Leibniz International Proceedings in Informatics (LIPIcs), 2019. (DOI, Fulltext, Extern länk, fulltext:print).
- Courses-Concepts-Graphs as a Tool to Measure the Importance of Concepts in University Programmes. I 2019 18th European Control Conference (ECC), pp 3076-3083, IEEE, 2019. (DOI).
- Multiple Authentic Project-Based Experiences and Persistent Learning?. I 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. Examensarbete, handledare: Johan Nyberg, examinator: Elísabet Andrésdóttir, Michael Ashcroft, UPTEC STS nr 19028, 2019. (fulltext).
- Comparing node degrees in probabilistic networks. I Journal of Complex Networks, volym 7, nummer 5, pp 749-763, 2019. (DOI).
- Local measures for probabilistic networks. Licentiatavhandling, 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. I Mathematical Structures in Computer Science, volym 29, nummer 1, pp 127-168, 2019. (DOI).
- Quantitative analysis of curricula coherence using directed graphs. I IFAC-PapersOnLine, volym 52, nummer 9, pp 318-323, ELSEVIER, 2019. (DOI).
- Stateless model checking of the Linux kernel's read-copy update (RCU). I International Journal on Software Tools for Technology Transfer, volym 21, nummer 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. I ACM Transactions on Social Computing, volym 2, nummer 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. I 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. (Extern länk).
- Load Coupling and Energy Optimization in Multi-Cell and Multi-Carrier NOMA Networks. I IEEE Transactions on Vehicular Technology, volym 68, nummer 11, pp 11323-11337, 2019. (DOI).
- Comparison of NoSQL Datastores for Large Scale Data Stream Log Analytics. I 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. I ACM Computing Surveys, volym 51, nummer 6, 2019. (DOI).
- Observing the tech, using meetup data to observe the evolution of the discourse around IoT. I Selected Papers of Internet Research, SPIR, Annual Conference of the Association of Internet Researchers, 2019. (DOI).
- Concolic Testing of Higher-order Functional Languages. I Electronic Proceedings in Theoretical Computer Science, pp 2-2, Open Publishing Association, 2019. (Abstrakt).
- Metrics for Temporal Text Networks. I Temporal Network Theory, pp 147-160, Springer, 2019. (DOI, fulltext:preprint).
- Machine-Assisted Reformulation for MiniZinc. I , 2019. (fulltext:postprint).
- Towards Efficient Algorithms for Constraint Satisfaction Problems. I , 2019. (fulltext:postprint).
- Towards Efficient Solvers for Optimisation Problems. I 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. I Optical Switching and Networkning Journal, volym 31, pp 211-217, 2019. (DOI).
- Network Optimization of Evolving Mobile Systems with Presence of Interference Coupling. Doktorsavhandling, 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. I IEEE Internet of Things Journal, volym 6, nummer 3, pp 4283-4294, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
- Announcement as effort on topological spaces. I Synthese, volym 196, nummer 7, pp 2927-2969, 2019. (DOI, Fulltext).
- Progress Report: Exploring API Design for Capabilities for Programming with Arrays. I 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. I Proceedings of the ACM on Programming Languages, volym 2, nummer OOPSLA, pp 1-29, Association for Computing Machinery (ACM), 2018. (DOI, Fulltext, fulltext:print).
- On optimal proactive and retention-aware caching with user mobility. I 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. I 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. I Informatics in Schools. Fundamentals of Computer Science and Software Engineering, volym 11169 av Lecture Notes in Computer Science, pp 129-140, Springer, 2018. (DOI).
- Effective Techniques for Stateless Model Checking. Doktorsavhandling, 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. I Tools and Algorithms for the Construction and Analysis of Systems: Part II, volym 10806 av 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. I 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. I The Journal of logical and algebraic methods in programming, volym 98, pp 26-26, 2018. (DOI).
- Declarative local-search neighbourhoods in MiniZinc. I 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. Examensarbete, handledare: David Strömberg, Daniel Lindberg, examinator: Tomas Nyberg, Michael Ashcroft, UPTEC F nr 18049, 2018. (fulltext).
- C?: A New Modular Approach to Implementing Efficient and Tunable Collections. I 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. Doktorsavhandling, 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. I Royal Society Open Science, volym 5, nummer 8, ROYAL SOC, 2018. (DOI, Fulltext, fulltext:print).
- Attached and Detached Closures in Actors. I 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. I The Journal of logical and algebraic methods in programming, volym 100, pp 130-151, 2018. (DOI).
- Capability-Based Type Systems for Concurrency Control. Doktorsavhandling, 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. I 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. I ACM SIGAPP Applied Computing Review, volym 18, nummer 4, pp 47-60, Association for Computing Machinery, 2018. (DOI).
- Cost-optimal caching for D2D networks with user mobility: Modeling, analysis, and computational approaches. I IEEE Transactions on Wireless Communications, volym 17, nummer 5, pp 3082-3094, 2018. (DOI).
- Device caching for network offloading: Delay minimization with presence of user mobility. I IEEE Wireless Communications Letters, volym 7, nummer 4, pp 558-561, 2018. (DOI).
- Exploring properties of a telecommunication protocol with message delay using interactive theorem prover. I Software Engineering and Formal Methods, volym 10886 av Lecture Notes in Computer Science, pp 239-253, Springer, 2018. (DOI).
- Thematic ranking of object summaries for keyword search. I Data & Knowledge Engineering, volym 113, pp 1-17, 2018. (DOI).
- A generalized force-directed layout for multiplex sociograms. I Social Informatics: 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I, volym 0302-9743 av Lecture Notes in Computer Science, pp 212-227, Springer, 2018. (DOI).
- Forward to a Promising Future. I Conference proceedings COORDINATION 2018, 2018. (fulltext:preprint).
- The impact of opt-in gamification on students' grades in a software design course. I 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. I Programming Languages and Systems, volym 10801 av Lecture Notes in Computer Science, pp 885-911, Springer, 2018. (DOI, Fulltext).
- Safely Abstracting Memory Layouts. I 20th Workshop on Formal Techniques for Java-like Programs, 2018. (Extern länk).
- Model-theoretic Conservative Extension of Definitional Theories. I Electronical Notes in Theoretical Computer Science, volym 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. I 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. I 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. I 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. I European Journal of Engineering Education, volym 43, nummer 2, pp 201-218, 2018. (DOI).
- Queue Delegation Locking. I IEEE Transactions on Parallel and Distributed Systems, volym 29, nummer 3, pp 687-704, IEEE COMPUTER SOC, 2018. (DOI).
- Effective Stateless Model Checking for C/C++ Concurrency. I Proceedings of the ACM on Programming Languages, volym 2, nummer POPL, pp 1-32, ACM Press, 2018. (DOI, Fulltext, fulltext:print).
- Efficient minimum-energy scheduling with machine-learning based predictions for multiuser MISO systems. I Proc. International Conference on Communications: ICC 2018, IEEE Communications Society, 2018. (DOI).
- Power and Load Optimization in Interference-Coupled Non-Orthogonal Multiple Access Networks. I 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.
- Automating Targeted Property-Based Testing. I 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. I Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS), Lanzarote, Spain, April, 2018, Proceedings of Machine Learning Research, 2018. (Extern länk).
- Why are we here?: The educational value model (EVM) as a framework to investigate the role of students’ professional identity development. I 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. Examensarbete, handledare: Magnus Lundstedt, examinator: Tomas Nyberg, Michael Ashcroft, UPTEC F nr 18 003, 2018. (fulltext).
- A contention adapting approach to concurrent ordered sets. I Journal of Parallel and Distributed Computing, volym 115, pp 1-19, ACADEMIC PRESS INC ELSEVIER SCIENCE, 2018. (DOI).
- Progress on Algorithms for Stateless Model Checking. I 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, Extern länk).
- Extending SHAPES for SIMD Architectures –: An approach to native support for Struct of Arrays in languages. I 13th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop, 2018. (Extern länk).
- Partial and Overlapping Community Detection in Multiplex Social Networks. I 10th International Conference on Social Informatics (SocInfo2018 ), volym 11186 av Lecture Notes in Computer Science, pp 15-28, Springer, 2018. (DOI).
- Foundations of Temporal Text Networks. I Applied Network Science, volym 3, nummer 25, 2018. (DOI, Fulltext, fulltext:print).
- Optical Interconnect Architectures for Datacenters. I 2018 IEEE Photonics Conference (IPC), IEEE Photonics Conference, IEEE, 2018. (DOI).
- Reliability performance aware routing. I Proc. 10th International Workshop on Resilient Networks Design and Modeling, IEEE, 2018. (DOI).
- Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures. Doktorsavhandling, 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. I 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. I IEEE Communications Letters, volym 22, nummer 12, pp 2579-2582, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
- Resource optimization with load coupling in multi-cell NOMA. I IEEE Transactions on Wireless Communications, volym 17, nummer 7, pp 4735-4749, 2018. (DOI).
- Private announcements on topological spaces. I Studia Logica: An International Journal for Symbolic Logic, volym 106, nummer 3, pp 481-513, 2018. (DOI, Fulltext).
- Parallel Programming With Arrays in Kappa. I 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018. (Extern länk).
2017
- Comparing source sets and persistent sets for partial order reduction. I Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, volym 10460 av Lecture Notes in Computer Science, pp 516-536, Springer, 2017. (DOI).
- Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. I Journal of the ACM, volym 64, nummer 4, Association for Computing Machinery (ACM), 2017. (DOI).
- Stateless model checking for TSO and PSO. I Acta Informatica, volym 54, nummer 8, pp 789-818, 2017. (DOI).
- Why do female students choose to study CS in the Kingdom of Saudi Arabia?. I 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. I Logic-Based Program Synthesis and Transformation, volym 10184 av Lecture Notes in Computer Science, pp 59-75, Springer, 2017. (DOI).
- Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking. I , volym 10510 av Lecture Notes in Computer Science, pp 227-242, Springer, Cham, 2017. (DOI, fulltext:postprint).
- The shared-memory interferences of Erlang/OTP built-ins. I 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). I Science of Computer Programming, volym 137, pp 1-1, ELSEVIER SCIENCE BV, 2017. (DOI).
- Proc. 10th Interaction and Concurrency Experience. Volym 261 av Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017. (DOI, Fulltext).
- A Join Operator for Property Graphs. I EDBT/ICDT Workshops, 2017.
- Deriving Probability Density Functions from Probabilistic Functional Programs. I Logical Methods in Computer Science, volym 13, nummer 2, 2017. (DOI, Fulltext).
- Mining for Safety using Interactive Trace Analysis. I 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. I 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, Extern länk, fulltext:postprint).
- Multiple time-series forecasting on mobile network data using an RNN-RBM model. Examensarbete, handledare: Tor Kvernvik, examinator: 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. I Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Modelling and verification of user interactions using constraint programming. I 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. I , pp 10-20, 2017. (DOI, Fulltext, Fulltext, fulltext:postprint).
- Reference Capabilities for Concurrency & Scalability: an Experience Report. I , 2017. (fulltext:preprint).
- Relaxed Linear References for Lock-free Data Structures. I , pp 47:1-47:31, 2017. (DOI, Fulltext, Extern länk, fulltext:postprint).
- Types for CAS: Relaxed Linearity with Ownership Transfer. 2017.
- Orca: GC and Type System Co-design for Actor Languages. I Proceedings of the ACM on Programming Languages, volym 1, nummer OOPSLA, pp 1-28, ACM, 2017. (DOI, Fulltext, Extern länk, fulltext:print).
- A survey of active object languages. I ACM Computing Surveys, volym 50, nummer 5, Association for Computing Machinery (ACM), 2017. (DOI).
- Auto-tabling for subproblem presolving in MiniZinc. I Constraints, volym 22, nummer 4, pp 512-529, 2017. (DOI, Fulltext).
- Cost-Optimal Caching for D2D Networks with Presence of User Mobility. I GLOBECOM 2017 - 2017 IEEE Global Communications Conference, IEEE Global Communications Conference, IEEE, 2017. (DOI).
- Affine killing: Semantics for stopping the ParT. I Proc. 2nd International Workshop on Type-Driven Development, ACM Press, New York, 2017. (fulltext:postprint).
- Analysis, synthesis and application of automaton-based constraint descriptions. Doktorsavhandling, 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. I 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. I 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. I Scientific Reports, volym 7, 2017. (DOI, Fulltext, fulltext:print).
- Concolic testing for functional languages. I Science of Computer Programming, volym 147, pp 109-134, 2017. (DOI).
- Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). I 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. I 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. Examensarbete, handledare: Susan Miller Tiedemann, examinator: Elísabet Andrésdóttir, Björn Victor, UPTEC STS nr 17031, 2017. (fulltext).
- Targeted property-based testing. I 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. I NETWORK SCIENCE, volym 5, nummer 2, pp 141-143, CAMBRIDGE UNIV PRESS, 2017. (DOI).
- The authenticity of 'authentic' assessment: Some faculty perceptions. I Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- VisDM-A Data Stream Visualization Platform. I Database Systems For Advanced Applications (DASFAA 2017), Proceedings Pt II, volym 10178 av 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. I 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. I 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. I 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. I Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Weak Nominal Modal Logic. I Formal Techniques for Distributed Objects, Components, and Systems, volym 10321 av Lecture Notes in Computer Science, pp 179-193, Springer, 2017. (DOI).
- Typed connector families and their semantics. I Science of Computer Programming, volym 146, pp 28-49, 2017. (DOI).
- The Contention Avoiding Concurrent Priority Queue. I Languages and Compilers for Parallel Computing, volym 10136 av Lecture Notes in Computer Science, pp 314-330, Springer, 2017. (DOI).
- Design and implementation of bounded-length sequence variables. I Integration of AI and OR Techniques in Constraint Programming, volym 10335 av Lecture Notes in Computer Science, pp 51-67, 2017. (DOI).
- Scaling Reliably: Improving the scalability of the Erlang distributed actor platform. I ACM Transactions on Programming Languages and Systems, volym 39, nummer 4, 2017. (DOI).
- A Radar Signal Processing Case Study for Dataflow Programming of Manycores. I Journal of Signal Processing Systems, volym 87, nummer 1, pp 49-62, 2017. (DOI).
- A perspective from Vietnamese students on teaching of soft skills. I 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. I 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. I 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. I Proceedings of 2017 9Th International Workshop On Resilient Networks Design And Modeling (Rndm), IEEE, 2017.
- Mastery Learning-Like Teaching with Achievements. I , 2017. (fulltext:postprint).
- Scalable validation of industrial equipment using a functional DSMS. I Journal of Intelligent Information Systems, volym 48, nummer 3, pp 553-577, 2017. (DOI, Fulltext, fulltext:print).
- Type-assisted automatic garbage collection for lock-free data structures. I SIGPLAN notices, volym 52, nummer 9, pp 14-24, ACM Press, New York, 2017. (DOI).
- A Framework for Optimizing Multi-cell NOMA: Delivering Demand with Less Resource. I 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. I IEEE Communications Letters, volym 21, nummer 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. I 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. Doktorsavhandling, 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. I 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. I Proc. 3rd ACM-W Europe Celebration of Women in Computing, pp 1-3, 2016. (fulltext:print).
- Semantic Web Queries over Scientific Data. Doktorsavhandling, 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. (Extern länk).
- Systematic derivation of bounds and glue constraints for time-series constraints. I Principles and Practice of Constraint Programming: CP 2016, volym 9892 av Lecture Notes in Computer Science, pp 13-29, Springer, 2016. (DOI).
- Time-series constraints: Improvements and application in CP and MIP contexts. I Integration of AI and OR Techniques in Constraint Programming, volym 9676 av Lecture Notes in Computer Science, pp 18-34, Springer, 2016. (DOI).
- Multi-domain alias matching using machine learning. I Proc. 3rd European Network Intelligence Conference, pp 77-84, IEEE, 2016. (DOI, fulltext:postprint).
- Multilayer Analysis of Online Illicit Marketplaces. I 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. I 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. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1431, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
- Preface. I Electronic Proceedings in Theoretical Computer Science, nummer 223, OPEN PUBL ASSOC, 2016.
- Proc. 9th Interaction and Concurrency Experience. Volym 223 av Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2016. (DOI, Fulltext).
- Psi-Calculi in Isabelle. I Journal of automated reasoning, volym 56, nummer 1, pp 1-47, 2016. (DOI).
- Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing. I , 2016. (DOI).
- A Lambda-Calculus Foundation for Universal Probabilistic Programming. I SIGPLAN notices, volym 51, nummer 9, pp 33-46, 2016. (DOI, fulltext:postprint).
- A Sorted Semantic Framework for Applied Process Calculi. I Logical Methods in Computer Science, volym 12, nummer 1, pp 1-49, 2016. (DOI, Fulltext, fulltext:postprint).
- Fabular: Regression formulas as probabilistic programming. I Proc. 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volym 51(1) av ACM SIGPLAN Notices, pp 271-283, ACM Press, New York, 2016. (DOI, fulltext:postprint).
- A formal model of service-oriented dynamic object groups. I Science of Computer Programming, volym 115–116, pp 3-22, 2016. (DOI).
- Extended versions of papers presented at WS-FM 2014 and Beat 2014. I Formal Aspects of Computing, volym 28, nummer 4, pp 529-530, 2016. (DOI).
- Active learning for extended finite state machines. I Formal Aspects of Computing, volym 28, nummer 2, pp 233-263, 2016. (DOI).
- Determining progress in writing competency by assessing students’ argumentation. I Proc. 46th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
- Kappa: Insights, Current Status and Future Work. I , 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. I 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. I , 2016. (fulltext:postprint).
- Vats: A safe, reactive storage abstraction. I Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, volym 9660 av 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. I Coordination Models and Languages, volym 9686 av Lecture Notes in Computer Science, pp 101-120, Springer, 2016. (DOI).
- Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations. I , 2016. (Fulltext, fulltext:postprint).
- Kleene Algebras with Domain. I Archive of Formal Proofs, 2016. (Extern länk).
- Languages, Logics, Types and Tools for Concurrent System Modelling. Doktorsavhandling, 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. I IEEE Internet of Things Journal, volym 3, nummer 3, pp 257-268, 2016. (DOI).
- Writing to learn programming?: A single case pilot study. I 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. I Science of Computer Programming, volym 115–116, pp 47-78, 2016. (DOI).
- Implementing a secure abstract machine. I Proc. 31st ACM Symposium on Applied Computing, pp 2041-2048, ACM Press, New York, 2016. (DOI).
- Protecting Functional Programs From Low-Level Attackers. Doktorsavhandling, 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. I IEEE Second International Smart Cities Conference (ISC2 2016), pp 763-768, 2016.
- The Nifty way to call hell from heaven. I 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. I 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. Doktorsavhandling, 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. I Artificial Intelligence, volym 241, pp 170-190, 2016. (DOI).
- Feature Nets: Behavioural modelling of software product lines. I Software and Systems Modeling, volym 15, nummer 4, pp 1181-1206, 2016. (DOI).
- Social Network Analysis in Applications. I AI Communications, volym 29, nummer 1, pp 55-56, 2016. (DOI).
- Personalized Mobile-Assisted Smart Transportation. I 2016 Digital Media Industry And Academic Forum (DMIAF), pp 158-160, 2016.
- General conditions for full abstraction. I Mathematical Structures in Computer Science, volym 26, nummer 4, pp 655-657, 2016. (DOI).
- The largest respectful function. I Logical Methods in Computer Science, volym 12, nummer 2, 2016. (DOI, Fulltext, fulltext:print).
- A critical analysis of trends in student-centric engineering education and their implications for learning. I Proc. 46th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
- Typed Connector Families. I Formal Aspects Of Component Software, volym 9539 av Lecture Notes in Computer Science, pp 294-311, Springer, 2016. (DOI).
- Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar. Volym 2016-002 av Technical report / Department of Information Technology, Uppsala University, 2016. (Extern länk).
- Predictive analysis at Krononfogden: Classifying first-time debtors with an uplift model. Examensarbete, handledare: Mårten Janerud, examinator: Elísabet Andrésdóttir, Michael Ashcroft, UPTEC STS nr 16036, 2016. (fulltext).
- Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable Types. Doktorsavhandling, 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. I Social Network Analysis and Mining, volym 6, nummer 1, 2016. (DOI).
- Scalable long-term preservation of relational data through SPARQL queries. I Semantic Web, volym 7, nummer 2, pp 117-137, 2016. (DOI).
- Main-Memory Query Processing Utilizing External Indexes. Doktorsavhandling, 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. I Principles and Practice of Constraint Programming: CP 2016, volym 9892 av Lecture Notes in Computer Science, pp 520-535, Springer, 2016. (DOI).
- A new approach to role and position detection in networks. I SOCIAL NETWORK ANALYSIS AND MINING, volym 6, nummer 1, 2016. (DOI).
- Modelling of patterns between operational data, diagnostic trouble codes and workshop history using big data and machine learning. Examensarbete, handledare: Jonas Bitéus, examinator: Elisabet Andrésdóttir, Michael Ashcroft, UPTEC STS nr 16002, 2016. (fulltext).
- Modal Logics for Nominal Transition Systems. I Archive of Formal Proofs, 2016. (Extern länk).
- Scrambling and descrambling SMT-LIB benchmarks. I Satisfiability Modulo Theories: SMT 2016, volym 1617 av CEUR Workshop Proceedings, pp 31-40, RWTH Aachen University, 2016. (Fulltext).
- The 2014 SMT Competition. I Journal on Satisfiability, Boolean Modeling and Computation, 2016.
- Scalable Validation of Data Streams. Doktorsavhandling, 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. Doktorsavhandling, 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. I 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. Doktorsavhandling, 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. I Programming Languages and Systems, volym 9632 av Lecture Notes in Computer Science, pp 780-803, Springer, Berlin, 2016. (DOI).
- Language Constructs for Safe Parallel Programming on Multi-Cores. Doktorsavhandling, 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. I Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2015, volym 9035 av 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. I International Journal of Pharmaceutics, volym 495, nummer 1, pp 312-317, 2015. (DOI, fulltext:print).
- Addressing concept drift to improve system availability by updating one-class data-driven models. I Evolving Systems, volym 6, nummer 3, pp 187-198, 2015. (DOI).
- Spatio-Temporal Gridded Data Processing on the Semantic Web. I 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. I 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. I Proc. National Symposium on Technology and Methodology for Security and Crisis Management: TAMSEC 2015, 2015.
- Detecting jihadist messages on twitter. I Proc. 5th European Intelligence and Security Informatics Conference, pp 161-164, IEEE Computer Society, 2015. (DOI).
- A modelling pearl with sortedness constraints. I Global Conference on Artificial Intelligence: GCAI 2015, volym 36 av EasyChair Proceedings in Computing, pp 27-41, Cool Press, Manchester, UK, 2015. (Abstract).
- On the Reification of Global Constraints (Abstract). I Principles and practice of constraint programming, CP 2015, volym 9255 av 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. I 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. I Constraints, volym 20, nummer 3, pp 325-345, 2015. (DOI).
- Anomaly detection with Machine learning: Quality assurance of statistical data in the Aid community. Examensarbete, handledare: Franck Rasmussen, examinator: Elisabet Andrésdóttir, Michael Ashcroft, UPTEC STS nr 15014, 2015. (fulltext).
- Broadcast psi-calculi with an application to wireless protocols. I Software and Systems Modeling, volym 14, nummer 1, pp 201-216, Springer, 2015. (DOI, fulltext:postprint).
- The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. I ACM Transactions on Embedded Computing Systems, volym 14, nummer 1, 2015. (DOI, fulltext:postprint).
- Clustering attributed graphs: models, measures and methods. I Network Science, volym 3, nummer 3, pp 408-444, 2015. (DOI, fulltext:postprint).
- Disjointness Domains for Fine-Grained Aliasing. I , ACM SIGPLAN NOTICES, pp 989-916, 2015. (DOI).
- Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE. I Formal Methods for Multicore Programming, volym 9104 av 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. (Extern länk).
- A structured approach to training open-ended problem solving. I 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. I Formal Methods for Multicore Programming, volym 9104 av Lecture Notes in Computer Science, pp 179-210, 2015. (DOI).
- Abstract Delta Modelling. I Mathematical Structures in Computer Science, volym 25, nummer 3, pp 482-527, Cambridge University Press, 2015.
- The 2013 Evaluation of SMT-COMP and SMT-LIB. I Journal of automated reasoning, volym 55, nummer 1, pp 61-90, 2015. (DOI).
- Competencies for paradigm shift "survival". I 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. I 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. I 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. I 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. I 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. I 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. I , IEEE Computer Society, 2015. (Extern länk, fulltext:postprint).
- Automatic irony- and sarcasm detection in Social media. Examensarbete, handledare: Magnus Sahlgren, examinator: Tomas Nyberg, Michael Ashcroft, UPTEC F nr 15045, 2015. (fulltext).
- Implied constraints for AUTOMATON constraints. I Global Conference on Artificial Intelligence: GCAI 2015, volym 36 av EasyChair Proceedings in Computing, pp 113-126, Cool Press, Manchester, UK, 2015. (Abstract).
- Concolic Testing for Functional Languages. I 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. I Programming Languages and Systems, volym 9032 av 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. I , 2015. (DOI).
- A constraint optimisation model for analysis of telecommunication protocol logs. I Tests and Proofs: TAP 2015, volym 9154 av Lecture Notes in Computer Science, pp 137-154, Springer, 2015. (DOI).
- Testing of a telecommunication protocol using constraint programming. I 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. Doktorsavhandling, 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. I Principles and practice of constraint programming, CP 2015, volym 9255 av 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. I Dependable Software Engineering: Theories, Tools, and Applications, volym 9409 av Lecture Notes in Computer Science, pp 168-182, Springer, 2015. (DOI, fulltext:preprint).
- A secure compiler for ML modules. I Programming Languages and Systems: APLAS 2015, volym 9458 av Lecture Notes in Computer Science, pp 29-48, Springer, 2015. (DOI).
- Formalizing a secure foreign function interface. I Software Engineering and Formal Methods, volym 9276 av Lecture Notes in Computer Science, pp 215-230, Springer, 2015. (DOI, fulltext:postprint).
- Defining 'Functional Products' through their constituents. I International Journal of Product Development, volym 20, nummer 1, pp 1-24, 2015. (DOI).
- Property-Based Testing of Sensor Networks. I 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. I Data Science, volym 9147 av Lecture Notes in Computer Science, pp 152-156, Springer, 2015. (DOI).
- Utilizing a NoSQL Data Store for Scalable Log Analysis. I , pp 49-55, 2015. (DOI).
- Automated auxiliary variable elimination through on-the-fly propagator generation. I Principles and Practice of Constraint Programming: CP 2015, volym 9255 av Lecture Notes in Computer Science, pp 313-329, Springer, 2015. (DOI).
- Efficient caching for constrained skyline queries. I Extending Database Technology (EDBT), 2015.
- Multidimensional analysis of creative coding MOOC forums: a methodological discussion. I 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. Volym 2015-007 av 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. I 26th International Conference on Concurrency Theory: CONCUR 2015, volym 42 av 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. I Computer languages, systems & structures, volym 42, pp 22-45, 2015. (DOI).
- Secure compilation to protected module architectures. I ACM Transactions on Programming Languages and Systems, volym 37, nummer 2, 2015. (DOI).
- Implications of anonymous assessment. I 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. I International Symposium on Artificial Intelligence and Signal Processing (AISP), pp 1-5, 2015. (DOI, ArXiv).
- Towards effective visual analytics on multiplex and multilayer networks. I Chaos, Solitons & Fractals, volym 72, pp 68-76, 2015. (DOI, fulltext:postprint).
- Contention adapting search trees. I 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. I Chaos, Solitons & Fractals, volym 72, pp 59-67, 2015. (DOI).
- Spreading processes in Multilayer Networks. I IEEE Transactions on Network Science and Engineering, volym 2, nummer 2, pp 65-83, IEEE Computer Society, 2015. (DOI, Fulltext, fulltext:postprint).
- Contextual Healing: Privacy through Interpretation Management. I 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. I British HCI 2015, pp 184-192, 2015. (DOI).
- Constraint solving on bounded string variables. I Integration of AI and OR Techniques in Constraint Programming, volym 9075 av Lecture Notes in Computer Science, pp 375-392, Springer, 2015. (DOI).
- Investigating the types and effects of missing data in multilayer networks. I International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 392-399, 2015.
- Understanding community patterns in large attributed social networks. I 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. I Science of Computer Programming, volym 101, pp 42-65, 2015. (DOI).
- Transparent inclusion, utilization, and validation of main memory domain indexes. I Proc. 27th International Conference on Scientific and Statistical Database Management, ACM Press, New York, 2015. (DOI).
- Role and position detection in networks: reloaded. I International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 320-325, 2015.
- Scalable queries over log database collections. I Data Science, volym 9147 av 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. I The Journal of logical and algebraic methods in programming, volym 85, nummer 1, pp 123-124, 2015. (DOI).
- Measuring Polymorphism in Python Programs. I DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages, volym 51:2 2016 av ACM SIGPLAN Notices, pp 114-128, ACM Press, New York, 2015. (DOI).
2014
- Optimal dynamic partial order reduction. I Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volym 49:1 av ACM SIGPLAN NOTICES, pp 373-384, ACM Press, New York, 2014. (DOI).
- Impact of cultural and language background on learning Computer Science concepts. I 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. I Molecular Pharmaceutics, volym 11, nummer 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. I Computers in industry (Print), volym 65, nummer 8, pp 1126-1135, 2014. (DOI).
- Experimental and Computational Prediction of Glass Transition Temperature of Drugs. I JOURNAL OF CHEMICAL INFORMATION AND MODELING, volym 54, nummer 12, pp 3396-3403, 2014. (DOI).
- Scientific data as RDF with arrays: Tight integration of SciSPARQL queries into MATLAB. I Proc. ISWC 2014 Posters & Demonstrations Track, volym 1272 av CEUR Workshop Proceedings, pp 221-224, RWTH Aachen University, 2014. (Fulltext).
- Programming and automating mathematics in the Tarski-Kleene hierarchy. I Journal of Logical and Algebraic Methods in Programming, volym 83, nummer 2, pp 87-102, 2014. (DOI).
- Distributed multi-query optimization of continuous clustering queries. I Proc. VLDB 2014 PhD Workshop, 2014. (fulltext:print).
- Model-based protocol log generation for testing a telecommunication test harness using CLP. I 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. I 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. I Principles and Practice of Constraint Programming: CP 2014, volym 8656 av Lecture Notes in Computer Science, pp 142-157, Springer, 2014. (DOI).
- Propagating regular counting constraints. I Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2616-2622, AAAI Press, Palo Alto, CA, 2014. (Extern länk).
- Toward sustainable development in constraint programming. I Constraints, volym 19, nummer 2, pp 139-149, 2014. (DOI).
- A Sorted Semantic Framework for Applied Process Calculi (extended abstract). I Trustworthy Global Computing: TGC 2013, volym 8358 av 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). Volym 160 av Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2014. (DOI).
- Protocol log analysis with constraint programming: Work in progress. I Satisfiability Modulo Theories: SMT 2014, volym 1163 av CEUR Workshop Proceedings, pp 17-26, RWTH Aachen University, 2014. (Fulltext).
- Enhanced learning by promoting engineering competencies. I 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. I 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. I 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. (Extern länk).
- Static safety guarantees for a low-level multithreaded language with regions. I Science of Computer Programming, volym 80, nummer Part B, pp 223-263, 2014. (DOI).
- Tabular: a schema-driven probabilistic programming language. I Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volym 49:1 av ACM SIGPLAN NOTICES, pp 321-334, ACM Press, New York, 2014. (DOI, fulltext:print).
- Advancing concurrent system verification: Type based approach and tools. Licentiatavhandling, 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. I 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. I 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. I International journal of parallel programming, volym 42, nummer 4, pp 529-545, 2014. (DOI).
- Fix the code. Don't tweak the hardware: A new compiler approach to Voltage–Frequency scaling. I 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. I Constraints, volym 19, nummer 3, pp 243-269, 2014. (DOI).
- Brief announcement: queue delegation locking. I 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. I Euro-Par 2014: Parallel Processing, volym 8632 av Lecture Notes in Computer Science, pp 572-583, Springer Berlin/Heidelberg, 2014. (DOI).
- Session types for broadcasting. I Proc. 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, volym 155 av Electronic Proceedings in Theoretical Computer Science, pp 25-31, 2014. (DOI, fulltext:print).
- Large-Scale Social Network Analysis. I Large-Scale Data Analytics, pp 155-187, Springer, 2014. (DOI).
- Operational Semantics for Secure Interoperation. I Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014.
- Use of cloud services in functional products: Availability implications. I Procedia CIRP, volym 16, pp 368-372, 2014. (DOI).
- Evaluating availability of functional products through simulation. I Simulation Modelling Practice and Theory, volym 47, pp 196-209, 2014. (DOI).
- Efficient and Flexible Sensornet Checkpointing. I Wireless Sensor Networks, volume 8354, pp -65, 2014. (DOI, Conference website).
- Multiple social networks, data models and measures for. I Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
- Path-based and Whole Network Measures. I Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
- Taking the Big Picture: Representative Skylines based on Significance and Diversity. I The VLDB journal, volym 23, nummer 5, pp 795-815, Springer Berlin/Heidelberg, 2014. (DOI).
- A propagator design framework for constraints over sequences. I Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2710-2716, AAAI Press, Palo Alto, CA, 2014. (Extern länk).
- Higher-order psi-calculi. I Mathematical Structures in Computer Science, volym 24, nummer 2, Cambridge University Press, 2014. (DOI, fulltext:postprint).
- Fully abstract trace semantics for low-level isolation mechanisms. I 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. I Proc. World Engineering Education Forum, pp 969-970, 2014.
- More scalable ordered set for ETS using adaptation. I Proc. 13th ACM SIGPLAN Workshop on Erlang, pp 3-11, ACM Press, New York, 2014. (DOI).
- CPS2: a Contextual Privacy Framework for Social Software. I 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. I , IEEE Computer Society, 2014.
- MOOCs and their impact on academics. I 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. I Database Systems for Advanced Applications, Dasfaa 2014, PT I, volym 8421 av Lecture Notes in Computer Science, pp 95-109, 2014.
- Scaling Future Software: The Manycore Challenge. 2014. (Extern länk).
- Priorities Without Priorities: Representing Preemption in Psi-Calculi. I Proc. 21st International Workshop on Expressiveness in Concurrency, and 11th Workshop on Structural Operational Semantics, volym 160 av 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. I Proc. 9th International Conference on e-Science, pp 98-106, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI).
- Kleene Algebra. I Archive of Formal Proofs, 2013. (Extern länk).
- Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. I Interactive Theorem Proving: ITP 2013, volym 7998 av Lecture Notes in Computer Science, pp 197-212, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
- On using Erlang for parallelization: Experience from parallelizing Dialyzer. I Trends in Functional Programming, volym 7829 av Lecture Notes in Computer Science, pp 295-310, Springer Berlin/Heidelberg, 2013. (DOI).
- Performing Decision-Theoretic Inference in Bayesian Network Ensemble Models. I Twelfth Scandinavian Conference on Artificial Intelligence, volym 257 av Frontiers in Artificial Intelligence and Applications, pp 25-34, 2013. (DOI).
- Grand challenge: Implementation by frequently emitting parallel windows and user-defined aggregate functions. I 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. I Constraints, volym 18, nummer 1, pp 108-140, 2013. (DOI).
- On the reification of global constraints. I Constraints, volym 18, nummer 1, pp 1-6, 2013. (DOI).
- Deriving Probability Density Functions from Probabilistic Functional Programs. I 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, volym 7795 av Lecture Notes in Computer Science, pp 508-522, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
- A Parametric Tool for Applied Process Calculi. I 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. I Logical Methods in Computer Science, volym 9, nummer 3, p 11, 2013. (DOI, arXiv page).
- Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics. Volym 120 av Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2013. (DOI, Fulltext).
- RELEASE: A high-level paradigm for reliable large-scale server software. I Trends in Functional Programming, volym 7829 av Lecture Notes in Computer Science, pp 263-278, Springer Berlin/Heidelberg, 2013. (DOI).
- Efficient GPU-based skyline computation. I Proceedings of the Ninth International Workshop on Data Management on New Hardware (DaMoN @ SIGMOD), 2013. (DOI, Extern länk).
- Fördjupat lärande genom aktiverande examination. I 4:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, pp 51-54, 2013.
- Systematic testing for detecting concurrency errors in Erlang programs. I Proc. 6th International Conference on Software Testing, Verification and Validation, pp 154-163, IEEE Computer Society, 2013. (DOI).
- Bayesian Inference Using Data Flow Analysis. I 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. I Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volym 7850 av Lecture Notes in Computer Science, pp 1-6, Springer Berlin/Heidelberg, 2013. (DOI).
- Ownership Types: A Survey. I Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volym 7850 av Lecture Notes in Computer Science, pp 15-58, Springer Berlin/Heidelberg, 2013. (DOI).
- Spatio-Temporal Keyword Queries in Social Networks. I 17th East-European Conference on Advances in Databases and Information Systems (ADBIS), pp 70-83, 2013. (DOI, Extern länk).
- Automatic airspace sectorisation: A survey. Computing Research Repository nr 1311.0653, 2013. (Extern länk).
- Generation of implied constraints for automaton-induced decompositions. I Proc. 25th International Conference on Tools with Artificial Intelligence, pp 1076-1083, IEEE Computer Society, 2013. (DOI).
- A Model-Learner Pattern for Bayesian Reasoning. I Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, volym 48 av 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. I 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. Doktorsavhandling, 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. I Principles and Practice of Constraint Programming: CP 2013, volym 8124 av 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. I Journal of Heuristics, volym 19, nummer 5, pp 729-756, 2013. (DOI).
- Dynamic and speculative polyhedral parallelization of loop nests using binary code patterns. I ICCS 2013, volym 18 av Procedia Computer Science, pp 2575-2578, 2013. (DOI, fulltext:postprint).
- Online dynamic dependence analysis for speculative polyhedral parallelization. I Euro-Par 2013 Parallel Processing, volym 8097 av Lecture Notes in Computer Science, pp 191-202, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
- Airspace sectorisation using constraint-based local search. I 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. I International Journal of Planning and Scheduling, volym 1, nummer 4, pp 264-284, 2013. (DOI).
- On the scalability of the Erlang term storage. I Proc. 12th ACM SIGPLAN Workshop on Erlang, pp 15-26, ACM Press, New York, 2013. (DOI).
- Network-Wide Sensornet Checkpointing Made Practical. I 10th European Conference on Wireless Sensor Networks, 2013.
- Factors Enabling Information Propagation in a Social Network Site. I The Influence of Technology on Social Network Analysis and Mining, pp 411-426, Springer Vienna, 2013. (DOI, Extern länk).
- Formation of multiple networks. I Social Computing, Behavioral-Cultural Modeling and Prediction, pp 257-264, Springer Berlin Heidelberg, 2013. (DOI, Extern länk).
- From stars to galaxies: skyline queries on aggregate data. I Proceedings of the 16th International Conference on Extending Database Technology, pp 477-488, 2013. (DOI, Extern länk).
- On multidimensional network measures. I Italian Conference on Sistemi Evoluti per le Basi di Dati (SEBD), 2013.
- Pareto Distance for Multi-layer Network Analysis. I Social Computing, Behavioral-Cultural Modeling and Prediction, volym 7812 av Lecture Notes in Computer Science, pp 249-256, 2013. (DOI, Extern länk).
- SkyView: a user evaluation of the skyline operator. I Proceedings of the ACM Conference on Information and Knowledge Management (CIKM), pp 2249-2254, 2013. (DOI, Extern länk).
- A parametric propagator for discretely convex pairs of sum constraints. I Principles and Practice of Constraint Programming: CP 2013, volym 8124 av Lecture Notes in Computer Science, pp 529-544, Springer Berlin/Heidelberg, 2013. (DOI).
- Des propagateurs indépendants des solveurs. I 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. I 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. I Wireless networks, volym 19, nummer 1, pp 115-130, 2013. (DOI).
- Novice students' perception of learning in small groups. I 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. I Proc. 43rd ASEE/IEEE Frontiers in Education Conference, pp 257-263, IEEE, Piscataway, NJ, 2013. (DOI).
- Using Competencies to Structure Scientific Writing Education. I HDI 2012 – Informatik für eine nachhaltige Zukunft, volym 5 av Commentarii informaticae didacticae (CID), pp 33-44, Universitätsverlag Potsdam, Potsdam, 2013. (Extern länk).
- Secure compilation of Object-Oriented components to protected module architectures. I Programming Languages and Systems, volym 8301 av 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. I Procedia CIRP, volym 11, pp 420-424, 2013. (DOI).
- Precise explanation of success typing errors. I 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. I Proc. Security and Privacy Workshops 2013, IEEE Computer Society, 2013. (DOI).
- Bounded strings for constraint programming. I 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. Doktorsavhandling, 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. I 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. I International Journal of Engineering Pedagogy, volym 3, nummer 1, pp 36-43, 2013.
- Teaching information and software security courses in regular and distance learning programs: Education theory and practice, framework, and examples. I Proc. 4th Global Engineering Education Conference, pp 44-49, IEEE, Piscataway, NJ, 2013. (DOI).
- Structured Aliasing. I Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volym 7850 av Lecture Notes in Computer Science, pp 512-513, Springer Berlin/Heidelberg, 2013. (DOI).
- Model-based validation of streaming data. I 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. Licentiatavhandling, 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. (Extern länk).
2012
- Constraint programming for air traffic management: a survey. I Knowledge engineering review (Print), volym 27, nummer 3, pp 361-392, 2012. (DOI).
- Scientific SPARQL: Semantic web queries over scientific data. I Proc. 28th International Conference on Data Engineering Workshops, pp 5-10, IEEE Computer Society, 2012. (DOI).
- A scalability benchmark suite for Erlang/OTP. I 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. I 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. I Business Informatics, volym 3, nummer 25, 2012.
- Scalable ordered indexing of streaming data. I 3rd International Workshop on Accelerating Data Management Systems using Modern Processor and Storage Architectures, p 11, 2012. (Fulltext).
- Professionella kompetenser i projektkurser. I Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, volym 75 av Linköping Electronic Conference Proceedings, pp 123-128, Linköping University Electronic Press, 2012. (Extern länk).
- The impact of trace and adversary models on location privacy provided by K-anonymity. I Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI).
- Privacy preserving data publishing for recommender system. I Proc. 36th International Computer Software and Applications Conference Workshops, pp 128-133, IEEE Computer Society, 2012. (DOI).
- Constraint Programming for Air Traffic Management: Preface. I Knowledge engineering review (Print), volym 27, nummer 3, pp 287-289, 2012. (DOI).
- An optimisation-based approach for wireless sensor deployment in mobile sensing environments. I 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. I 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. I Risk Assessment and Management, pp 385-401, Publishing Services LLC, Cheyenne, WY, 2012. (Extern länk).
- Computing Strong and Weak Bisimulations for Psi-Calculi. I Journal of Logic and Algebraic Programming, volym 81, nummer 3, pp 162-180, Elsevier, 2012. (DOI).
- Combinatorial problem solving over relational databases: View synthesis through constraint-based local search. I Proc. 27th ACM Symposium on Applied Computing, pp 80-87, ACM Press, New York, 2012. (DOI).
- Towards solver-independent propagators. I Principles and Practice of Constraint Programming: CP 2012, volym 7514 av Lecture Notes in Computer Science, pp 544-560, Springer Berlin/Heidelberg, 2012. (DOI, fulltext:postprint).
- Progression i skrivfärdigheter hos studenter i datavetenskap. I 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. I Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 11-20, ACM Press, New York, 2012. (DOI).
- Proof Exchange for Theorem Proving: PxTP 2012. Volym 878 av CEUR Workshop Proceedings, 2012. (Proceedings).
- Extending psi-calculi and their formal proofs. Licentiatavhandling, 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. I Transactions on Large-Scale Data- and Knowledge-Centered Systems V, volym 7100 av Lecture Notes in Computer Science, pp 49-69, Springer, 2012. (DOI).
- ErLLVM: An LLVM backend for Erlang. I Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 21-32, ACM Press, New York, 2012. (DOI).
- Logics and Algorithms for Verification of Concurrent Systems. Doktorsavhandling, 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. I Proc. 1st International Conference on Theory and Practice in Modern Computing, pp 35-44, IADIS Press, 2012.
- Educational methods for software and systems development. I 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. I Journal of Aerospace Operations, volym 1, pp 249-266, 2012. (DOI).
- On the use of underspecified data-type semantics for type safety in low-level code. I Proc. 7th Conference on Systems Software Verification: SSV 2012, volym 102 av Electronic Proceedings in Theoretical Computer Science, pp 73-87, 2012. (DOI).
- Structured Aliasing. I ECOOP 2012 – Object-Oriented Programming, volym 7313 av Lecture Notes in Computer Science, pp 232-232, Springer Berlin/Heidelberg, 2012. (DOI).
- Multiple Aggregate Entry Points for Ownership Types. I ECOOP 2012 – Object-Oriented Programming, volym 7313 av 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. I ECOOP 2011 – Object-Oriented Programming, volym 6813 av 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. I Logical Methods in Computer Science, volym 7, nummer 1, p 11, 2011. (DOI).
- Refinement types for secure implementations. I ACM Transactions on Programming Languages and Systems, volym 33, nummer 2, pp 8:1-45, 2011. (DOI).
- Broadcast Psi-calculi with an Application to Wireless Protocols. I Software Engineering and Formal Methods: SEFM 2011, volym 7041 av Lecture Notes in Computer Science, pp 74-89, Springer Berlin/Heidelberg, 2011. (DOI, fulltext:postprint).
- Verified Stateful Programs with Substructural State and Hoare Types. I 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. I Practical Aspects of Declarative Languages, volym 6539 av Lecture Notes in Computer Science, pp 5-18, Springer Berlin/Heidelberg, 2011. (DOI).
- Consistency of constraint networks induced by automaton-based constraint specifications. I 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. I 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. I 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. I Fundamenta Informaticae, volym 107, pp 223-248, 2011. (DOI).
- A quadratic edge-finding filtering algorithm for cumulative resource constraints. I Principles and Practice of Constraint Programming – CP 2011, volym 6876 av 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. Examensarbete, handledare: Mats Axelsson, examinator: Elísabet Andrésdóttir, Roland Bol, UPTEC STS nr 11040, 2011. (fulltext).
- Adaptive parallelization of queries calling dependent data providing web services. I New Frontiers in Information and Software as Services: Service and Application Design Challenges in the Cloud, volym 74 av Lecture Notes in Business Information Processing, pp 132-154, Springer-Verlag, Berlin, 2011. (DOI).
- Optimizing Unbound-property Queries to RDF Views of RelationalDatabases. I , pp 43-58, Bonn, Germany, 2011. (Extern länk).
- Demonstrating early value in software system projects using software and system cost models. I Proc. 26th International Forum on Systems/Software Cost Modeling, University of Southern California, Los Angeles, CA, 2011.
- Quantitative framework for managing software life cycle. I The Open Software Engineering Journal, volym 5, pp 1-18, 2011. (DOI).
- Lower trees with fixed degrees: a recipe for efficient secure hierarchical aggregation in WSNs. I 2011 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), pp 659-664, IEEE Computer Society, 2011. (DOI).
- A scalable architecture for e-Science data management. I 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. I 36th International Conference on Very Large Data Bases: VLDB 2010, 2011.
- Scalable Parallelization of Expensive Continuous Queries over Massive Data Streams. Doktorsavhandling, 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. I Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volym 6140 av Lecture Notes in Computer Science, pp 10-24, Springer-Verlag, Berlin, 2010. (DOI).
- Tribal ownership. I Proc. 1st International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, volym 45:10 av ACM SIGPLAN Notices, pp 618-633, ACM Press, New York, 2010. (DOI).
- Static detection of race conditions in Erlang. I Practical Aspects of Declarative Languages: PADL 2010, volym 5937 av Lecture Notes in Computer Science, pp 119-133, Springer-Verlag, Berlin, 2010. (DOI).
- Inductive programming. I 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. I Encyclopedia of Machine Learning, pp 805-805, Springer, New York, 2010. (DOI).
- Trace-based programming. I Encyclopedia of Machine Learning, pp 989-989, Springer, New York, 2010. (DOI).
- A concurrent language with a uniform treatment of regions and locks. I Proc. 2nd Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software: PLACES 2009, volym 17 av Electronic Proceedings in Theoretical Computer Science, pp 79-93, 2010. (DOI).
- Race-free and memory-safe multithreading: Design and implementation in Cyclone. I 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. I 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. I Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volym 18 av Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).
- Weak Equivalences in Psi-calculi. I Proc. 25th Symposium on Logic in Computer Science: LICS 2010, pp 322-331, IEEE, Piscataway, NJ, 2010. (DOI).
- Local search over relational databases. I 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. I International Journal of Web and Grid Services (IJWGS), volym 6, nummer 4, pp 400-423, 2010. (DOI).
- Querying Data Providing Web Services. Doktorsavhandling, 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. I Functional and Logic Programming: FLOPS 2010, volym 6009 av Lecture Notes in Computer Science, pp 13-18, Springer-Verlag, Berlin, 2010. (DOI).
- SPARQL queries to RDFS views of Topic Maps. I International Journal of Metadata, Semantics and Ontologies (IJMSO), volym 5, nummer 1, pp 1-16, Inderscience, 2010. (DOI).
- Agile software development and ISO-IEC software quality standards: Measuring economic benefits and calculating quantitative yields. I 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. I 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. I Principles and Practice of Constraint Programming – CP 2010, volym 6308 av Lecture Notes in Computer Science, pp 643-657, Springer-Verlag, Berlin, 2010. (DOI).
- Scalable Splitting of Massive Data Streams. I Database Systems for Advanced Applications: Part II, volym 5982 av Lecture Notes in Computer Science, pp 184-198, Springer-Verlag, Berlin, 2010. (DOI, fulltext).
- Welterweight Java. I Objects, Models, Components, Patterns, volym 6141 av Lecture Notes in Computer Science, pp 97-116, Springer-Verlag, Berlin, 2010. (DOI).