|
- Advances in Automated Pedagogical Error Repair, Sharath H. Padmanabha, Fahad Shaikh, Mayank Bansal, Debanjan Chatterjee, Preeti Singh, Amey Karkare & Purushottam Kar, in Innovations in Software Engineering , Prayagraj, India, 2023. [*Best Paper Award*]
- PRIORITY: An Intelligent Problem Indicator Repository, Sharath H. Padmanabha, Fahad Shaikh, Mayank Bansal, Debanjan Chatterjee, Preeti Singh, Amey Karkare & Purushottam Kar, in Innovations in Software Engineering , Prayagraj, India, 2023.
- Prutor: An Intelligent Learning and Management System for Programming Courses, Amey Karkare and Purushottam Kar, in Communications of the ACM, Volume 65, Issue 11, November 2022.
- LEGenT: Localizing Errors and Generating Testcases for CS1, Nimisha Agarwal & Amey Karkare, in Learning at Scale (L@S), New York City, USA, 2022.
- Instructor Performance on Progressively Complex Programming Tasks: A Multi-Institutional Study from India, Viraj Kumar & Amey Karkare, in 26th annual conference on Innovation and Technology in Computer Science Education (ITiCSE), Paderborn, Germany, 2021.
- Inclusive Accommodations for Persons with Visual Impairments in Computer Based Tests, Pawan Patel, Amey Karkare and Gaurav Raheja, in 5th International Conference on Universal Design (UD 2021), Finland, 2021.
- Choosing
Code Segments to Exclude from Code Similarity
Detection, Simon, Oscar Karnalim, Judy Sheard, Ilir
Dema, Amey Karkare, Juho Leinonen, Michael Liut &
Renée McCauley, in Working Group Reports on Innovation
and Technology in Computer Science Education (ITiCSE WGR),
Trondheim, Norway, 2020.
- Selection
of Code Segments for Exclusion from Code Similarity
Detection, Simon, Oscar Karnalim, Judy Sheard, Ilir
Dema, Amey Karkare, Juho Leinonen, Michael Liut &
Renée McCauley, in Innovation and Technology in
Computer Science Education (ITiCSE), Trondheim, Norway,
2020.
- Characterizing
the Pedagogical Benefits of Adaptive Feedback for
Compilation Errors by Novice Programmers Umair Z. Ahmed,
Nisheeth Srivastava, Renuka Sindhgatta & Amey Karkare,
in International Conference on Software Engineering (ICSE
2020), Software Engineering Education and Training (SEET)
Track, Seoul, South Korea, 2020.
- Compiler
Error Messages Considered Unhelpful: The Landscape of
Text-Based Programming Error Message Research
, Brett A. Becker, Paul Denny, Raymond Pettit,
Durell Bouchard, Dennis J. Bouvier, Brian Harrington, Amir
Kamil, Amey Karkare, Chris McDonald, Peter-Michael Osera,
Janice L. Pearce & James Prather, in Working Group
Reports on Innovation and Technology in Computer Science
Education (ITiCSE WGR), Aberdeen, UK, 2019.
- Targeted
Example Generation for Compilation Errors, Umair
Z. Ahmed, Renuka Sindhgatta, Nisheeth Srivastava & Amey
Karkare, in International Conference on Automated Software
Engineering (ASE), San Diego, California, USA, 2019.
(arXiv
version)
- Accessibility
Evaluation of Computer Based Tests, Pawan Kumar Patel
& Amey Karkare, in International Conference of the
Association for the Advancement of Assistive Technology in
Europe (AAATE), Bologna, Italy, 2019.
- Unexpected
Tokens: A Review of Programming Error Messages and Design
Guidelines for the Future, Brett A. Becker, Paul
Denny, Raymond Pettit, Durell Bouchard, Dennis J. Bouvier,
Brian Harrington, Amir Kamil, Amey Karkare, Chris McDonald,
Peter-Michael Osera, Janice L. Pearce & James Prather,
in Innovation and Technology in Computer Science Education
(ITiCSE), Aberdeen, UK, 2019.
- A
Static Slicing Method for Functional Programs and Its
Incremental Version, Prasanna Kumar, Amitabha Sanyal,
Amey Karkare & Saswat Padhi, in International Conference on
Compiler Construction (CC), Washington DC, USA, 2019.
- Reducing
GPU Register File Energy, Vishwesh Jatala, Jayvant
Anantpur & Amey Karkare, in Euro-Par, Turin, Italy,
2018. (arXiv
version)
- TipsC:
Tips and Corrections for Programming MOOCs, Saksham
Sharma, Pallav Agarwal, Parv Mor & Amey Karkare,
in International Conference on Artificial Intelligence in
Education (AIED), London, UK, 2018.
(arXiv
version)
-
Compilation Error Repair: For the Student Programs, From
the Student Programs, Umair Z Ahmed, Pawan Kumar,
Amey Karkare, Purushottam Kar & Sumit Gulwani,
in International Conference on Software Engineering
(ICSE), Software Engineering Education and Training (SEET) Track,
Gothenburg, Sweden, 2018.
-
TwAS: Two-stage Shape Analysis for Speed and
Precision, Amey Karkare, in ACM/SIGAPP
Symposium On Applied Computing (SAC), Pau, France,
2018.
- ParseIT:
A Question-Answer based Tool to Learn Parsing
Techniques, Amey Karkare & Nimisha Agarwal,
in 10th Annual ACM India Compute Conference
(Compute), Bhopal, India, 2017.
- A
Feasibility Study of Using Automated Program Repair for
Introductory Programming Assignments, Jooyong Yi, Umair
Ahmed, Amey Karkare, Shin Hwei Tan & Abhik Roychoudhury, in
Joint Meeting of the European Software Engineering
Conference and the ACM Sigsoft Symposium on the
Foundations of Software Engineering (ESEC/FSE),
Paderborn, Germany, 2017.
Artifacts Evaluated -
Functional  (Download)
- Scratchpad
Sharing in GPUs, Vishwesh Jatala, Jayvant Anantpur &
Amey Karkare, in ACM Transactions on Architecture and Code
Optimization (TACO) Volume 14 Issue 2, 2017.
- Automatic
Grading and Feedback using Program Repair for Introductory
Programming Courses, Ziyaan Dadachanji, Praveen Kumar
Singh, Sagar Parihar, Rajdeep Das, Amey Karkare & Arnab
Bhattacharya, in Innovation and Technology in Computer Science
Education (ITiCSE), Bologna, Italy, 2017.
- Liveness-Based
Garbage Collection for Lazy Languages, Prasanna Kumar,
Amitabha Sanyal & Amey Karkare, ACM SIGPLAN
International Symposium on Memory Management (ISMM),
Santa Barbara, California, USA, 2016.
- Improving
GPU Performance Through Resource Sharing, Vishwesh
Jatala, Jayvant Anantpur & Amey Karkare, in
Symposium on High-Performance Parallel and Distributed
Computing (HPDC), Kyoto, JAPAN, 2016.
- Program
Synthesis Using Natural Language, Aditya Desai, Sumit
Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark
Marron, Sailesh R & Subhajit Roy, in International
Conference on software Engineering (ICSE), Austin, TX,
USA, 2016.
- ParseIT:
A Tool for Teaching Parsing Techniques, Amey Karkare
& Nimisha Agarwal, in SIGCSE (Demo Track), Memphis,
TN, USA, 2016.
- JolokiaC++:
Optimizing Irregular Accesses for GPGPU, Vibha Patel,
Sanjeev Aggarwal & Amey Karkare, in International
Conference on High Performance Computing & Communications
(HPCC), New York, NY, USA, 2015.
-
Anaphoras without syntax - in a Geometry Construction
context, Pankaj Prateek Kewalramani, Jeetesh Mangwani,
Amey Karkare, Sumit Gulwani & Amitabha Mukerjee, in
International Conference on Natural Language Processing
(ICON), Goa, India, 2014 (Short Communication)
- JolokiaC++:
An Annotation Based Compiler Framework for GPGPU,
Vibha Patel, Sanjeev Aggarwal & Amey Karkare, in First
International Workshop on Graphical Processing Unit (GPU),
Paris, France, 2014
- Liveness-Based
Garbage Collection, Rahul Asati, Amitabha Sanyal, Amey
Karkare & Alan Mycroft, in International Conference on
Compiler Construction (CC), Grenoble, France,
2014. [Colored graphs]
- Automatically
Generating Problems and Solutions for Natural
Deduction, Umair Ahmed, Sumit Gulwani & Amey
Karkare, in International Joint Conference on Artificial
Intelligence (IJCAI), Beijing, China, 2013.
- Functional
SMT solving with Z3 and Racket, Siddharth Agarwal
& Amey Karkare, FME Workshop on
Formal Methods in Software Engineering (FormaliSE), San
Francisco, USA, 2013.
- Precise
Shape Analysis using Field Sensitivity, Sandeep
Dasgupta, Amey Karkare & Vinay Kr Reddy, in Innovations in
Systems and Software Engineering (ISSE), 2013. (Supercedes
SAC'2012 version of the paper)
- Retargeting
GCC: Do We Reinvent the Wheel Every Time?, Saravana
Perumal P & Amey Karkare, The Second
Asia-Pacific Programming Languages and Compilers Workshop
(APPLC), Shenzen, China, 2013.
- Precise
Shape Analysis using Field Sensitivity, Sandeep
Dasgupta & Amey Karkare, in
ACM Symposium On Applied Computing (SAC 2012), Riva del
Garda (Trento), Italy, 2012.
- Heap
Dependence Analysis for Sequential Programs, Barnali
Basak, Sandeep Dasgupta & Amey Karkare, in International
Conference on Parallel Computing (ParCo 2011), Ghent,
Belgium, 2011
- Heap
Reference Analysis Using Access Graphs, Uday Khedker,
Amitabha Sanyal & Amey Karkare, in ACM Transactions on
Programming Languages & Systems (TOPLAS). 30, 1
(Nov. 2007), 1.
- Heap Reference
Analysis for Functional Programs, Amey Karkare,
Amitabha Sanyal & Uday
Khedker, ACM Computing
Research Repository, October 2007.
- Liveness of
Heap Data for Functional Programs, Amey
Karkare, Uday Khedker & Amitabha Sanyal,
Heap Analysis and
Verification workshop, 2007, Braga, Portugal.
- Effectiveness
of Garbage Collection in MIT/GNU Scheme, Amey Karkare,
Amitabha Sanyal & Uday Khedker, ACM Computing Research
Repository, November 2006.
- Testability Preserving and Enhancing Transformations for
Robust Delay Fault Testability, Amey Karkare, Manoj Singla
& Ajai Jain, VLSI DESIGN'98, 11th International Conference on
VLSI Design, 1998, Chennai.
- An Efficient Sorting Algorithm on Butterfly, M. Singla,
A. Karkare & P. Gupta, JASS, Vol.39(3), 1998.
- A New Paradigm for Computation on Butterfly, M. Singla,
A. Karkare & P. Gupta, Proceedings of the International
Conference on Computing and Information Technology (ICCIT), 1998, Dhaka,
Bangladesh.
- Sorting on Butterfly, M. Singla, A. Karkare & P.
Gupta, Proceedings of the National Conference on Computer &
Information Systems, 1997, Dhaka, Bangladesh.
|
|