Paper critique and presentation guidelines.
 

Date	Presenter	Paper
04/20	Elkin Cruz	Fractional Types: Expressive and Safe Space Management for Ancilla Bits by Chao-Hong Chen and Vikraman Choudhury and Jacques Carette and Amr Sabry arXiv, 2020 @misc{chen2020fractional, title={Fractional Types: Expressive and Safe Space Management for Ancilla Bits}, author={Chao-Hong Chen and Vikraman Choudhury and Jacques Carette and Amr Sabry}, year={2020}, eprint={2002.07020}, archivePrefix={arXiv}, primaryClass={cs.PL}, howpublished="\url{https://arxiv.org/abs/2002.07020v1}" }
	Randolph Xia	Algorithmic Verification of Asynchronous Programs by Ganty, Pierre and Majumdar, Rupak ACM Trans. Program. Lang. Syst., 2012 @article{10.1145/2160910.2160915, author = {Ganty, Pierre and Majumdar, Rupak}, title = {Algorithmic Verification of Asynchronous Programs}, year = {2012}, issue_date = {April 2012}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {34}, number = {1}, issn = {0164-0925}, url = {https://doi.org/10.1145/2160910.2160915}, doi = {10.1145/2160910.2160915}, journal = {ACM Trans. Program. Lang. Syst.}, month = may, articleno = {Article 6}, numpages = {48}, keywords = {Petri nets, fair termination, Asynchronous (event-driven) programming, liveness} }
	Hayes Neuman	RustBelt: Securing the Foundations of the Rust Programming Language by Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer POPL, 2018
04/23	Michael Giancola	Formal verification of ethical choices in autonomous systems by Dennis, Louise and Fisher, Michael and Slavkovik, Marija and Webster, Matt Robotics and Autonomous Systems, 2016 @article{dennis2016formal, title={Formal verification of ethical choices in autonomous systems}, author={Dennis, Louise and Fisher, Michael and Slavkovik, Marija and Webster, Matt}, journal={Robotics and Autonomous Systems}, volume={77}, pages={1--14}, year={2016}, publisher={Elsevier} }
	John Angel	Propositional Attitudes and Causation by K. Arkoudas and S. Bringsjord International Journal of Software and Informatics, 2009. @article{ka_sb_scc_seqcalc, Author = {K. Arkoudas and S. Bringsjord}, Journal = {International Journal of Software and Informatics}, Number = 1, Pages = {47--65}, Title = {{Propositional Attitudes and Causation}}, Url = {http://kryten.mm.rpi.edu/PRICAI_w_sequentcalc_041709.pdf}, Volume = 3, Year = 2009, Bdsk-Url-1 = {http://kryten.mm.rpi.edu/PRICAI%5C_w%5C_sequentcalc%5C_041709.pdf}}
	Karan Sarkar	Formal Verification of a C Value Analysis Based on Abstract Interpretation by Sandrine Blazy, Vincent Laporte, Andre Maroneze, and David Pichardie arXiv, 2013.