Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/isqed/AbderehmanRK22,
  author       = {Mohammed Abderehman and
                  Theegala Rakesh Reddy and
                  Chandan Karfa},
  title        = {{DEEQ:} Data-driven End-to-End EQuivalence Checking of High-level
                  Synthesis},
  booktitle    = {23rd International Symposium on Quality Electronic Design, {ISQED}
                  2022, Santa Clara, CA, USA, April 6-7, 2022},
  pages        = {64--70},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ISQED54688.2022.9806218},
  doi          = {10.1109/ISQED54688.2022.9806218},
  timestamp    = {Mon, 04 Jul 2022 17:06:19 +0200},
  biburl       = {https://dblp.org/rec/conf/isqed/AbderehmanRK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/LongBC13,
  author       = {Jiang Long and
                  Robert K. Brayton and
                  Michael L. Case},
  editor       = {Malay K. Ganai and
                  Alper Sen},
  title        = {{LEC:} Learning Driven Data-path Equivalence Checking},
  booktitle    = {Proceedings of the Second International Workshop on Design and Implementation
                  of Formal Tools and Systems, Portland, OR, USA, October 19, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1130},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1130/paper\_3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:13 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/LongBC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/0001SCA13,
  author       = {Rahul Sharma and
                  Eric Schkufza and
                  Berkeley R. Churchill and
                  Alex Aiken},
  editor       = {Antony L. Hosking and
                  Patrick Th. Eugster and
                  Cristina V. Lopes},
  title        = {Data-driven equivalence checking},
  booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
                  Object Oriented Programming Systems Languages {\&} Applications,
                  {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
                  26-31, 2013},
  pages        = {391--406},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2509136.2509509},
  doi          = {10.1145/2509136.2509509},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/0001SCA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/todaes/KarfaMS12,
  author       = {Chandan Karfa and
                  Chittaranjan A. Mandal and
                  Dipankar Sarkar},
  title        = {Formal verification of code motion techniques using data-flow-driven
                  equivalence checking},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {17},
  number       = {3},
  pages        = {30:1--30:37},
  year         = {2012},
  url          = {https://doi.org/10.1145/2209291.2209303},
  doi          = {10.1145/2209291.2209303},
  timestamp    = {Mon, 08 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/todaes/KarfaMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isvlsi/KarfaSM10,
  author       = {Chandan Karfa and
                  Dipankar Sarkar and
                  Chittaranjan A. Mandal},
  title        = {Data-Flow Driven Equivalence Checking for Verification of Code Motion
                  Techniques},
  booktitle    = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2010, 5-7
                  July 2010, Lixouri Kefalonia, Greece},
  pages        = {428--433},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISVLSI.2010.58},
  doi          = {10.1109/ISVLSI.2010.58},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isvlsi/KarfaSM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}