Mariam Kamkar - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2023

Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in ProgvisFilip Strömbäck, Linda Mannila, Mariam Kamkar. ace 2023: 11-20 [doi]

2022

Pilot Study of Progvis: A Visualization Tool for Object Graphs and Concurrency via Shared MemoryFilip Strömbäck, Linda Mannila, Mariam Kamkar. ace 2022: 123-132 [doi]

A Weak Memory Model in Progvis: Verification and Improved Accuracy of Visualizations of Concurrent Programs to Aid Student LearningFilip Strömbäck, Linda Mannila, Mariam Kamkar. kolicalling 2022: [doi]

2021

Pilot Study of a Visualization Tool for Object Graphs and Concurrency via Shared MemoryFilip Strömbäck, Linda Mannila, Mariam Kamkar. sigcse 2021: 1294 [doi]

The Non-Deterministic Path to Concurrency - Exploring how Students Understand the Abstractions of ConcurrencyFilip Strömbäck, Linda Mannila, Mariam Kamkar. iie, 20(4):683-715, 2021. [doi]

2020

Exploring Students' Understanding of Concurrency - A Phenomenographic StudyFilip Strömbäck, Linda Mannila, Mariam Kamkar. sigcse 2020: 940-946 [doi]

2019

A Student's View of Concurrency - A Study of Common Mistakes in Introductory Courses on ConcurrencyFilip Strömbäck, Linda Mannila, Mikael Asplund, Mariam Kamkar. icer 2019: 229-237 [doi]

2011

RIPE: runtime intrusion prevention evaluatorJohn Wilander, Nick Nikiforakis, Yves Younan, Mariam Kamkar, Wouter Joosen. acsac 2011: 41-50 [doi]

2003

A Comparison of Publicly Available Tools for Dynamic Buffer Overflow PreventionJohn Wilander, Mariam Kamkar. ndss 2003: [doi]

2001

1998

Application of program slicing in algorithmic debuggingMariam Kamkar. INFSOF, 40(11-12):637-645, 1998. [doi]

Computer science as an integrated part of engineering educationPatrick Lambrix, Mariam Kamkar. iticse 1998: 153-156 [doi]

1997

1996

Dynamic Slicing of Parallel Message-Passing ProgramsMariam Kamkar, Patrik Krajina, Peter Fritzson. pdp 1996: 170-178 [doi]

1995

1993

Interprocedural Dynamic Slicing Applied to Interprocedural Data How TestingMariam Kamkar, Peter Fritzson, Nahid Shahmehri. ICSM 1993: 386-395

Three approaches to interprocedural dynamic slicingMariam Kamkar, Peter Fritzson, Nahid Shahmehri. jsa, 38(1-5):625-636, 1993. [doi]

Interprocedural dynamic slicing with applications to debugging and testingMariam Kamkar. Volume 297 of Linköping studies in science and technology dissertations, University Linköping, 1993.

Usability Criteria for Automated Debugging SystemsNahid Shahmehri, Mariam Kamkar, Peter Fritzson. AADEBUG 1993: 16-39

1992

Generalized Algorithmic Debugging and TestingPeter Fritzson, Nahid Shahmehri, Mariam Kamkar, Tibor Gyimóthy. loplas, 1(4):303-322, 1992.

1991

Generalized Algorithmic Debugging and TestingPeter Fritzson, Tibor Gyimóthy, Mariam Kamkar, Nahid Shahmehri. PLDI 1991: 317-326

1990

Bug Localization by Algorithmic Debugging and Program SlicingMariam Kamkar, Nahid Shahmehri, Peter Fritzson. plilp 1990: 60-74

Semi-automatic bug localization in software maintenanceNahid Shahmehri, Mariam Kamkar, Peter Fritzson. ICSM 1990: 30-36 [doi]

1988

Affect-Chaining and Dependency Oriented Flow Analysis Applied to Queries of ProgramsMariam Kamkar, Nahid Shahmehri, Peter Fritzson. sigsmall 1988: 36-44 [doi]

Sign in or sign up to see more results.

runs on WebDSL