Mariam Kamkar

According to our database, Mariam Kamkar authored at least 32 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in Progvis.

Filip Strömbäck, Linda Mannila, Mariam Kamkar

Proceedings of the 25th Australasian Computing Education Conference, 2023

2022

A Weak Memory Model in Progvis: Verification and Improved Accuracy of Visualizations of Concurrent Programs to Aid Student Learning.

Filip Strömbäck, Linda Mannila, Mariam Kamkar

Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

Pilot Study of Progvis: A Visualization Tool for Object Graphs and Concurrency via Shared Memory.

Filip Strömbäck, Linda Mannila, Mariam Kamkar

Proceedings of the ACE '22: Australasian Computing Education Conference, Virtual Event, Australia, February 14, 2022

2021

The Non-Deterministic Path to Concurrency - Exploring how Students Understand the Abstractions of Concurrency.

Filip Strömbäck, Linda Mannila, Mariam Kamkar

Informatics Educ., 2021

Pilot Study of a Visualization Tool for Object Graphs and Concurrency via Shared Memory.

Filip Strömbäck, Linda Mannila, Mariam Kamkar

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

2020

Exploring Students' Understanding of Concurrency - A Phenomenographic Study.

Filip Strömbäck, Linda Mannila, Mariam Kamkar

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019

ERSFQ 8-bit Parallel Binary Shifter for Energy-Efficient Superconducting CPU.

Alexander Kirichenko, Mariam Kamkar, J. Walter, Igor V. Vernik

CoRR, 2019

A Student's View of Concurrency - A Study of Common Mistakes in Introductory Courses on Concurrency.

Filip Strömbäck, Linda Mannila, Mikael Asplund, Mariam Kamkar

Proceedings of the 2019 ACM Conference on International Computing Education Research, 2019

2011

RIPE: runtime intrusion prevention evaluator.

John Wilander, Nick Nikiforakis, Yves Younan, Mariam Kamkar, Wouter Joosen

Proceedings of the Twenty-Seventh Annual Computer Security Applications Conference, 2011

2003

A Comparison of Publicly Available Tools for Dynamic Buffer Overflow Prevention.

John Wilander, Mariam Kamkar

Proceedings of the Network and Distributed System Security Symposium, 2003

2001

Analysis of the constraint solver in UNA based test data generation.

Jon Edvardsson, Mariam Kamkar

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Static Slicing and Parametric Polymorphism.

David Byers, Mariam Kamkar

Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001

Syntax-Directed Construction of Value Dependence Graphs.

David Byers, Mariam Kamkar, Ture Pålsson

Proceedings of the 2001 International Conference on Software Maintenance, 2001

1998

Application of program slicing in algorithmic debugging.

Mariam Kamkar

Inf. Softw. Technol., 1998

Computer science as an integrated part of engineering education.

Patrick Lambrix, Mariam Kamkar

Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

1997

Computer science as an integrated part of engineering education (poster).

Patrick Lambrix, Maud Göthe-Lundgren, Mariam Kamkar

Proceedings of the supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings, 1997

Preface (with proceedings front matter).

Mariam Kamkar

Proceedings of the Third International Workshop on Automated Debugging, 1997

A Hybrid Approach to Propagation Analysis.

David Byers, Mariam Kamkar

Proceedings of the Third International Workshop on Automated Debugging, 1997

The Design of a Test Case Definition Language.

David Byers, Magnus Engström, Mariam Kamkar

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

Dynamic Slicing of Parallel Message-Passing Programs.

Mariam Kamkar, Patrik Krajina, Peter Fritzson

Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

1995

Usability criteria for automated debugging systems.

Nahid Shahmehri, Mariam Kamkar, Peter Fritzson

J. Syst. Softw., 1995

An overview and comparative classification of program slicing techniques.

Mariam Kamkar

J. Syst. Softw., 1995

Dynamic slicing of distributed programs.

Mariam Kamkar, Patrik Krajina

Proceedings of the International Conference on Software Maintenance, 1995

Evaluation of Program Slicing tools.

Tommy Hoffner, Mariam Kamkar, Peter Fritzson

Proceedings of the Second International Workshop on Automated Debugging, 1995

1993

Three approaches to interprocedural dynamic slicing.

Mariam Kamkar, Peter Fritzson, Nahid Shahmehri

Microprocess. Microprogramming, 1993

Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing.

Mariam Kamkar, Peter Fritzson, Nahid Shahmehri

Proceedings of the Conference on Software Maintenance, 1993

Interprocedural dynamic slicing with applications to debugging and testing.

Mariam Kamkar

Linköping studies in science and technology dissertations 297, University Linköping, ISBN: 978-91-7871-065-2, 1993

1992

Generalized Algorithmic Debugging and Testing.

Peter Fritzson, Nahid Shahmehri, Mariam Kamkar, Tibor Gyimóthy

LOPLAS, 1992

Interprocedural Dynamic Slicing.

Mariam Kamkar, Nahid Shahmehri, Peter Fritzson

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1990

Bug Localization by Algorithmic Debugging and Program Slicing.

Mariam Kamkar, Nahid Shahmehri, Peter Fritzson

Proceedings of the Programming Language Implementation and Logic Programming, 1990

Semi-automatic bug localization in software maintenance.

Nahid Shahmehri, Mariam Kamkar, Peter Fritzson

Proceedings of the Conference on Software Maintenance, 1990

1988

Affect-Chaining and Dependency Oriented Flow Analysis Applied to Queries of Programs.

Mariam Kamkar, Nahid Shahmehri, Peter Fritzson

Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France, 1988