Supratik Mukhopadhyay

Supratik Mukhopadhyay

Associate Professor

3272H Patrick F. Taylor Hall

Louisiana State University
Baton Rouge, LA 70803

Phone: 225 578 1496


Educational Background

Ph.D. in Computer Science, Max-Plank Institute for Computer Science
and University of Saarland, Germany, 2001

M.S. in Computer Science, Indian Statistical Institute, Calcutta, 1996


Teaching Responsibilities

CSC 3380: Object Oriented Design

CSC 4330: Software System Development

CSC 7150: Program Analysis & Model Checking


Selected Publications

Ravindran Kaliappa, Ali Sabbir, Subhajit Sidhanta, and Supratik Mukhopadhyay. Managing Shared Contexts in Distributed Multi-player Game Systems, To appear in Proceedings of IEEE COMSNETS, 2014

M. Peralta and Supratik Mukhopadhyay. Code-Change Impact Analysis Using Counterfactuals, Accepted for publication at the International Journal on Software Engineering and Knowledge Engineering, 2013

Hong Yi Chen, Supratik Mukhopadhyay, and Shaked Flur, Termination Proofs for Linear Simple Loops, Accepted to the Journal Software Tools for Technology Transfer (Springer Verlag), 2013

Chris Alvin, Sumit Gulwani, Rupak Majumdar, and Supratik Mukhopadhyay, Synthesis of Geometry Proof Problems, In Proceedings of AAAI, 2014

Hongyi Chen, Supratik Mukhopadhyay, and Zheng Lu, Control Flow Refinement and Symbolic Computation of Average Case Bound, In Proceedings of ATVA 2013, Lecture Notes In Computer Science (LNCS), Springer Verlag, 2013


Personal Homepage