BibTeX records: Preey Shah

download as .bib file

@inproceedings{DBLP:conf/nips/NguyenGGDSDBR22,
  author       = {Eric Nguyen and
                  Karan Goel and
                  Albert Gu and
                  Gordon W. Downs and
                  Preey Shah and
                  Tri Dao and
                  Stephen Baccus and
                  Christopher R{\'{e}}},
  editor       = {Sanmi Koyejo and
                  S. Mohamed and
                  A. Agarwal and
                  Danielle Belgrave and
                  K. Cho and
                  A. Oh},
  title        = {{S4ND:} Modeling Images and Videos as Multidimensional Signals with
                  State Spaces},
  booktitle    = {Advances in Neural Information Processing Systems 35: Annual Conference
                  on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
                  LA, USA, November 28 - December 9, 2022},
  year         = {2022},
  url          = {http://papers.nips.cc/paper\_files/paper/2022/hash/13388efc819c09564c66ab2dc8463809-Abstract-Conference.html},
  timestamp    = {Mon, 08 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/NguyenGGDSDBR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/GoyalSZNAA22,
  author       = {Prateesh Goyal and
                  Preey Shah and
                  Kevin Zhao and
                  Georgios Nikolaidis and
                  Mohammad Alizadeh and
                  Thomas E. Anderson},
  editor       = {Amar Phanishayee and
                  Vyas Sekar},
  title        = {Backpressure Flow Control},
  booktitle    = {19th {USENIX} Symposium on Networked Systems Design and Implementation,
                  {NSDI} 2022, Renton, WA, USA, April 4-6, 2022},
  pages        = {779--805},
  publisher    = {{USENIX} Association},
  year         = {2022},
  url          = {https://www.usenix.org/conference/nsdi22/presentation/goyal},
  timestamp    = {Wed, 06 Jul 2022 16:57:28 +0200},
  biburl       = {https://dblp.org/rec/conf/nsdi/GoyalSZNAA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-06583,
  author       = {Eric Nguyen and
                  Karan Goel and
                  Albert Gu and
                  Gordon W. Downs and
                  Preey Shah and
                  Tri Dao and
                  Stephen A. Baccus and
                  Christopher R{\'{e}}},
  title        = {{S4ND:} Modeling Images and Videos as Multidimensional Signals Using
                  State Spaces},
  journal      = {CoRR},
  volume       = {abs/2210.06583},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.06583},
  doi          = {10.48550/ARXIV.2210.06583},
  eprinttype    = {arXiv},
  eprint       = {2210.06583},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-06583.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ShahBAC21,
  author       = {Preey Shah and
                  Aman Bansal and
                  S. Akshay and
                  Supratik Chakraborty},
  title        = {A Normal Form Characterization for Efficient Boolean Skolem Function
                  Synthesis},
  booktitle    = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2021, Rome, Italy, June 29 - July 2, 2021},
  pages        = {1--13},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/LICS52264.2021.9470741},
  doi          = {10.1109/LICS52264.2021.9470741},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/ShahBAC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BansalSS21,
  author       = {Aman Bansal and
                  Preey Shah and
                  Sahil Shah},
  editor       = {Mark Sherriff and
                  Laurence D. Merkle and
                  Pamela A. Cutter and
                  Alvaro E. Monge and
                  Judithe Sheard},
  title        = {Eye: Program Visualizer for {CS2}},
  booktitle    = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
                  Education, Virtual Event, USA, March 13-20, 2021},
  pages        = {1380},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3408877.3439684},
  doi          = {10.1145/3408877.3439684},
  timestamp    = {Wed, 07 Apr 2021 16:26:26 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcse/BansalSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-12089,
  author       = {Aman Bansal and
                  Preey Shah and
                  Sahil Shah},
  title        = {Eye: Program Visualizer for {CS2}},
  journal      = {CoRR},
  volume       = {abs/2101.12089},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.12089},
  eprinttype    = {arXiv},
  eprint       = {2101.12089},
  timestamp    = {Sun, 31 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-12089.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14098,
  author       = {Preey Shah and
                  Aman Bansal and
                  S. Akshay and
                  Supratik Chakraborty},
  title        = {A Normal Form Characterization for Efficient Boolean Skolem Function
                  Synthesis},
  journal      = {CoRR},
  volume       = {abs/2104.14098},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.14098},
  eprinttype    = {arXiv},
  eprint       = {2104.14098},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-14098.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/BansalGSSK20,
  author       = {Aman Bansal and
                  Saksham Goel and
                  Preey Shah and
                  Amitabha Sanyal and
                  Prasanna Kumar},
  editor       = {Chen Ding and
                  Martin Maas},
  title        = {Garbage collection using a finite liveness domain},
  booktitle    = {{ISMM} '20: 2020 {ACM} {SIGPLAN} International Symposium on Memory
                  Management, {ISMM} 2020, virtual [London, UK], June 16, 2020},
  pages        = {1--15},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3381898.3397208},
  doi          = {10.1145/3381898.3397208},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/BansalGSSK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bs/GoyalSSAA19,
  author       = {Prateesh Goyal and
                  Preey Shah and
                  Naveen Kr. Sharma and
                  Mohammad Alizadeh and
                  Thomas E. Anderson},
  title        = {Backpressure Flow Control},
  booktitle    = {{BS} '19: 2019 Workshop on Buffer Sizing, Stanford University, Palo
                  Alto, CA, USA, December 2-3, 2019},
  pages        = {4:1--4:3},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3375235.3375239},
  doi          = {10.1145/3375235.3375239},
  timestamp    = {Thu, 06 Feb 2020 11:50:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bs/GoyalSSAA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GuptaSAH19,
  author       = {Utkarsh Gupta and
                  Preey Shah and
                  S. Akshay and
                  Piotr Hofman},
  editor       = {Mikolaj Bojanczyk and
                  Alex Simpson},
  title        = {Continuous Reachability for Unordered Data Petri Nets is in PTime},
  booktitle    = {Foundations of Software Science and Computation Structures - 22nd
                  International Conference, {FOSSACS} 2019, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
                  Prague, Czech Republic, April 6-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11425},
  pages        = {260--276},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17127-8\_15},
  doi          = {10.1007/978-3-030-17127-8\_15},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/GuptaSAH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05604,
  author       = {Utkarsh Gupta and
                  Preey Shah and
                  S. Akshay and
                  Piotr Hofman},
  title        = {Continuous Reachability for Unordered Data Petri nets is in PTime},
  journal      = {CoRR},
  volume       = {abs/1902.05604},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.05604},
  eprinttype    = {arXiv},
  eprint       = {1902.05604},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-05604.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-09923,
  author       = {Prateesh Goyal and
                  Preey Shah and
                  Naveen Kr. Sharma and
                  Mohammad Alizadeh and
                  Thomas E. Anderson},
  title        = {Backpressure Flow Control},
  journal      = {CoRR},
  volume       = {abs/1909.09923},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.09923},
  eprinttype    = {arXiv},
  eprint       = {1909.09923},
  timestamp    = {Fri, 27 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-09923.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics