Lampropoulos, Leonidas; Pierce, Benjamin C.; Xia, Li-yao; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John Luck: a probabilistic language for testing. (English) Zbl 07311053 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449-488 (2021). MSC: 68N01 PDFBibTeX XMLCite \textit{L. Lampropoulos} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449--488 (2021; Zbl 07311053) Full Text: DOI
Abate, Carmine; Blanco, Roberto; Ciobâcă, Ștefan; Durier, Adrien; Garg, Deepak; Hrițcu, Cătălin; Patrignani, Marco; Tanter, Éric; Thibault, Jérémy Trace-relating compiler correctness and secure compilation. (English) Zbl 1508.68046 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 1-28 (2020). MSC: 68N20 PDFBibTeX XMLCite \textit{C. Abate} et al., Lect. Notes Comput. Sci. 12075, 1--28 (2020; Zbl 1508.68046) Full Text: DOI arXiv
Martínez, Guido; Ahman, Danel; Dumitrescu, Victor; Giannarakis, Nick; Hawblitzel, Chris; Hriţcu, Cătălin; Narasimhamurthy, Monal; Paraskevopoulou, Zoe; Pit-Claudel, Clément; Protzenko, Jonathan; Ramananandro, Tahina; Rastogi, Aseem; Swamy, Nikhil Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms. (English) Zbl 1524.68195 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 11423, 30-59 (2019). MSC: 68Q60 68N30 68V15 PDFBibTeX XMLCite \textit{G. Martínez} et al., Lect. Notes Comput. Sci. 11423, 30--59 (2019; Zbl 1524.68195) Full Text: DOI
Azevedo de Amorim, Arthur; Hriţcu, Cătălin; Pierce, Benjamin C. The meaning of memory safety. (English) Zbl 1427.68043 Bauer, Lujo (ed.) et al., Principles of security and trust. 7th international conference, POST 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10804, 79-105 (2018). MSC: 68N30 68N15 PDFBibTeX XMLCite \textit{A. Azevedo de Amorim} et al., Lect. Notes Comput. Sci. 10804, 79--105 (2018; Zbl 1427.68043) Full Text: DOI arXiv
Ahman, Danel; Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil Dijkstra monads for free. (English) Zbl 1380.68266 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 515-529 (2017). MSC: 68Q60 68N30 68Q55 68T15 PDFBibTeX XMLCite \textit{D. Ahman} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 515--529 (2017; Zbl 1380.68266) Full Text: DOI arXiv
Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao Beginner’s Luck: a language for property-based generators. (English) Zbl 1380.68096 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 114-129 (2017). MSC: 68N18 PDFBibTeX XMLCite \textit{L. Lampropoulos} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 114--129 (2017; Zbl 1380.68096) Full Text: DOI arXiv
Swamy, Nikhil; Hriţcu, Cătălin; Keller, Chantal; Rastogi, Aseem; Delignat-Lavaud, Antoine; Forest, Simon; Bhargavan, Karthikeyan; Fournet, Cédric; Strub, Pierre-Yves; Kohlweiss, Markulf; Zinzindohoue, Jean-Karim; Zanella-Béguelin, Santiago Dependent types and multi-monadic effects in \(\mathrm{F}^*\). (English) Zbl 1347.68038 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 256-270 (2016). MSC: 68N15 68N18 68T15 PDFBibTeX XMLCite \textit{N. Swamy} et al., in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 256--270 (2016; Zbl 1347.68038) Full Text: DOI
Paraskevopoulou, Zoe; Hriţcu, Cătălin; Dénès, Maxime; Lampropoulos, Leonidas; Pierce, Benjamin C. Foundational property-based testing. (English) Zbl 1465.68050 Urban, Christian (ed.) et al., Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9236, 325-343 (2015). MSC: 68N30 68Q60 68V15 68W20 PDFBibTeX XMLCite \textit{Z. Paraskevopoulou} et al., Lect. Notes Comput. Sci. 9236, 325--343 (2015; Zbl 1465.68050) Full Text: DOI HAL
Azevedo de Amorim, Arthur; Collins, Nathan; DeHon, André; Demange, Delphine; Hriţcu, Cătălin; Pichardie, David; Pierce, Benjamin C.; Pollack, Randy; Tolmach, Andrew A verified information-flow architecture. (English) Zbl 1284.68306 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 165-178 (2014). MSC: 68Q30 68Q55 68N25 PDFBibTeX XMLCite \textit{A. Azevedo de Amorim} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 165--178 (2014; Zbl 1284.68306) Full Text: DOI arXiv
Hritcu, Catalin; Hughes, John; Pierce, Benjamin C.; Spector-Zabusky, Antal; Vytiniotis, Dimitrios; Azevedo de Amorim, Arthur; Lampropoulos, Leonidas Testing noninterference, quickly. (English) Zbl 1323.68376 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 455-468 (2013). MSC: 68Q60 68Q05 68Q55 PDFBibTeX XMLCite \textit{C. Hritcu} et al., in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 455--468 (2013; Zbl 1323.68376) Full Text: DOI arXiv
Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David Semantic subtyping with an SMT solver. (English) Zbl 1248.68131 J. Funct. Program. 22, No. 1, 31-105 (2012). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{G. M. Bierman} et al., J. Funct. Program. 22, No. 1, 31--105 (2012; Zbl 1248.68131) Full Text: DOI
Backes, Michael; Hriţcu, Cătălin; Maffei, Matteo Union and intersection types for secure protocol implementations. (English) Zbl 1378.94020 Mödersheim, Sebastian (ed.) et al., Theory of security and applications. Joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31–April 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27374-2/pbk). Lecture Notes in Computer Science 6993, 1-28 (2012). MSC: 94A60 68M12 PDFBibTeX XMLCite \textit{M. Backes} et al., Lect. Notes Comput. Sci. 6993, 1--28 (2012; Zbl 1378.94020) Full Text: DOI
Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David Semantic subtyping with an SMT solver. (English) Zbl 1323.68096 Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 105-116 (2010). MSC: 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{G. M. Bierman} et al., in: Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP '10, Baltimore, MD, USA, September 27--29, 2010. New York, NY: Association for Computing Machinery (ACM). 105--116 (2010; Zbl 1323.68096) Full Text: DOI
Hriţcu, Cătălin; Schwinghammer, Jan A step-indexed semantics of imperative objects. (English) Zbl 1187.68136 Log. Methods Comput. Sci. 5, No. 4, Paper No. 2, 48 p. (2009). MSC: 68N19 68Q55 PDFBibTeX XMLCite \textit{C. Hriţcu} and \textit{J. Schwinghammer}, Log. Methods Comput. Sci. 5, No. 4, Paper No. 2, 48 p. (2009; Zbl 1187.68136) Full Text: DOI