BibTeX records: Preey Shah

download as .bib file

@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 = {Fri, 09 Jul 2021 14:04:16 +0200},
  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, 04 May 2021 01:00:00 +0200},
  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 = {Fri, 31 Jan 2020 21:32:20 +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, 21 May 2019 01:00:00 +0200},
  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