Swarnendu Biswas

Postdoctoral Fellow
ICES, University of Texas at Austin

[ Contact | Research | Publications | Awards | Service | Teaching | About Me | more | Miscellaneous ]

Contact

POB 4.124, ICES,
University of Texas at Austin,
201 E 24th ST
Austin, TX 78712.

Email: sbiswas [AT] ices.utexas.edu

Research

My areas of interest are Programming Languages, Compilers and Runtime Systems, Computer Architecture, Software Engineering, Embedded, and Real-Time systems.

I am currently a postdoctoral fellow at the ISS group with Prof. Keshav Pingali at UT Austin. I am currently exploring approximation opportunities in programs using online control.

I did my PhD in the PLaSS group with Dr. Michael Bond at Ohio State. My research focused on analyzing concurrency correctness issues in multi-threaded programs and memory models. For example, I have worked on devising dynamic program analyses to check for atomicity violations and data races, which are the two most common source of concurrency errors. My work on memory models aims to strengthen existing programming language memory models by providing strong semantic guarantees even for programs with data races.

I interned at Google Inc., Mountain View, during the summer of 2013 with the Java Platform Team. I worked on implementing a prototype of a low-overhead data race detector for Java programs in the Hotspot VM in OpenJDK, using hardware breakpoints and debug registers which are available on commodity hardware for tracking conflicting accesses to memory locations.

My MS research focused on developing improved techniques for automating regression testing of embedded programs. The work had two parts: developing an automated technique for selecting regression test cases, and then optimizing the set of selected test cases further.

Publications

Yan Pei, Swarnendu Biswas, Donald S. Fussell, and Keshav Pingali. An Elementary Introduction to Kalman Filtering. eprint arXiv:1710.04055 [cs.SY].
Man Cao, Minjia Zhang, Aritra Sengupta, Swarnendu Biswas, and Michael D. Bond. Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support. ACM TOPC 2017.
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond. Avoiding Consistency Exceptions Under Strong Memory Consistency Models. ISMM 2017.
Swarnendu Biswas, Rui Zhang, Michael D. Bond, and Brandon Lucia. Efficient Architecture Support for Region-Serializability-Based Consistency. Technical Report, CSE, Ohio State University, 2017.
Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, and Benjamin P. Wood. Lightweight Data Race Detection for Production Runs. CC 2017.
- CC Talk: pdf pptx
- Source: Jikes RVM Research Archive
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond. Relaxed Dependence Tracking for Parallel Runtime Support. CC 2016.
Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia. Valor: Efficient, Software-Only Region Conflict Exceptions. OOPSLA 2015.
- Awarded OOPSLA'15 Distinguished Paper and OOPSLA'15 Distinguished Artifact
- OOPSLA Talk: pdf pptx
- Source: Jikes RVM Research Archive
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Milind Kulkarni. Hybrid Static-Dynamic Analysis for Region Serializability. ASPLOS 2015.
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, and Michael D. Bond. DoubleChecker: Efficient Sound and Precise Atomicity Checking. PLDI 2014.
- PLDI Talk: pdf pptx
- Source: Jikes RVM Research Archive
Swarnendu Biswas, Rajib Mall, and Manoranjan Satpathy. A Regression Test Selection Technique for Embedded Software. ACM TECS 2013.
Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, and Jipeng Huang. Octet: Capturing and Controlling Cross-Thread Dependences Efficiently. OOPSLA 2013.
Swarnendu Biswas and Rajib Mall. Model-Based Regression Test Suite Optimization For Embedded Programs. ACTA Press JSE 2012.
Swarnendu Biswas, Rajib Mall, and Manoranjan Satpathy. Task Dependency Analysis for Regression Test Selection of Embedded Programs. IEEE ESL 2011.
Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy, and Srihari Sukumaran. Regression Test Selection Techniques: A Survey. Informatica 2011.
Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy, and Srihari Sukumaran. A Model-Based Regression Test Selection Approach for Embedded Applications. ACM SIGSOFT SEN 2009.

Awards

First prize for "Valor: Efficient, Software-Only Region Conflict Exceptions" in the Gradudate category at ACM SRC Grand Finals 2016.
Graduate Research Award, Department of Computer Science and Engineering, Ohio State University, 2016.
First prize for "Viser: Providing Serializability in Hardware With Simplified Cache Coherence" in the Graduate category at OOPSLA 2015 SRC.
Valor awarded OOPSLA'15 Distinguished Paper at OOPSLA 2015.
Valor awarded OOPSLA'15 Distinguished Artifact by the OOPSLA 2015 Artifact Evaluation Committee.
First prize for "Low Overhead Region Conflict Detection" in the Graduate category at PLDI 2015 SRC.

Service

Teaching

Ohio State University

Winter Quarter 2012: Instructor: CSE 202: Introduction to Programming and Algorithms for Engineers and Scientists U 4

About Me | more

Work Experience

During my MS, I worked as a research assistant at IIT Kharagpur (September 2008 to August 2011). The project was sponsored by General Motors India. My work was on developing automated and efficient regression test selection approaches for automotive software.

I worked as a software developer at Wipro Technologies for three years (August 2005 to August 2008). I was involved in software development in the Unified Communications and Automotive Software domains.

Education

PhD, Computer Science and Engineering, Ohio State University, 2016, Dissertation.
MS, Computer Science and Engineering, Ohio State University, 2015.
MS, Computer Science and Engineering, Indian Institute of Technology, Kharagpur, 2011, Thesis ( Link, Link).
BE, Computer Science and Engineering, National Institute of Technology, Durgapur in 2005.

Miscellaneous

I love GNU Emacs, and maintain my Emacs configuration on Github.
I have shared the LaTeX template that I have used for my candidacy proposal and my PhD dissertation at Ohio State, since no LaTeX template is available from the graduate school web pages (as of August 2016).

Last Update: 12th February 2018. Swarnendu Biswas.