Rajdeep Mukherjee : Publications

Click here to download all publications in a single bibtex file

@inproceedings{DBLP:conf/isvlsi/MukherjeeATVA17,
  title = "Abstract Interpretation Perspective of Bounded Model Checking Using CDCL",
  author = "Rajdeep Mukherjee and Peter Schrammel and Leopold Haller and Daniel Kroening",
  year = "2017",
  booktitle = "VSTTE (Submitted)",
}

@inproceedings{DBLP:conf/isvlsi/MukherjeeDAC17,
  title = "Model Checking Using Abstract Reasoning",
  author = "Rajdeep Mukherjee",
  year = "2017",
  booktitle = "ACM SIGDA PhD Forum, Design Automation Conference",
}

@inproceedings{DBLP:conf/isvlsi/MukherjeeKMS15,
  title = "Formal Techniques for Effective Co-verification of HW/SW Co-designs",
  author = "Rajdeep Mukherjee and Mitra Purandare and Raphael Polig and Daniel Kroening",
  year = "2017",
  booktitle = "DAC",
}

@inproceedings{DBLP:conf/isvlsi/MukherjeeATVA17,
  title = "Lifting CDCL to Template Based Abstract Domains for Program Verification",
  author = "Rajdeep Mukherjee and Peter Schrammel and Leopold Haller and Daniel Kroening and Tom Melham",
  year = "2017",
  booktitle = "ATVA (Submitted)",
}

@inproceedings{DBLP:conf/fm/MukherjeeFM16,
  title = "Beyond Word level Hardware Verification",
  author = "Rajdeep Mukherjee",
  year = "2016",
  booktitle = "Doctoral Symposium, FM",
}

@inproceedings{DBLP:conf/tacas/MukherjeeTK16,
  title = "v2c - {A} Verilog to {C} Translator",
  author = "Rajdeep Mukherjee and Michael Tautschnig and Daniel Kroening",
  year = "2016",
  booktitle = "TACAS",
  pages = "580--586",
  doi = "10.1007/978-3-662-49674-9_38",
}

@inproceedings{DBLP:conf/fm/Mukherjee0GKM16,
  title = "Equivalence Checking of a Floating-Point Unit Against a High-Level {C} Model",
  author = "Rajdeep Mukherjee and Saurabh Joshi and Andreas Griesmayer and Daniel Kroening and Tom Melham",
  year = "2016",
  booktitle = "FM",
  pages = "551--558",
  doi = "10.1007/978-3-319-48989-6_33",
}

@inproceedings{DBLP:conf/date/MukherjeeSKM16,
  title = "Unbounded safety verification for hardware using software analyzers",
  author = "Rajdeep Mukherjee and Peter Schrammel and Daniel Kroening and Tom Melham",
  year = "2016",
  booktitle = "DATE",
  pages = "1152--1155",
}

@inproceedings{DBLP:conf/isvlsi/MukherjeeKMS15,
  title = "Equivalence Checking Using Trace Partitioning",
  author = "Rajdeep Mukherjee and Daniel Kroening and Tom Melham and Mandayam K. Srivas",
  year = "2015",
  booktitle = "{IEEE} Computer Society Annual Symposium on VLSI, (ISVLSI)",
  pages = "13--18",
  doi = "10.1109/ISVLSI.2015.110",
}

@inproceedings{DBLP:conf/isvlsi/MukherjeeKM15,
  title = "Hardware Verification Using Software Analyzers",
  author = "Rajdeep Mukherjee and Daniel Kroening and Tom Melham",
  year = "2015",
  booktitle = "{IEEE} Computer Society Annual Symposium on VLSI, (ISVLSI)",
  pages = "7--12",
  doi = "10.1109/ISVLSI.2015.107",
}

@inproceedings{DBLP:conf/isvlsi/MukherjeeFM16,
  title = "How Effecient are Software Verifiers for Hardware ?",
  author = "Rajdeep Mukherjee",
  year = "2015",
  booktitle = "PhD Forum, FMCAD",
}