Latest Published Articles:
Programming Languages
#ProgrammingLanguages
🗒 How Usable are Rust Cryptography APIs?
👥 Kai Mindermann, Philipp Keck, Stefan Wagner
📗 PDF
🗒 Syntax and Semantics of Cedille
👥 Aaron Stump
📗 PDF
🗒 Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
👥 Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
📗 PDF
🗒 SoK: Sanitizing for Security
👥 Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
📗 PDF
🗒 Greybox fuzzing as a contextual bandits problem
👥 Ketan Patil, Aditya Kanade
📗 PDF
🗒 Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)
👥 Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton
📗 PDF
🗒 Type variables in patterns
👥 Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
📗 PDF
🗒 Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
👥 Fabian Kunze, Gert Smolka, Yannick Forster
📗 PDF
🗒 Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
👥 Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
📗 PDF
🗒 Program Synthesis Through Reinforcement Learning Guided Tree Search
👥 Riley Simmons-Edler, Anders Miltner, Sebastian Seung
📗 PDF
🗒 Rust Distilled: An Expressive Tower of Languages
👥 Aaron Weiss, Daniel Patterson, Amal Ahmed
📗 PDF
🗒 Logic Programming as a Service
👥 Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
📗 PDF
🗒 Eliminating Timing Side-Channel Leaks using Program Repair
👥 Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
📗 PDF
🗒 Efficient Differentiable Programming in a Functional Array-Processing Language
👥 Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
📗 PDF
🗒 Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms
👥 Yi Wu, Siddharth Srivastava, Nicholas Hay, Simon Du, Stuart Russell
📗 PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
🗒 How Usable are Rust Cryptography APIs?
👥 Kai Mindermann, Philipp Keck, Stefan Wagner
🗒 Syntax and Semantics of Cedille
👥 Aaron Stump
🗒 Evaluating Maintainability Prejudices with a Large-Scale Study of Open-Source Projects
👥 Tobias Roehm, Daniel Veihelmann, Stefan Wagner, Elmar Juergens
🗒 SoK: Sanitizing for Security
👥 Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
🗒 Greybox fuzzing as a contextual bandits problem
👥 Ketan Patil, Aditya Kanade
🗒 Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)
👥 Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton
🗒 Type variables in patterns
👥 Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
🗒 Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
👥 Fabian Kunze, Gert Smolka, Yannick Forster
🗒 Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
👥 Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
🗒 Program Synthesis Through Reinforcement Learning Guided Tree Search
👥 Riley Simmons-Edler, Anders Miltner, Sebastian Seung
🗒 Rust Distilled: An Expressive Tower of Languages
👥 Aaron Weiss, Daniel Patterson, Amal Ahmed
🗒 Logic Programming as a Service
👥 Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
🗒 Eliminating Timing Side-Channel Leaks using Program Repair
👥 Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
🗒 Efficient Differentiable Programming in a Functional Array-Processing Language
👥 Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
🗒 Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms
👥 Yi Wu, Siddharth Srivastava, Nicholas Hay, Simon Du, Stuart Russell
#ProgrammingLanguages
AI Python & arXiv Channel