Till innehåll på sidan


Nedan listas avdelningens 50 senaste publikationer. En hel förteckning i DiVA kan nås via länken längst ner på sidan.

Senaste publikationer

J. Simonsson et al., "Observability and Chaos Engineering on System Calls for Containerized Applications in Docker," Future generations computer systems, vol. 122, s. 117-129, 2021.
L. Zhang et al., "Maximizing Error Injection Realism for Chaos Engineering with System Calls," IEEE Transactions on Dependable and Secure Computing, 2021.
B. Danglot et al., "An approach and benchmark to detect behavioral changes of commits in continuous integration," Journal of Empirical Software Engineering, vol. 25, no. 4, s. 2379-2415, 2020.
W. Oortwijn, D. Gurov och M. Huisman, "An Abstraction Technique for Verifying Shared-Memory Concurrency," Applied Sciences, vol. 10, no. 11, 2020.
J. van den Brand, "A Deterministic Linear Program Solver in Current Matrix Multiplication Time," i Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, SODA 2020, 2020, s. 259-278.
X. Zhao och P. Haller, "Consistency types for replicated data in a higher-order distributed programming language," The Art, Science, and Engineering of Programming, vol. 5, no. 2, 2021.
M.-H. Le et al., "AnonFACES : Anonymizing Faces Adjusted to Constraints on Efficacy and Security," i Proceedings of the 19th Workshop on Privacy in the Electronic Society, 2020, s. 87-100.
A. Coto, R. Guanciale och E. Tuosto, "Choreographic development of message-passing applications : a tutorial," i Lecture Notes in Computer Science book series, 2020, s. 20-36.
H. Ye et al., "A comprehensive study of automatic program repair on the QuixBugs benchmark," Journal of Systems and Software, vol. 171, 2021.
M. Balliu et al., "Friendly Fire : Cross-App Interactions in IoT Platforms," ACM Transactions on Privacy and Security (TOPS), vol. 24, no. 3, s. 1-40, 2021.
M. Shcherbakov och M. Balliu, "SerialDetector: Principled and Practical Exploration of Object Injection Vulnerabilities for the Web," i Proceedings of the Network and Distributed System Security Symposium (NDSS 2021), 2021.
R. Guanciale och E. Tuosto, "PomCho : Atool chain for choreographic design," Science of Computer Programming, vol. 202, 2021.
X. Zhao, "Language-based Approaches to Safe and Efficient Distributed Programming," Doktorsavhandling Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2021:6, 2021.
R. Glassey et al., "Addressing the double challenge of learning and teaching enterprise technologies through peer teaching," i Proceedings - International Conference on Software Engineering, 2020, s. 130-138.
P. Rozenshtein, N. Tatti och A. Gionis, "The network-untangling problem : from interactions to activity timelines," Data mining and knowledge discovery, vol. 35, no. 1, s. 213-247, 2021.
D. Gurov, P. Herber och I. Schaefer, "Automated Verification of Embedded Control Software : Track Introduction," i Leveraging Applications of Formal Methods, Verification and Validation : Applications, 2020, s. 235-239.
J. Elffers och J. Nordström, "A cardinal improvement to pseudo-boolean solving," i AAAI 2020 - 34th AAAI Conference on Artificial Intelligence, 2020, s. 1495-1503.
I. Vistbakka och E. Troubitsyna, "Analysing Privacy-Preserving Constraints in Microservices Architecture," i Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020, 2020, s. 1089-1090.
A. Coto, R. Guanciale och E. Tuosto, "An abstract framework for choreographic testing," (Manuskript).
O. Bälter, R. Glassey och M. Wiggberg, "Reduced Learning Time with Maintained Learning Outcomes," i Proceedings of the 52nd ACM Technical Symposium on Computer Science Education, 2021, s. 660-665.
F. Adriaens et al., "Block-approximated exponential random graphs," i Proceedings - 2020 IEEE 7th International Conference on Data Science and Advanced Analytics, DSAA 2020, 2020, s. 70-80.
H. Ye, M. Martinez och M. Monperrus, "Automated patch assessment for program repair at scale," Journal of Empirical Software Engineering, vol. 26, no. 2, 2021.
J. Cabrera Arteaga et al., "CROW: Code Diversification for WebAssembly," i MADWeb, NDSS 2021, 2021.
J. Chuzhoy et al., "A deterministic algorithm for balanced cut with applications to dynamic connectivity, flows, and beyond," i Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS, 2020, s. 1158-1167.
C. Soto Valero et al., "A comprehensive study of bloated dependencies in the Maven ecosystem," Journal of Empirical Software Engineering, vol. 26, no. 3, 2021.
J. van den Brand et al., "Bipartite Matching in Nearly-linear Time on Moderately Dense Graphs," i 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, November 16-19, 2020, 2020, s. 919-930.
J. van den Brand, "Unifying Matrix Data Structures : Simplifying and Speeding up Iterative Algorithms," i 4th Symposium on Simplicity in Algorithms, SOSA 2021, Virtual Conference, January 11-12, 2021, 2021, s. 1-13.
J. van den Brand et al., "Minimum Cost Flows, MDPs, and L1-Regression in Nearly Linear Time for Dense Instances," i Proccedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, Rome, Italy, June 21-25, 2021, 2021.
S. Varga, J. Brynielsson och U. Franke, "Cyber-threat perception and risk management in the Swedish financial sector," Computers & security (Print), vol. 105, 2021.
V. Palmkvist et al., "Resolvable ambiguity : Principled resolution of syntactically ambiguous programs," i CC 2021 : Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, 2021.
D. Helm et al., "A programming model for semi-implicit parallelization of static analyses," i Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, s. 428-439.
A. Oak et al., "Language Support for Secure Software Development with Enclaves," i IEEE Computer Security Foundations Symposium (CSF 2021), 2021.
C. $$$Muvva, M. Natarajan Arul och V. Subramanian, "Assessment of Amyloid Forming Tendency of Peptide Sequences from Amyloid Beta and Tau Proteins Using Force-Field, Semi-Empirical, and Density Functional Theory Calculations," International Journal of Molecular Sciences, vol. 22, no. 6, 2021.
J. van den Brand, "Dynamic Matrix Algorithms and Applications in Convex and Combinatorial Optimization," Doktorsavhandling Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2021:31, 2021.
M. M. Ahmadpanah et al., "SandTrap: Securing JavaScript-driven Trigger-Action Platforms," i USENIX Security Symposium (USENIX Security 2021), 2021.
Z. Yu et al., "Characterizing the Usage, Evolution and Impact of Java Annotations in Practice," IEEE Transactions on Software Engineering, vol. 47, no. 5, s. 969-986, 2021.
C. Artho och P. C. Olveczky, "Formal Techniques for Safety-Critical Systems (FTSCS 2018) Preface," Science of Computer Programming, vol. 208, 2021.
E. Riese och V. Kann, "Computer Science Majors’ Experiences of Their Distance Education Caused by the COVID-19 Pandemic," i 2021 IEEE Global Engineering Education Conference (EDUCON), 2021, s. 393-397.
R. Dutta et al., "Temporal and diurnal variation in social media posts to a suicide support forum," BMC Psychiatry, vol. 21, no. 1, 2021.
B. Baudry et al., "A Software-Repair Robot Based on Continual Learning," IEEE Software, vol. 38, no. 4, s. 28-35, 2021.
K. Norrman, V. Sundararajan och A. Bruni, "Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices," i Proceedings of the 18th International Conference on Security and Cryptography, 2021.
E. Riese et al., "Challenges Faced by Teaching Assistants in Computer Science Education Across Europe," i ITiCSE 2021 : 26th ACM Conference on Innovation and Technology in Computer Science Education, 2021, s. 547-553.
K. Meinke, "Active Machine Learning to Test Autonomous Driving," i 2021 Ieee International Conference On Software Testing, Verification And Validation Workshops (Icstw 2021), 2021, s. 286-286.
M. Henzinger, S. Krinninger och D. Na Nongkai, "A deterministic almost-tight distributed algorithm for approximating single-source shortest paths," SIAM journal on computing (Print), vol. 50, no. 3, 2021.
B. Baudry och M. Monperrus, "Science-changing Code," Association for Computing Machinery (ACM), 2021.
A. Oak et al., "Enclave-Based Secure Programming with JE," i IEEE Secure Development Conference (SecDev'21), 2021.
R. M. Tsoupidi, M. Balliu och B. Baudry, "Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly," i IEEE Secure Development Conference (SecDev'21), 2021.
Fullständig lista i KTH:s publikationsportal