Mariam Kamkar

35 papers A* 2A 4B 1C 4Journal 7Unranked 15
YearRankTypeTitle / Venue / Authors
2023 C conf
Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in Progvis.
ACE
Filip Strömbäck, Linda Mannila, Mariam Kamkar
2022 — conf
A Weak Memory Model in Progvis: Verification and Improved Accuracy of Visualizations of Concurrent Programs to Aid Student Learning.
Koli Calling
Filip Strömbäck, Linda Mannila, Mariam Kamkar
2022 C conf
Pilot Study of Progvis: A Visualization Tool for Object Graphs and Concurrency via Shared Memory.
ACE
Filip Strömbäck, Linda Mannila, Mariam Kamkar
2021 A conf
Pilot Study of a Visualization Tool for Object Graphs and Concurrency via Shared Memory.
SIGCSE
Filip Strömbäck, Linda Mannila, Mariam Kamkar
2021 J jnl
The Non-Deterministic Path to Concurrency - Exploring how Students Understand the Abstractions of Concurrency.
Informatics Educ.
Filip Strömbäck, Linda Mannila, Mariam Kamkar
2020 A conf
Exploring Students' Understanding of Concurrency - A Phenomenographic Study.
SIGCSE
Filip Strömbäck, Linda Mannila, Mariam Kamkar
2019 A conf
A Student's View of Concurrency - A Study of Common Mistakes in Introductory Courses on Concurrency.
ICER
Filip Strömbäck, Linda Mannila, Mikael Asplund, Mariam Kamkar
2019 J jnl
ERSFQ 8-bit Parallel Binary Shifter for Energy-Efficient Superconducting CPU.
CoRR
Alexander Kirichenko, Mariam Kamkar, J. Walter, Igor V. Vernik
2011 A conf
RIPE: runtime intrusion prevention evaluator.
ACSAC
John Wilander, Nick Nikiforakis, Yves Younan, Mariam Kamkar, Wouter Joosen
2003 A* conf
A Comparison of Publicly Available Tools for Dynamic Buffer Overflow Prevention.
NDSS
John Wilander, Mariam Kamkar
2001 — conf
Analysis of the constraint solver in UNA based test data generation.
ESEC / SIGSOFT FSE
Jon Edvardsson, Mariam Kamkar
2001 C conf
Static Slicing and Parametric Polymorphism.
SCAM
David Byers, Mariam Kamkar
2001 — conf
Syntax-Directed Construction of Value Dependence Graphs.
ICSM
David Byers, Mariam Kamkar, Ture Pålsson
1998 J jnl
Application of program slicing in algorithmic debugging.
Inf. Softw. Technol.
Mariam Kamkar
1998 B conf
Computer science as an integrated part of engineering education.
ITiCSE
Patrick Lambrix, Mariam Kamkar
1997 — conf
A Hybrid Approach to Propagation Analysis.
AADEBUG
David Byers, Mariam Kamkar
1997 — conf
Computer science as an integrated part of engineering education (poster).
ITiCSE-WGR
Patrick Lambrix, Maud Göthe-Lundgren, Mariam Kamkar
1997 — conf
Preface (with proceedings front matter).
AADEBUG
Mariam Kamkar
1997 — ed.
Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997
AADEBUG
Mariam Kamkar
1997 — conf
The Design of a Test Case Definition Language.
AADEBUG
David Byers, Magnus Engström, Mariam Kamkar
1996 C conf
Dynamic Slicing of Parallel Message-Passing Programs.
PDP
Mariam Kamkar, Patrik Krajina, Peter Fritzson
1995 J jnl
An overview and comparative classification of program slicing techniques.
J. Syst. Softw.
Mariam Kamkar
1995 — conf
Dynamic slicing of distributed programs.
ICSM
Mariam Kamkar, Patrik Krajina
1995 — conf
Evaluation of Program Slicing tools.
AADEBUG
Tommy Hoffner, Mariam Kamkar, Peter Fritzson
1995 J jnl
Usability criteria for automated debugging systems.
J. Syst. Softw.
Nahid Shahmehri, Mariam Kamkar, Peter Fritzson
1993 — conf
Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing.
ICSM
Mariam Kamkar, Peter Fritzson, Nahid Shahmehri
1993 — book
Interprocedural dynamic slicing with applications to debugging and testing.
Mariam Kamkar
1993 J jnl
Three approaches to interprocedural dynamic slicing.
Microprocess. Microprogramming
Mariam Kamkar, Peter Fritzson, Nahid Shahmehri
1993 — conf
Usability Criteria for Automated Debugging Systems.
AADEBUG
Nahid Shahmehri, Mariam Kamkar, Peter Fritzson
1992 J jnl
Generalized Algorithmic Debugging and Testing.
LOPLAS
Peter Fritzson, Nahid Shahmehri, Mariam Kamkar, Tibor Gyimóthy
1992 — conf
Interprocedural Dynamic Slicing.
PLILP
Mariam Kamkar, Nahid Shahmehri, Peter Fritzson
1991 A* conf
Generalized Algorithmic Debugging and Testing.
PLDI
Peter Fritzson, Tibor Gyimóthy, Mariam Kamkar, Nahid Shahmehri
1990 — conf
Bug Localization by Algorithmic Debugging and Program Slicing.
PLILP
Mariam Kamkar, Nahid Shahmehri, Peter Fritzson
1990 — conf
Semi-automatic bug localization in software maintenance.
ICSM
Nahid Shahmehri, Mariam Kamkar, Peter Fritzson
1988 — conf
Affect-Chaining and Dependency Oriented Flow Analysis Applied to Queries of Programs.
SIGSMALL/PC
Mariam Kamkar, Nahid Shahmehri, Peter Fritzson