BibTeX records: Sudipta Kundu

download as .bib file

@inproceedings{DBLP:conf/arith/KapoorFJK23,
  author       = {Ashish Kapoor and
                  Warren E. Ferguson and
                  Himanshu Jain and
                  Sudipta Kundu},
  title        = {Formal Verification of Floating-Point Division},
  booktitle    = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
                  OR, USA, September 4-6, 2023},
  pages        = {93--96},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ARITH58626.2023.00018},
  doi          = {10.1109/ARITH58626.2023.00018},
  timestamp    = {Mon, 08 Apr 2024 20:48:38 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/KapoorFJK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cphysics/KunduBLJ18,
  author       = {Sudipta Kundu and
                  Satadeep Bhattacharjee and
                  Seung{-}Cheol Lee and
                  Manish Jain},
  title        = {{PASTA:} Python Algorithms for Searching Transition stAtes},
  journal      = {Comput. Phys. Commun.},
  volume       = {233},
  pages        = {261--268},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.cpc.2018.06.026},
  doi          = {10.1016/J.CPC.2018.06.026},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cphysics/KunduBLJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/twc/KunduR13,
  author       = {Sudipta Kundu and
                  B. Sundar Rajan},
  title        = {Adaptive Constellation Rotation Scheme for Two-User Fading {MAC} with
                  Quantized Fade State Feedback},
  journal      = {{IEEE} Trans. Wirel. Commun.},
  volume       = {12},
  number       = {3},
  pages        = {1073--1083},
  year         = {2013},
  url          = {https://doi.org/10.1109/TWC.2012.123112.120116},
  doi          = {10.1109/TWC.2012.123112.120116},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/twc/KunduR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pimrc/KunduR12,
  author       = {Sudipta Kundu and
                  B. Sundar Rajan},
  title        = {An adaptive modulation scheme for two-user fading {MAC} with quantized
                  fade state feedback},
  booktitle    = {23rd {IEEE} International Symposium on Personal, Indoor and Mobile
                  Radio Communications, {PIMRC} 2012, Sydney, Australia, September 9-12,
                  2012},
  pages        = {512--518},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/PIMRC.2012.6362839},
  doi          = {10.1109/PIMRC.2012.6362839},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/pimrc/KunduR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1201-3088,
  author       = {Sudipta Kundu and
                  B. Sundar Rajan},
  title        = {An Adaptive Modulation Scheme for Two-user Fading {MAC} with Quantized
                  Fade State Feedback},
  journal      = {CoRR},
  volume       = {abs/1201.3088},
  year         = {2012},
  url          = {http://arxiv.org/abs/1201.3088},
  eprinttype    = {arXiv},
  eprint       = {1201.3088},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1201-3088.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0036857,
  author       = {Sudipta Kundu and
                  Sorin Lerner and
                  Rajesh K. Gupta},
  title        = {High-Level Verification - Methods and Tools for Verification of System-Level
                  Designs},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-1-4419-9359-5},
  doi          = {10.1007/978-1-4419-9359-5},
  isbn         = {978-1-4419-9358-8},
  timestamp    = {Mon, 05 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0036857.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/WangKLGG11,
  author       = {Chao Wang and
                  Sudipta Kundu and
                  Rhishikesh Limaye and
                  Malay K. Ganai and
                  Aarti Gupta},
  title        = {Symbolic predictive analysis for concurrent programs},
  journal      = {Formal Aspects Comput.},
  volume       = {23},
  number       = {6},
  pages        = {781--805},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00165-011-0179-2},
  doi          = {10.1007/S00165-011-0179-2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/WangKLGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/KunduLG10,
  author       = {Sudipta Kundu and
                  Sorin Lerner and
                  Rajesh K. Gupta},
  title        = {Translation Validation of High-Level Synthesis},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {29},
  number       = {4},
  pages        = {566--579},
  year         = {2010},
  url          = {https://doi.org/10.1109/TCAD.2010.2042889},
  doi          = {10.1109/TCAD.2010.2042889},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/KunduLG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KunduGW10,
  author       = {Sudipta Kundu and
                  Malay K. Ganai and
                  Chao Wang},
  editor       = {Tayssir Touili and
                  Byron Cook and
                  Paul B. Jackson},
  title        = {Contessa: Concurrency Testing Augmented with Symbolic Analysis},
  booktitle    = {Computer Aided Verification, 22nd International Conference, {CAV}
                  2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6174},
  pages        = {127--131},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14295-6\_13},
  doi          = {10.1007/978-3-642-14295-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KunduGW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Kundu09,
  author       = {Sudipta Kundu},
  title        = {High-level verification of system designs},
  school       = {University of California, San Diego, {USA}},
  year         = {2009},
  url          = {http://www.escholarship.org/uc/item/84g265gf},
  timestamp    = {Tue, 04 Apr 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Kundu09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipsj/KunduLG09,
  author       = {Sudipta Kundu and
                  Sorin Lerner and
                  Rajesh Gupta},
  title        = {High-Level Verification},
  journal      = {{IPSJ} Trans. Syst. {LSI} Des. Methodol.},
  volume       = {2},
  pages        = {131--144},
  year         = {2009},
  url          = {https://doi.org/10.2197/ipsjtsldm.2.131},
  doi          = {10.2197/IPSJTSLDM.2.131},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipsj/KunduLG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/WangKGG09,
  author       = {Chao Wang and
                  Sudipta Kundu and
                  Malay K. Ganai and
                  Aarti Gupta},
  editor       = {Ana Cavalcanti and
                  Dennis Dams},
  title        = {Symbolic Predictive Analysis for Concurrent Programs},
  booktitle    = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
                  November 2-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5850},
  pages        = {256--272},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-05089-3\_17},
  doi          = {10.1007/978-3-642-05089-3\_17},
  timestamp    = {Mon, 21 Feb 2022 14:40:51 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/WangKGG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/KunduTL09,
  author       = {Sudipta Kundu and
                  Zachary Tatlock and
                  Sorin Lerner},
  editor       = {Michael Hind and
                  Amer Diwan},
  title        = {Proving optimizations correct using parameterized program equivalence},
  booktitle    = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
                  June 15-21, 2009},
  pages        = {327--337},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1542476.1542513},
  doi          = {10.1145/1542476.1542513},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/KunduTL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/GanaiK09,
  author       = {Malay K. Ganai and
                  Sudipta Kundu},
  editor       = {Corina S. Pasareanu},
  title        = {Reduction of Verification Conditions for Concurrent System Using Mutually
                  Atomic Transactions},
  booktitle    = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
                  France, June 26-28, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5578},
  pages        = {68--87},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02652-2\_9},
  doi          = {10.1007/978-3-642-02652-2\_9},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/GanaiK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KunduLG08,
  author       = {Sudipta Kundu and
                  Sorin Lerner and
                  Rajesh Gupta},
  editor       = {Aarti Gupta and
                  Sharad Malik},
  title        = {Validating High-Level Synthesis},
  booktitle    = {Computer Aided Verification, 20th International Conference, {CAV}
                  2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5123},
  pages        = {459--472},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70545-1\_44},
  doi          = {10.1007/978-3-540-70545-1\_44},
  timestamp    = {Sat, 30 Sep 2023 09:35:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KunduLG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/KunduGG08,
  author       = {Sudipta Kundu and
                  Malay K. Ganai and
                  Rajesh Gupta},
  editor       = {Limor Fix},
  title        = {Partial order reduction for scalable testing of systemC {TLM} designs},
  booktitle    = {Proceedings of the 45th Design Automation Conference, {DAC} 2008,
                  Anaheim, CA, USA, June 8-13, 2008},
  pages        = {936--941},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1391469.1391706},
  doi          = {10.1145/1391469.1391706},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KunduGG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/KunduLG07,
  author       = {Sudipta Kundu and
                  Sorin Lerner and
                  Rajesh Gupta},
  editor       = {Georges G. E. Gielen},
  title        = {Automated refinement checking of concurrent systems},
  booktitle    = {2007 International Conference on Computer-Aided Design, {ICCAD} 2007,
                  San Jose, CA, USA, November 5-8, 2007},
  pages        = {318--325},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICCAD.2007.4397284},
  doi          = {10.1109/ICCAD.2007.4397284},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KunduLG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vlsid/BrarBKMWB04,
  author       = {Gurashish Singh Brar and
                  Susmit Biswas and
                  Sudipta Kundu and
                  Arijit Mukhopadhyay and
                  Pratik Worah and
                  Anupam Basu},
  title        = {OaSis: An Application Specific Operating System for an Embedded Environment},
  booktitle    = {17th International Conference on {VLSI} Design {(VLSI} Design 2004),
                  with the 3rd International Conference on Embedded Systems Design,
                  5-9 January 2004, Mumbai, India},
  pages        = {776--779},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICVD.2004.1261026},
  doi          = {10.1109/ICVD.2004.1261026},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsid/BrarBKMWB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.