Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMay 2024
Rapidash: Efficient Detection of Constraint Violations
Proceedings of the VLDB Endowment (PVLDB), Volume 17, Issue 8Pages 2009–2021https://doi.org/10.14778/3659437.3659454Denial Constraint (DC) is a well-established formalism that captures a wide range of integrity constraints commonly encountered, including candidate keys, functional dependencies, and ordering constraints, among others. Given their significance, there ...
- research-articleMarch 2024
Investigating Student Mistakes in Introductory Data Science Programming
- Anjali Singh,
- Anna Fariha,
- Christopher Brooks,
- Gustavo Soares,
- Austin Z. Henley,
- Ashish Tiwari,
- Chethan M,
- Heeryung Choi,
- Sumit Gulwani
SIGCSE 2024: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1Pages 1258–1264https://doi.org/10.1145/3626252.3630884Data Science (DS) has emerged as a new academic discipline where students are introduced to data-centric thinking and generating data-driven insights through programming. Unlike traditional introductory Computer Science (CS) education, which focuses on ...
- research-articleFebruary 2024
Transformer based contextual text representation framework for intelligent information retrieval
Expert Systems with Applications: An International Journal (EXWA), Volume 238, Issue PChttps://doi.org/10.1016/j.eswa.2023.121629AbstractWith the advent of transformer-based architectures, the contextual representation of text data has leveraged the query and the document to be represented in low-dimensional dense vector space. These vectors are learned embeddings of fixed sizes, ...
Highlights- Transformer-based contextual text representation approach is proposed for IR.
- Bi-Encoder architecture is applied to learn the representations of documents & query.
- BERT-based summarization is applied to address the limitation on ...
Grace: Language Models Meet Code Edits
- Priyanshu Gupta,
- Avishree Khare,
- Yasharth Bajpai,
- Saikat Chakraborty,
- Sumit Gulwani,
- Aditya Kanade,
- Arjun Radhakrishna,
- Gustavo Soares,
- Ashish Tiwari
ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software EngineeringPages 1483–1495https://doi.org/10.1145/3611643.3616253Developers spend a significant amount of time in editing code for a variety of reasons such as bug fixing or adding new features. Designing effective methods to predict code edits has been an active yet challenging area of research due to the diversity ...
- research-articleMay 2024
Multilevel Cloud resource Scheduling approach based on imagebased signature system
ICIMMI '23: Proceedings of the 5th International Conference on Information Management & Machine IntelligenceArticle No.: 33, Pages 1–7https://doi.org/10.1145/3647444.3647859Abstract: Cloud computing is arising with developing fame in work process booking, particularly for logical work process. During resource allotment, the cloud computing climate might experience impressive issues as far as execution time and execution ...
-
- short-paperJune 2023
CoWrangler: Recommender System for Data-Wrangling Scripts
- Bhavya Chopra,
- Anna Fariha,
- Sumit Gulwani,
- Austin Z. Henley,
- Daniel Perelman,
- Mohammad Raza,
- Sherry Shi,
- Danny Simmons,
- Ashish Tiwari
SIGMOD '23: Companion of the 2023 International Conference on Management of DataPages 147–150https://doi.org/10.1145/3555041.3589722We present CoWrangler, a real-time data wrangling recommender system, which can recommend the next-best data wrangling operations along with the corresponding human-readable and efficient code snippets to expedite data exploration and wrangling efforts. ...
- research-articleJanuary 2023
FlashFill++: Scaling Programming by Example by Cutting to the Chase
Proceedings of the ACM on Programming Languages (PACMPL), Volume 7, Issue POPLArticle No.: 33, Pages 952–981https://doi.org/10.1145/3571226Programming-by-Examples (PBE) involves synthesizing an "intended program" from a small set of user-provided input-output examples. A key PBE strategy has been to restrict the search to a carefully designed small domain-specific language (DSL) with "...
- research-articleMay 2023
A Sustainable and Secure Cloud resource provisioning system in Industrial Internet of Things (IIoT) based on Image Encryption
- C.T Dora Pravina,
- Mrunalini Upendra Buradkar,
- Md Khalid Jamal,
- Ashish Tiwari,
- Udit Mamodiya,
- Dinesh Goyal
ICIMMI '22: Proceedings of the 4th International Conference on Information Management & Machine IntelligenceArticle No.: 18, Pages 1–5https://doi.org/10.1145/3590837.3590855An organization can be created through the Industrial Internet of Things (IIoT), which can transform an existing bound structure. The Industrial Internet of Things (IIoT) and its remote organization requirements for current sensors are very productive. ...
- research-articleNovember 2022
NL2Viz: natural language to visualization via constrained syntax-guided synthesis
- Zhengkai Wu,
- Vu Le,
- Ashish Tiwari,
- Sumit Gulwani,
- Arjun Radhakrishna,
- Ivan Radiček,
- Gustavo Soares,
- Xinyu Wang,
- Zhenwen Li,
- Tao Xie
ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software EngineeringPages 972–983https://doi.org/10.1145/3540250.3549140Recent development in NL2CODE (Natural Language to Code) research allows end-users, especially novice programmers to create a concrete implementation of their ideas such as data visualization by providing natural language (NL) instructions. An NL2CODE ...
- research-articleOctober 2022
Neurosymbolic repair for low-code formula languages
- Rohan Bavishi,
- Harshit Joshi,
- José Cambronero,
- Anna Fariha,
- Sumit Gulwani,
- Vu Le,
- Ivan Radiček,
- Ashish Tiwari
Proceedings of the ACM on Programming Languages (PACMPL), Volume 6, Issue OOPSLA2Article No.: 164, Pages 1093–1122https://doi.org/10.1145/3563327Most users of low-code platforms, such as Excel and PowerApps, write programs in domain-specific formula languages to carry out nontrivial tasks. Often users can write most of the program they want, but introduce small mistakes that yield broken ...
- research-articleOctober 2022
Overwatch: learning patterns in code edit sequences
- Yuhao Zhang,
- Yasharth Bajpai,
- Priyanshu Gupta,
- Ameya Ketkar,
- Miltiadis Allamanis,
- Titus Barik,
- Sumit Gulwani,
- Arjun Radhakrishna,
- Mohammad Raza,
- Gustavo Soares,
- Ashish Tiwari
Proceedings of the ACM on Programming Languages (PACMPL), Volume 6, Issue OOPSLA2Article No.: 139, Pages 395–423https://doi.org/10.1145/3563302Integrated Development Environments (IDEs) provide tool support to automate many source code editing tasks. Traditionally, IDEs use only the spatial context, i.e., the location where the developer is editing, to generate candidate edit recommendations. ...
- ArticleOctober 2022
DeepPS2: Revisiting Photometric Stereo Using Two Differently Illuminated Images
AbstractEstimating 3D surface normals through photometric stereo has been of great interest in computer vision research. Despite the success of existing traditional and deep learning-based methods, it is still challenging due to: (i) the requirement of ...
- ArticleOctober 2022
Towards Drone Flocking Using Relative Distance Measurements
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and LearningPages 97–109https://doi.org/10.1007/978-3-031-19759-8_7AbstractWe introduce a method to form and maintain a flock of drones only based on relative distance measurements. This means our approach is able to work in GPS-denied environments. It is fully distributed and therefore does not need any information ...
- articleSeptember 2022
Adaptive Ontology-Based IoT Resource Provisioning in Computing Systems
International Journal on Semantic Web & Information Systems (IJSWIS-IGI), Volume 18, Issue 1Pages 1–18https://doi.org/10.4018/IJSWIS.306260The eagle expresses of cloud computing plays a pivotal role in the development of technology. The aim is to solve in such a way that it will provide an optimized solution. The key role of allocating these efficient resources and making the algorithms ...
- articleMay 2022
Orrs Orchestration of a Resource Reservation System Using Fuzzy Theory in High-Performance Computing: Lifeline of the Computing World
International Journal of Software Innovation (IJSI), Volume 10, Issue 1Pages 1–28https://doi.org/10.4018/IJSI.297923In the computing world, every company is focusing on the early reservation system. In the early reservation the price, quality of service, time, and everything is maintained and reserved for the user on the due interval. ORRS is a step toward this ...
- research-articleOctober 2021
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis
- Kia Rahmani,
- Mohammad Raza,
- Sumit Gulwani,
- Vu Le,
- Daniel Morris,
- Arjun Radhakrishna,
- Gustavo Soares,
- Ashish Tiwari
Proceedings of the ACM on Programming Languages (PACMPL), Volume 5, Issue OOPSLAArticle No.: 158, Pages 1–29https://doi.org/10.1145/3485535Multi-modal program synthesis refers to the task of synthesizing programs (code) from their specification given in different forms, such as a combination of natural language and examples. Examples provide a precise but incomplete specification, and ...
- research-articleAugust 2021
Performance optimisation of deep learning models using majority voting algorithm for brain tumour classification
Computers in Biology and Medicine (CBIM), Volume 135, Issue Chttps://doi.org/10.1016/j.compbiomed.2021.104564Abstract BackgroundAlthough biopsy is the gold standard for tumour grading, being invasive, this procedure also proves fatal to the brain. Thus, non-invasive methods for brain tumour grading are urgently needed. Here, a magnetic resonance imaging (MRI)-...
Highlights- A computer-aided diagnostic tool is proposed for automated brain tumour classification using MRI.
- Machine and deep learning-based ensemble algorithms are proposed to enhance the performance of many models.
- The proposed method is ...
- research-articleOctober 2021
A Deep Learning model capable of producing heatmap probabilities for Characters in Natural Scenes.
PRIS '21: Proceedings of the 2021 International Conference on Pattern Recognition and Intelligent SystemsPages 47–52https://doi.org/10.1145/3480651.3480662Text appearing in Natural settings come in all shapes, sizes and textures. Classical methods have often failed at extracting accurately the text present in naturally occurring scenes. Text appearing in the wild presents itself in forms of hierarchy ...
- short-paperJune 2021
CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning
SIGMOD '21: Proceedings of the 2021 International Conference on Management of DataPages 2706–2710https://doi.org/10.1145/3448016.3452750Data profiling refers to the task of extracting technical metadata or profiles and has numerous applications such as data understanding, validation, integration, and cleaning. While a number of data profiling primitives exist in the literature, most of ...
- research-articleJune 2021
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
SIGMOD '21: Proceedings of the 2021 International Conference on Management of DataPages 499–512https://doi.org/10.1145/3448016.3452795The reliability of inferences made by data-driven systems hinges on the data's continued conformance to the systems' initial settings and assumptions. When serving data (on which we want to apply inference) deviates from the profile of the initial ...