Skip to main content
To KTH's start page To KTH's start page


Link to the full list   in the KTH publication portal.

TCS Publications, 50 latest

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.
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.
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.
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.
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.
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.
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.
J. Cabrera-Arteaga et al., "Wasm-Mutate : Fast and effective binary diversification for WebAssembly," Computers & security (Print), vol. 139, pp. 103731-103731, 2024.
N. Dong, "Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2024:3, 2024.
P.-A. Wang, R.-C. Tzeng and A. Proutiere, "Best Arm Identification with Fixed Budget: A Large Deviation Perspective," in Advances in Neural Information Processing Systems 36 - 37th Conference on Neural Information Processing Systems, NeurIPS 2023, 2023.
J. Brynielsson et al., "Comparison of Strategies for Honeypot Deployment," in Proceedings Of The 2023 Ieee/Acm International Conference On Advances In Social Networks Analysis And Mining, Asonam 2023, 2023, pp. 612-619.
C. Kolb, E. Björnson and E. Troubitsyna, "2nd International Workshop on Safety-Security Interaction (SENSEI 2023)," in COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, pp. 162-163.
M. Balliu et al., "Challenges of Producing Software Bill of Materials for Java," IEEE Security and Privacy, vol. 21, no. 6, pp. 12-23, 2023.
K. Zhao et al., "DeepInfer : Deep Type Inference from Smart Contract Bytecode," in Proceedings Of The 31St Acm Joint Meeting European Software Engineering Conference And Symposium On The Foundations Of Software Engineering, Esec/Fse 2023, 2023, pp. 745-757.
M. Andersson et al., "Admission to master programmes : What are the indicators for successful study performance?," in Bidrag från den 9:e utvecklingskonferensen för Sveriges ingenjörsutbildningar, 2023, pp. 9-18.
E. Troubitsyna, "Monitoring Privacy-Preserving Constraints in Microservices Architecture Through Parameter Formalisation," in 2023 3rd Intelligent Cybersecurity Conference, ICSC 2023, 2023, pp. 54-62.
U. Sehar et al., "A hybrid dependency-based approach for Urdu sentiment analysis," Scientific Reports, vol. 13, no. 1, 2023.
C. Björn, K. Edström and V. Kann, "Engineering students reflect on work-life relevant learning," in SEFI 2023 - 51st Annual Conference of the European Society for Engineering Education: Engineering Education for Sustainability, Proceedings, 2023, pp. 203-211.
E. Troubitsyna, "Employing Redundancy to Leverage Cybersecurity Protection of Safety-Critical Systems," in Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023, 2023, pp. 282-287.
A. Maiga et al., "Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library," in FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023, 2023, pp. 37-47.
M. Eshghie et al., "Capturing Smart Contract Design with DCR Graphs," in Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Proceedings, 2023, pp. 106-125.
N. Dong et al., "Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor," in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023, 2023.
S. Bhattacharya et al., "DETERMINISTIC NEAR-OPTIMAL APPROXIMATION ALGORITHMS FOR DYNAMIC SET COVER," SIAM journal on computing (Print), vol. 52, no. 5, pp. 1132-1192, 2023.
M. Martinez, J. R. Falleri and M. Monperrus, "Hyperparameter Optimization for AST Differencing," IEEE Transactions on Software Engineering, vol. 49, no. 10, pp. 4814-4828, 2023.
M. Ciaperoni, H. Xiao and A. Gionis, "Concise and interpretable multi-label rule sets," Knowledge and Information Systems, vol. 65, no. 12, pp. 5657-5694, 2023.
E. Poorhadi and E. Troubitsyna, "Automating an Analysis of Safety-Security Interactions for Railway Systems," in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Proceedings, 2023, pp. 3-21.
J. Blikstad and P. Kiss, "Incremental (1 − ε)-Approximate Dynamic Matching in O(poly(1/ε)) Update Time," in 31st Annual European Symposium on Algorithms, ESA 2023, 2023.
K. Norrman, V. Sundararajan and A. Bruni, "Extended Formal Analysis of the EDHOC Protocol in Tamarin," in E-Business and Telecommunications, 2023, pp. 224-248.
F. Adriaens, H. Wang and A. Gionis, "Minimizing hitting time between disparate groups with shortcut edges," in KDD 2023 : Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023, pp. 1-10.
G. Zhang, N. Tatti and A. Gionis, "Finding Favourite Tuples on Data Streams with Provably Few Comparisons," in KDD 2023 : Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023, pp. 3229-3238.
L. Oettershagen, N. M. Kriege and P. Mutzel, "A Higher-Order Temporal H-Index for Evolving Networks," in KDD 2023 : Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023, pp. 1770-1782.
S. Tu, S. Neumann and A. Gionis, "Adversaries with Limited Information in the Friedkin-Johnsen Model," in KDD 2023 : Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023, pp. 2201-2210.
A. de Almeida Borges et al., "Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users," in 14th International Conference on Interactive Theorem Proving, ITP 2023, 2023.
J. Amilon et al., "Automatic Program Instrumentation for Automatic Verification," in Computer Aided Verification : 35th International Conference, CAV 2023, Proceedings, 2023, pp. 281-304.
Y. Jin et al., "Learning Cellular Coverage from Real Network Configurations using GNNs," in 2023 IEEE 97th Vehicular Technology Conference, VTC 2023-Spring - Proceedings, 2023.
Z. Yu et al., "Learning the Relation Between Code Features and Code Transforms With Structured Prediction," IEEE Transactions on Software Engineering, vol. 49, no. 7, pp. 3872-3900, 2023.
T. Hasegawa et al., "Edge-Based Graph Neural Networks for Cell-Graph Modeling and Prediction," in Information Processing in Medical Imaging - 28th International Conference, IPMI 2023, Proceedings, 2023, pp. 265-277.
J. Spoerhase et al., "A Constant-Factor Approximation Algorithm for Reconciliation k-Median," in Proceedings of the 26th International Conference on Artificial Intelligence and Statistics, AISTATS 2023, 2023, pp. 1719-1746.
C. Lidström and D. Gurov, "Contract Based Embedded Software Design," in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Proceedings, 2023, pp. 77-94.
J. Blikstad et al., "Fast Algorithms via Dynamic-Oracle Matroids," in STOC 2023 : Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, pp. 1229-1242.
M. Henzinger et al., "Dynamic Maintenance of Monotone Dynamic Programs and Applications," in 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023, 2023.
K. T. Foerster et al., "Analyzing the Communication Clusters in Datacenters," in ACM Web Conference 2023 : Proceedings of the World Wide Web Conference, WWW 2023, 2023, pp. 3022-3032.
L. Östlund, N. Wicklund and R. Glassey, "It's Never too Early to Learn about Code Quality : A Longitudinal Study of Code Quality in First-year Computer Science Students," in SIGCSE 2023 : Proceedings of the 54th ACM Technical Symposium on Computer Science Education, 2023, pp. 792-798.
M. Borg et al., "Human, What Must I Tell You?," IEEE Software, vol. 40, no. 3, pp. 9-14, 2023.
A. Bernstein and D. Na Nongkai, "Distributed exact weighted all-pairs shortest paths in randomized near-linear time," SIAM journal on computing (Print), vol. 52, no. 2, pp. 112-127, 2023.
R. Glassey and O. Bälter, "Learnersourcing analytics," in Practicable Learning Analytics, : Springer International Publishing, 2023, pp. 155-175.
J. Haglund, "Formal Verification of Peripheral Memory Isolation," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2013:48, 2023.
H. Ye, "Improving the Precision of Automatic Program Repair with Machine Learning," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2023:10, 2023.
E. Riese and S. Stenbom, "Engineering Students’ Experiences of Assessment in Introductory Computer Science Courses," IEEE Transactions on Education, vol. 66, no. 4, pp. 350-359, 2023.