Publications

Here are the 50 latest publications from the MCS group.

[1]
M. Boman, "Artificial Intelligence in Cities of the Future : Viable Cities Report 2019:1," Stockholm, Viable Cities Report 2019: 1, Foresight Technical Report, 2019.
[2]
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.
[3]
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.
[4]
R. Castañeda Lozano and C. Schulte, "Survey on Combinatorial Register Allocation and Instruction Scheduling," ACM Computing Surveys, vol. 52, no. 3, 2019.
[5]
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.
[6]
G. Hjort Blindell, "Universal Instruction Selection," Doctoral thesis : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2018:11, 2018.
[7]
C. Gomes et al., "Co-Simulation : A Survey," ACM Computing Surveys, vol. 51, no. 3, 2018.
[9]
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.
[10]
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.
[11]
R. Castañeda Lozano and C. Schulte, "Survey on Combinatorial Register Allocation and Instruction Scheduling," ACM Computing Surveys, 2018.
[12]
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.
[14]
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.
[15]
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.
[16]
S. Borlenghi, M. Boman and A. Delin, "Modeling reservoir computing with the discrete nonlinear Schrodinger equation," Physical review. E, vol. 98, no. 5, 2018.
[17]
G. Hjort Blindell et al., "Complete and Practical Universal Instruction Selection," ACM Transactions on Embedded Computing Systems, 2017.
[18]
M. Boman and E. Kruse, "Supporting global health goals with information and communications technology," Global Health Action, vol. 10, 2017.
[19]
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.
[20]
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.
[21]
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.
[22]
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.
[23]
D. Corcoran et al., "Data Driven Selection of DRX for Energy Efficient 5G RAN," in 2017 13TH INTERNATIONAL CONFERENCE ON NETWORK AND SERVICE MANAGEMENT (CNSM), 2017.
[24]
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.
[25]
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.
[26]
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.
[27]
[28]
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.
[29]
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.
[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.
[31]
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.
[32]
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.
[33]
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.
[34]
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.
[35]
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.
[37]
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.
[39]
G. Hjort Blindell et al., "Modeling Universal Instruction Selection," in Principles and Practice of Constraint Programming : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings, 2015, pp. 609-626.
[40]
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.
[41]
T. Heger and M. Boman, "Networked foresight : The case of EIT ICT Labs," Technological forecasting & social change, vol. 101, pp. 147-164, 2015.
[42]
M. Boman and P. Sanches, "Sensemaking in Intelligent Data Analytics," Künstliche Intelligenz, 2015.
[43]
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.
[44]
M. Weiss et al., "Time-Aware Applications, Computers, and Communication Systems (TAACCS)," NIST, NIST Technical Note, 1867, 2015.
[45]
H. Kim et al., "A Predictable and Command- Level Priority-Based DRAM Controller for Mixed-Criticality Systems," in Proceedings of the 21th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015, pp. 317-326.
[46]
A. Desai et al., "Approximate synchrony: An abstraction for distributed almost-synchronous systems," in Proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, 2015, pp. 429-448.
[47]
J. Larson, M. Johansson and M. Carlsson, "An integrated constraint programming approach to scheduling sports leagues with divisional and round-robin tournaments," in 11th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, 2014, pp. 144-158.
[48]
M. Vasilevskaya, D. Broman and K. Sandahl, "An Assessment Model for Large Project Courses," in Proceedings of the 45th ACM Technical Symposium on Computer Science Education (SIGCSE), 2014, pp. 253-258.
[49]
M. Boman, "Who Were Where When? : On the Use of Social Collective Intelligence in Computational Epidemiology," in Social Collective Intelligence, Daniele Miorandi, Vincenzo Maltese, Michael Rovatsos, Anton Nijholt and James Stewart Ed., Switzerland : Springer, 2014, pp. 203-225.
[50]
M. Boman, "Speedwriting in Networked Foresight," in Innovation for Sustainable Economy & Society : The Proceedings of The XXV ISPIM Conference 2014, 2014.
Full list in the KTH publications portal