Prospar Research Group

PROSPAR Research Group

CSE, IIT Kanpur

   Research    |    Members    |    Publications    |    Funding

Research

Our group works on research problems to help build efficient and correct parallel software. For example, we work on problems ranging from static and dynamic program analysis for correctness of multithreaded programs to automated checking for performance problems on CPU, GPU, and heterogeneous architectures. Our work involves applying concepts at the interface of Programming Languages, Compilers and Runtime systems, Program Analysis, Operating Systems, and Computer Architecture, and involves building prototypes to demonstrate the feasibility of our ideas.

Current Members

    PhD     MTech/Dual Degree     MS(R)     BTech

Click here to see past members

Our group is always looking for good PhD/MS students who are motivated to do research in the general area of programming languages and parallel software systems.

Recent Publications

EMSOFT 2022 An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks
PMAM 2022 Efficient Data Race Detection of Async-Finish Programs Using Vector Clocks
arXiv 2021 Predictive Data Race Detection for GPUs
EMSOFT 2021 Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems
DUAC 2021 Explaining the Performance of Supervised and Semi-Supervised Methods for Automated Sparse Matrix Format Selection
arXiv 2021 Neat: Low-Complexity, Efficient On-Chip Cache Coherence
PACT 2020 A Methodology for Principled Approximation in Visual SLAM
ASPLOS 2020 Peacenik: Architecture Support for Avoiding Failures under Fail-Stop Memory Consistency
VLSID 2020 Thermal Load-aware Adaptive Scheduling for Heterogeneous Platforms
CACM 2020 An Elementary Introduction to Kalman Filtering
PACT 2019 SLAMBooster: An Application-aware Controller for Approximation in SLAM
IPDPS 2019 Rethinking Support for Region Conflict Exceptions
IEEE Software 2019 Proteus: Language and Runtime Support for Self-Adaptive Software Development
WAX 2018 KinectFusion on Steroids

Click here to see a detailed list of publications.

Funding