Swarnendu Biswas

Orcid: 0000-0001-6839-8586

According to our database1, Swarnendu Biswas authored at least 30 papers between 2009 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Efficient data race detection of async-finish programs using vector clocks.
Proceedings of the PMAM@PPoPP 2022: Proceedings of the Thirteenth International Workshop on Programming Models and Applications for Multicores and Manycores, Virtual Event / Seoul, Republic of Korea, April 2, 2022

2021
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems.
ACM Trans. Embed. Comput. Syst., 2021

Predictive Data Race Detection for GPUs.
CoRR, 2021

Neat: Low-Complexity, Efficient On-Chip Cache Coherence.
CoRR, 2021

Explaining the Performance of Supervised and Semi-Supervised Methods for Automated Sparse Matrix Format Selection.
Proceedings of the ICPP Workshops 2021: 50th International Conference on Parallel Processing, 2021

HiPC 2021 Workshop on Parallel Programming in the Exascale Era (PPEE 2021).
Proceedings of the 28th IEEE International Conference on High Performance Computing, 2021

2020
Thermal Load-aware Adaptive Scheduling for Heterogeneous Platforms.
Proceedings of the 33rd International Conference on VLSI Design and 19th International Conference on Embedded Systems, 2020

Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

A Methodology for Principled Approximation in Visual SLAM.
Proceedings of the PACT '20: International Conference on Parallel Architectures and Compilation Techniques, 2020

2019
Proteus: Language and Runtime Support for Self-Adaptive Software Development.
IEEE Softw., 2019

An elementary introduction to Kalman filtering.
Commun. ACM, 2019

Rethinking Support for Region Conflict Exceptions.
Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019

SLAMBooster: An Application-Aware Online Controller for Approximation in Dense SLAM.
Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019

2018
SLAMBooster: An Application-aware Controller for Approximation in SLAM.
CoRR, 2018

2017
Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support.
ACM Trans. Parallel Comput., 2017

Capri: A Control System for Approximate Programs.
CoRR, 2017

POSTER: On the Problem of Consistency Exceptions in the Context of Strong Memory Models.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Avoiding consistency exceptions under strong memory models.
Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017

Lightweight data race detection for production runs.
Proceedings of the 26th International Conference on Compiler Construction, 2017

2016
Relaxed dependence tracking for parallel runtime support.
Proceedings of the 25th International Conference on Compiler Construction, 2016

2015
Valor: efficient, software-only region conflict exceptions.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Viser: providing serializability in hardware with simplified cache coherence.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
DoubleChecker: efficient sound and precise atomicity checking.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013
A regression test selection technique for embedded software.
ACM Trans. Embed. Comput. Syst., 2013

OCTET: capturing and controlling cross-thread dependences efficiently.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2011
Regression Test Selection Techniques: A Survey.
Informatica (Slovenia), 2011

Task Dependency Analysis for Regression Test Selection of Embedded Programs.
IEEE Embed. Syst. Lett., 2011

2009
A model-based regression test selection approach for embedded applications.
ACM SIGSOFT Softw. Eng. Notes, 2009


  Loading...