Skip to main content
To KTH's start page

Publications

Link to the full list   in the KTH publication portal.

TCS Publications, 50 latest

[1]
E. Cornelissen, M. Shcherbakov and M. Balliu, "GHunter : Universal Prototype Pollution Gadgets in JavaScript Runtimes," in Proceedings of the 33rd USENIX Security Symposium, 2024, pp. 3693-3710.
[2]
M. Shcherbakov, "Code-Reuse Attacks in Managed Programming Languages and Runtimes," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2024:75, 2024.
[3]
E. Troubitsyna, "Formal Analysis of Interactions Between Safety and Security Requirements," in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), : Springer Science and Business Media Deutschland GmbH, 2024, pp. 141-161.
[4]
N. Dayan, I.-O. Bercea and R. Pagh, "Aleph Filter: To Infinity in Constant Time," Proceedings of the VLDB Endowment, vol. 17, no. 11, pp. 3644-3656, 2024.
[5]
M. Ekerå, "On factoring integers, and computing discrete logarithms and orders, quantumly," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2024:71, 2024.
[6]
M. Aghvamipanah et al., "Activity Recognition Protection for IoT Trigger-Action Platforms," in Proceedings - 9th IEEE European Symposium on Security and Privacy, Euro S and P 2024, 2024, pp. 600-616.
[7]
A. Andreasson et al., "Cybersecurity work at Swedish administrative authorities : taking action or waiting for approval," Cognition, Technology & Work, 2024.
[8]
H. A. Karlsson, "Minimal partitioning kernel with time protection and predictability," in Proceedings - 9th IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2024, 2024, pp. 234-241.
[9]
H. Fu et al., "In industrial embedded software, are some compilation errors easier to localize and fix than others?," in Proceedings - 2024 IEEE Conference on Software Testing, Verification and Validation, ICST 2024, 2024, pp. 383-394.
[10]
M. Aghvamipanah et al., "Activity Recognition Protection for IoT Trigger-Action Platforms," in Proceedings - 9th IEEE European Symposium on Security and Privacy, Euro S and P 2024, 2024, pp. 600-616.
[11]
I. Sarpe, F. Vandin and A. Gionis, "Scalable Temporal Motif Densest Subnetwork Discovery," in KDD 2024 - Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024, pp. 2536-2547.
[12]
E. Coppolillo, G. Manco and A. Gionis, "Relevance Meets Diversity: A User-Centric Framework for Knowledge Exploration Through Recommendations," in KDD 2024 - Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024, pp. 490-501.
[13]
M. Ciaperoni, H. Xiao and A. Gionis, "Efficient Exploration of the Rashomon Set of Rule-Set Models," in KDD 2024 - Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024, pp. 478-489.
[14]
E. Troubitsyna, "Goal-Oriented Modeling in Fault Tolerant Service-Oriented Multi-Agent Systems," in Proceedings - 2024 IEEE 48th Annual Computers, Software, and Applications Conference, COMPSAC 2024, 2024, pp. 1568-1569.
[15]
Z. Senane et al., "Self-Supervised Learning of Time Series Representation via Diffusion Process and Imputation-Interpolation-Forecasting Mask," in KDD 2024 - Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024, pp. 2560-2571.
[16]
M. Eshghie, M. Jafari and C. Artho, "From Creation to Exploitation: The Oracle Lifecycle," in Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion, SANER-C 2024, 2024, pp. 23-34.
[17]
G. Ung et al., "Post-Hoc Formal Verification of Automotive Software with Informal Requirements : An Experience Report," in Proceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024, 2024, pp. 287-298.
[18]
O. Bälter et al., "Pure Question-Based Learning," Education Sciences, vol. 14, no. 8, 2024.
[19]
P. Haller, "Lightweight Affine Types for Safe Concurrency in Scala (Keynote)," in Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming, Programming Companion 2024, 2024, pp. 133-133.
[20]
W. Zhong et al., "MemoryBank : Enhancing Large Language Models with Long -Term Memory," in THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 17, 2024, pp. 19724-19731.
[21]
A. Silva, N. Saavedra and M. Monperrus, "GitBug-Java : A Reproducible Benchmark of Recent Java Bugs," in 2024 IEEE/ACM 21St International Conference On Mining Software Repositories, Msr, 2024, pp. 118-122.
[22]
T. Marinaro et al., "Beyond Over-Protection : A Targeted Approach to Spectre Mitigation and Performance Optimization," in ACM AsiaCCS 2024 - Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024, pp. 203-216.
[23]
F. Reyes García et al., "BUMP : A Benchmark of Reproducible Breaking Dependency Updates," in Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024, 2024, pp. 159-170.
[24]
C. Izu et al., "Introducing Code Quality in the CS1 Classroom," in ITiCSE 2024 - Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education, 2024, pp. 773-774.
[25]
C. Björn and V. Kann, "Students’ Understanding of Programming Fluency," in ITiCSE 2024 - Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education, 2024, p. 810.
[26]
R. Glassey and A. Baltatzis, "Active Repos : Integrating Generative AI Workflows into GitHub," in ITiCSE 2024 - Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education, 2024, pp. 777-778.
[27]
U. Alam et al., "Entropy and Memory Aware Active Transfer Learning in Smart Sensing Systems," IEEE Access, vol. 12, pp. 88841-88861, 2024.
[28]
B. Baudry and M. Monperrus, "Programming Art With Drawing Machines," Computer, vol. 57, no. 7, pp. 104-108, 2024.
[29]
S. Fowler et al., "Behavioural Types for Heterogeneous Systems (Position Paper)," in Proceedings - 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024, 2024, pp. 37-48.
[30]
J. Blikstad et al., "Online Edge Coloring Is (Nearly) as Easy as Offline," in STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024, pp. 36-46.
[31]
Y. Tian et al., "Driving Intention Recognition and Speed Prediction at Complex Urban Intersections Considering Traffic Environment," IEEE transactions on intelligent transportation systems (Print), vol. 25, no. 5, pp. 4470-4488, 2024.
[32]
M. Abrahamsen et al., "Minimum Star Partitions of Simple Polygons in Polynomial Time," in STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024, pp. 904-910.
[33]
R.-C. Tzeng, N. Ohsaka and K. Ariu, "Matroid Semi-Bandits in Sublinear Time," in Proceedings of the 41 st International Conference on Machine Learning,, 2024.
[34]
I. Bercea, J. B. Tejs Houen and R. Pagh, "Daisy Bloom Filters," in 19th Scandinavian Symposium on Algorithm Theory, SWAT 2024, 2024.
[35]
A. Alshnakat et al., "HOL4P4: Mechanized Small-Step Semantics for P4," Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA1, 2024.
[36]
S. Neumann, Y. Dong and P. Peng, "Sublinear-Time Opinion Estimation in the Friedkin - Johnsen Model," in WWW 2024 - Proceedings of the ACM Web Conference, 2024, pp. 2563-2571.
[37]
C. Artho and P. C. Ölveczky, "Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)," Science of Computer Programming, vol. 237, 2024.
[38]
N. Saavedra, A. Silva and M. Monperrus, "GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions," in Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024, 2024, pp. 1-5.
[39]
T. Zhou et al., "Modeling the Impact of Timeline Algorithms on Opinion Dynamics Using Low-rank Updates," in WWW 2024 - Proceedings of the ACM Web Conference, 2024, pp. 2694-2702.
[40]
L. Oettershagen, H. Wang and A. Gionis, "Finding Densest Subgraphs with Edge-Color Constraints," in WWW 2024 - Proceedings of the ACM Web Conference, 2024, pp. 936-947.
[41]
A. Gionis, L. Oettershagen and I. Sarpe, "Mining Temporal Networks," in WWW 2024 Companion - Companion Proceedings of the ACM Web Conference, 2024, pp. 1260-1263.
[42]
J. Blikstad et al., "Simple and Asymptotically Optimal Online Bipartite Edge Coloring," in 2024 Symposium on Simplicity in Algorithms, SOSA 2024, 2024, pp. 331-336.
[43]
T. Lanciano et al., "A Survey on the Densest Subgraph Problem and its Variants," ACM Computing Surveys, vol. 56, no. 8, 2024.
[44]
C. Artho et al., "JPF: From 2003 to 2023," in Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings, 2024, pp. 3-22.
[45]
L. Garcia-Pueyo et al., "Integrity 2024: Integrity in Social Networks and Media," in WSDM 2024 - Proceedings of the 17th ACM International Conference on Web Search and Data Mining, 2024, pp. 1212-1213.
[46]
W. Zhong et al., "MemoryBank: Enhancing Large Language Models with Long-Term Memory," in Proceedings Of The Aaai Conference On Artificial Intelligence, 2024, pp. 19724-19731.
[47]
S. Bobadilla et al., "SOBO : A Feedback Bot to Nudge Code Quality in Programming Courses," IEEE Software, vol. 41, no. 2, pp. 68-76, 2024.
[48]
H. Ye and M. Monperrus, "ITER : Iterative Neural Repair for Multi-Location Patches," in ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024.
[49]
C. Lidström, "Automated Deductive Verification of Safety-Critical Embedded Software," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2024:17, 2024.
[50]
J. Amilon et al., "An Exercise in Mind Reading: Automatic Contract Inference for Frama-C," in Guide to Software Verification with Frama-C: Core Components, Usages, and Applications, : Springer Nature, 2024.