Here are the 50 latest publications from the MCS group.
K. Ghoorchian, M. Sahlgren and M. Boman, "An Efficient Graph-Based Model for Learning Representations," (Manuscript).
M. Boman, "Artificial Intelligence in Cities of the Future : Viable Cities Report 2019:1," Stockholm, Viable Cities Report 2019: 1, Foresight Technical Report, 2019.
V. Palmkvist and D. Broman, "Creating domain-specific languages by composing syntactical constructs," in 21st International Symposium on Practical Aspects of Declarative Languages, PADL 2019, 2019, pp. 187-203.
D. Harz and M. Boman, "The scalability of trustless trust," in 22nd International Conference on Financial Cryptography and Data Security, FC 2018, 2019, pp. 279-293.
M. Boman et al., "Learning machines in Internet-delivered psychological treatment," Progress in artificial intelligence, vol. 8, no. 4, pp. 475-485, 2019.
M. Boman and T. Heger, "Circles of Impression : External Foresight in Global Enterprises," in Futures Thinking and Organizational Policy, D. A. Schreiber and Z. L. Berge Ed., Cham : Palgrave Macmillan, 2019, pp. 179-199.
R. Castañeda Lozano and C. Schulte, "Survey on Combinatorial Register Allocation and Instruction Scheduling," ACM Computing Surveys, vol. 52, no. 3, 2019.
S. Frimodig and C. Schulte, "Models for Radiation Therapy Patient Scheduling," in 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, 2019, pp. 421-437.
R. Castañeda Lozano et al., "Combinatorial register allocation and instruction scheduling," ACM Transactions on Programming Languages and Systems, vol. 41, no. 3, 2019.
L. Kroll et al., "Arc : An IR for batch and stream programming," in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2019, pp. 53-58.
K.-A. Tran et al., "Static Instruction Scheduling for High Performance on Limited Hardware," I.E.E.E. transactions on computers (Print), vol. 67, no. 4, pp. 513-527, 2018.
C. Gomes et al., "Co-Simulation : A Survey," ACM Computing Surveys, vol. 51, no. 3, 2018.
R. Castañeda Lozano et al., "Combinatorial Register Allocation and Instruction Scheduling," , 2018.
M. Magnusson et al., "Sparse Partially Collapsed MCMC for Parallel Inference in Topic Models," Journal of Computational And Graphical Statistics, vol. 27, no. 2, pp. 449-463, 2018.
D. Broman, "Hybrid Simulation Safety : Limbos and Zero Crossings," in Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, : Springer, 2018, pp. 106-121.
M. Boman and O. Kordas, "SWOT-analys av hur artificiell intelligens och maskininlärning påverkar Viable Cities : April 2018 – Viable Cities info 2018:1," Stockholm, Viable Cities Report 2018:2, Info, 2018.
F. Cremona et al., "Hybrid Co-simulation : It's about time," in Proceedings - 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, 2018.
S. Natarajan and D. Broman, "Timed C : An Extension to the C Programming Language for Real-Time Systems," in 24TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS 2018), 2018, pp. 227-239.
S. Borlenghi, M. Boman and A. Delin, "Modeling reservoir computing with the discrete nonlinear Schrodinger equation," Physical review. E, vol. 98, no. 5, 2018.
L. Murray et al., "Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs," in Proceeding of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 2018.
M. Boman et al., "Learning Machines," in Learning, Inference and Control of Multi-Agent Systems, 2018, pp. 610-613.
G. Hjort Blindell, "Universal Instruction Selection," Doctoral thesis : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2018:11, 2018.
R. Castañeda Lozano and C. Schulte, "Survey on Combinatorial Register Allocation and Instruction Scheduling," ACM Computing Surveys, 2018.
L. Ingmar and C. Schulte, "Making Compact-Table Compact," in 24th International Conference on the Principles and Practice of Constraint Programming, CP 2018, 2018, pp. 210-218.
M. Boman and E. Kruse, "Supporting global health goals with information and communications technology," Global Health Action, vol. 10, 2017.
M. Carlsson, M. Johansson and J. Larson, "Scheduling double round-robin tournaments with divisional play using constraint programming," European Journal of Operational Research, vol. 259, no. 3, pp. 1180-1190, 2017.
Y. Kim, D. Broman and A. Shrivastava, "Wcet-aware function-level dynamic code management on Scratchpad memory," ACM Transactions on Embedded Computing Systems, vol. 16, no. 4, 2017.
H. Kim et al., "An Architectural Mechanism for Resilient IoT Services," in SafeThings 2017 - Proceedings of the 1st ACM International Workshop on the Internet of Safe Things, Part of SenSys 2017, 2017, pp. 8-13.
H. Kim et al., "A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things," in Internet-of-Things Design and Implementation (IoTDI), 2017 IEEE/ACM Second International Conference on, 2017, pp. 147-158.
D. Broman and J. G. Siek, "Gradually typed symbolic expressions," in PEPM 2018 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2018, 2017, pp. 15-29.
G. Hjort Blindell et al., "Complete and Practical Universal Instruction Selection," ACM Transactions on Embedded Computing Systems, 2017.
J. D. Scott et al., "Design and implementation of bounded-length sequence variables," in 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, CPAIOR 2017, 2017, pp. 51-67.
D. Corcoran et al., "Data Driven Selection of DRX for Energy Efficient 5G RAN," in 13th International Conference on Network and Service Management (CNSM), 2017, 2017, pp. 1-9.
G. Hjort Blindell, Instruction Selection : Principles, Methods, & Applications. Springer, 2016.
G. Hjort Blindell, C. Menne and I. Sander, "Synthesizing Code for GPGPUs from abstract formal models," in 16th Conference on Languages, Design Methods, and Tools for Electronic System Design, FDL 2014, 2016, pp. 115-134.
V. Kozma and D. Broman, "MORAP : a Modular Robotic Arm Platform for Teaching and Experimenting with Equation-based Modeling Languages [Work in Progress]," in Proceedings of 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), 2016, pp. 27-30.
L. Jonsson et al., "Automated bug assignment : Ensemble-based machine learning in large scale industrial contexts," Journal of Empirical Software Engineering, vol. 21, no. 4, pp. 1533-1578, 2016.
J. H. M. Lee, C. Schulte and Z. Zhu, "Increasing Nogoods in Restart-Based Search," in AAAI Conference on Artificial Intelligence, 2016, pp. 3426-3433.
F. Cremona et al., "Step Revision in Hybrid Co-simulation with FMI," in Proceedings of the 14th ACM-IEEE International Conference on formal Methods and Models for System Design (MEMOCODE), 2016.
I. Fuhrmann et al., "Time for Reactive System Modeling : Interactive Timing Analysis with Hotspot Highlighting," in In Proceedings of the 24th International Conference on Real-Time Networks and Systems (RTNS 2016), 2016.
R. Castañeda Lozano et al., "Register allocation and instruction scheduling in Unison," in Proceedings of CC 2016 : The 25th International Conference on Compiler Construction, 2016, pp. 263-264.
L. Jonsson et al., "Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems using Bayesian Classification," in 2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2016), 2016, pp. 425-432.
M. Boman and C. Gullström, "Mediated Futures : Technical Foresight report. European Institute of Innovation and Technology, EIT ICT Labs," Stockholm, 2015.
C. Gullström and M. Boman, "Smart Collaboration Spaces : Technical Foresight report. European Institute of Innovation and Technology, EIT ICT Labs," Stockholm : KTH Royal Institute of Technology, 2015.
C. Gullström and M. Boman, "Analogue Friday 1: Thumbs Up! and Analogue Friday 2: InstaYum! : Impact event and film production," , 2015.
M. Vasilevskaya, D. Broman and K. Sandahl, "Assessing Large-Project Courses: Model, Activities, and Lessons Learned," ACM Transactions on Computing Education, vol. 15, no. 4, 2015.
T. Heger and M. Boman, "Networked foresight : The case of EIT ICT Labs," Technological forecasting & social change, vol. 101, pp. 147-164, 2015.
M. Boman and P. Sanches, "Sensemaking in Intelligent Data Analytics," Künstliche Intelligenz, 2015.
D. Broman et al., "Requirements for Hybrid Cosimulation Standards," in Proceedings of 18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2015, pp. 179-188.
M. Weiss et al., "Time-Aware Applications, Computers, and Communication Systems (TAACCS)," NIST, NIST Technical Note, 1867, 2015.