Karkare, Amey
- Program Synthesis using Natural Language
2015/09/01 by Aditya Desai, Sumit Gulwani, Desai, Aditya +14 · 3 citations
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering Research #Topic Modeling #cs.PL
- ScrawlD: A Dataset of Real World Ethereum Smart Contracts Labelled with Vulnerabilities
2022/02/23 by Chavhan Sujeet Yashavant, Saurabh Kumar, Yashavant, Chavhan Sujeet +3 · 3 citations
Computer Science · Decision Sciences · #Auction Theory and Applications #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Targeted Example Generation for Compilation Errors
2019/09/02 by Ahmed, Umair Z., Sindhgatta, Renuka, Srivastava, Nisheeth +1 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Prutor: A System for Tutoring CS1 and Collecting Student Programs for\n Analysis
2016/08/12 by Rajdeep Das, Das, Rajdeep, Umair Z. Ahmed +5 · 1 citation
Computer Science · #Computers and Society (cs.CY) #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Online Learning and Analytics #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Teaching and Learning Programming
- SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions\n Vulnerability Dataset
2024/12/13 by Chavhan Sujeet Yashavant, Yashavant, Chavhan Sujeet, MitrajSinh Chavda +7 · 1 citation
Economics, Econometrics and Finance · Computer Science · Business, Management and Accounting · #Insurance and Financial Risk Management #Blockchain Technology Applications and Security #FinTech, Crowdfunding, Digital Finance