default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMariam Kamkar
Person information
- affiliation: Linköping University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c26]Filip Strömbäck
, Linda Mannila, Mariam Kamkar:
Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in Progvis. ACE 2023: 11-20- 2022
- [c25]Filip Strömbäck, Linda Mannila, Mariam Kamkar:
Pilot Study of Progvis: A Visualization Tool for Object Graphs and Concurrency via Shared Memory. ACE 2022: 123-132 - [c24]Filip Strömbäck, Linda Mannila, Mariam Kamkar:
A Weak Memory Model in Progvis: Verification and Improved Accuracy of Visualizations of Concurrent Programs to Aid Student Learning. Koli Calling 2022: 14:1-14:12 - 2021
- [j6]Filip Strömbäck, Linda Mannila, Mariam Kamkar:
The Non-Deterministic Path to Concurrency - Exploring how Students Understand the Abstractions of Concurrency. Informatics Educ. 20(4): 683-715 (2021) - [c23]Filip Strömbäck, Linda Mannila, Mariam Kamkar:
Pilot Study of a Visualization Tool for Object Graphs and Concurrency via Shared Memory. SIGCSE 2021: 1294 - 2020
- [c22]Filip Strömbäck, Linda Mannila, Mariam Kamkar:
Exploring Students' Understanding of Concurrency - A Phenomenographic Study. SIGCSE 2020: 940-946
2010 – 2019
- 2019
- [c21]Filip Strömbäck, Linda Mannila, Mikael Asplund, Mariam Kamkar:
A Student's View of Concurrency - A Study of Common Mistakes in Introductory Courses on Concurrency. ICER 2019: 229-237 - [i1]Alexander Kirichenko, Mariam Kamkar, J. Walter, Igor V. Vernik:
ERSFQ 8-bit Parallel Binary Shifter for Energy-Efficient Superconducting CPU. CoRR abs/1902.07836 (2019) - 2011
- [c20]John Wilander, Nick Nikiforakis, Yves Younan, Mariam Kamkar, Wouter Joosen:
RIPE: runtime intrusion prevention evaluator. ACSAC 2011: 41-50
2000 – 2009
- 2003
- [c19]John Wilander, Mariam Kamkar:
A Comparison of Publicly Available Tools for Dynamic Buffer Overflow Prevention. NDSS 2003 - 2001
- [c18]David Byers, Mariam Kamkar, Ture Pålsson:
Syntax-Directed Construction of Value Dependence Graphs. ICSM 2001: 692- - [c17]David Byers, Mariam Kamkar:
Static Slicing and Parametric Polymorphism. SCAM 2001: 181-186 - [c16]Jon Edvardsson, Mariam Kamkar:
Analysis of the constraint solver in UNA based test data generation. ESEC / SIGSOFT FSE 2001: 237-245
1990 – 1999
- 1998
- [j5]Mariam Kamkar:
Application of program slicing in algorithmic debugging. Inf. Softw. Technol. 40(11-12): 637-645 (1998) - [c15]Patrick Lambrix, Mariam Kamkar:
Computer science as an integrated part of engineering education. ITiCSE 1998: 153-156 - 1997
- [c14]David Byers, Magnus Engström, Mariam Kamkar:
The Design of a Test Case Definition Language. AADEBUG 1997: 69-78 - [c13]David Byers, Mariam Kamkar:
A Hybrid Approach to Propagation Analysis. AADEBUG 1997: 193-197 - [c12]Mariam Kamkar:
Preface (with proceedings front matter). AADEBUG 1997 - [c11]Patrick Lambrix, Maud Göthe-Lundgren, Mariam Kamkar:
Computer science as an integrated part of engineering education (poster). ITiCSE-WGR 1997: 151 - [e1]Mariam Kamkar:
Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997. Linköping Electronic Articles in Computer and Information Science 2(009), Linköping University Electronic Press 1997 [contents] - 1996
- [c10]Mariam Kamkar, Patrik Krajina, Peter Fritzson:
Dynamic Slicing of Parallel Message-Passing Programs. PDP 1996: 170-178 - 1995
- [j4]Nahid Shahmehri, Mariam Kamkar, Peter Fritzson:
Usability criteria for automated debugging systems. J. Syst. Softw. 31(1): 55-70 (1995) - [j3]Mariam Kamkar:
An overview and comparative classification of program slicing techniques. J. Syst. Softw. 31(3): 197-214 (1995) - [c9]Tommy Hoffner, Mariam Kamkar, Peter Fritzson:
Evaluation of Program Slicing tools. AADEBUG 1995: 51-69 - [c8]Mariam Kamkar, Patrik Krajina:
Dynamic slicing of distributed programs. ICSM 1995: 222- - 1993
- [b1]Mariam Kamkar:
Interprocedural dynamic slicing with applications to debugging and testing. Linköping studies in science and technology dissertations 297, University Linköping 1993, ISBN 978-91-7871-065-2, pp. I-IX, 1-190 - [j2]Mariam Kamkar, Peter Fritzson, Nahid Shahmehri:
Three approaches to interprocedural dynamic slicing. Microprocess. Microprogramming 38(1-5): 625-636 (1993) - [c7]Nahid Shahmehri, Mariam Kamkar, Peter Fritzson:
Usability Criteria for Automated Debugging Systems. AADEBUG 1993: 16-39 - [c6]Mariam Kamkar, Peter Fritzson, Nahid Shahmehri:
Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing. ICSM 1993: 386-395 - 1992
- [j1]Peter Fritzson, Nahid Shahmehri, Mariam Kamkar, Tibor Gyimóthy:
Generalized Algorithmic Debugging and Testing. LOPLAS 1(4): 303-322 (1992) - [c5]Mariam Kamkar, Nahid Shahmehri, Peter Fritzson:
Interprocedural Dynamic Slicing. PLILP 1992: 370-384 - 1991
- [c4]Peter Fritzson, Tibor Gyimóthy, Mariam Kamkar, Nahid Shahmehri:
Generalized Algorithmic Debugging and Testing. PLDI 1991: 317-326 - 1990
- [c3]Nahid Shahmehri, Mariam Kamkar, Peter Fritzson:
Semi-automatic bug localization in software maintenance. ICSM 1990: 30-36 - [c2]Mariam Kamkar, Nahid Shahmehri, Peter Fritzson:
Bug Localization by Algorithmic Debugging and Program Slicing. PLILP 1990: 60-74
1980 – 1989
- 1988
- [c1]Mariam Kamkar, Nahid Shahmehri, Peter Fritzson:
Affect-Chaining and Dependency Oriented Flow Analysis Applied to Queries of Programs. SIGSMALL/PC 1988: 36-44
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
