First Name | Last Name | Title |
---|---|---|
Abu Naser | Masud | Senior Lecturer |
Björn | Lisper | Professor |
Daniel | Hedin | Senior Lecturer |
Husni | Khanfar | Doctoral student |
Jean | Malm | Doctoral student |
Semantic Correctness of Dependence-Based Slicing for Interprocedural, Possibly Nonterminating Programs (Dec 2020) Abu Naser Masud, Björn Lisper ACM Transactions on Programming Languages and Systems (TOPLAS)
Simple and Efficient Computation of Minimal Weak Control Closure (Nov 2020) Abu Naser Masud SAS 2020 - 27th Static Analysis Symposium (SAS 2020)
More precise construction of static single assignment programs using reaching definitions (Apr 2020) Abu Naser Masud, Federico Ciccozzi Journal of Systems and Software (JSS)
Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs (Nov 2019) Husni Khanfar
Active Set Strategies for the Computation of Minimum-Volume Enclosing Ellipsoids (Nov 2019) Linus Källberg, Daniel Andrén
Executable Modelling for Highly Parallel Accelerators (Sep 2019) Lorenzo Addazi, Federico Ciccozzi, Björn Lisper Workshop on Modelling Language Engineering and Execution at IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MLE@MODELS)