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
π 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
Latest Published Articles:
Programming Languages
#ProgrammingLanguages
π Strict Linearizability and Abstract Atomicity
π₯ Tangliu Wen
π PDF
π An Application of Computable Distributions to the Semantics of Probabilistic Programs
π₯ Daniel Huang, Greg Morrisett, Bas Spitters
π PDF
π Parallelization of XPath Queries using Modern XQuery Processors
π₯ Shigeyuki Sato, Wei Hao, Kiminori Matsuzaki
π PDF
π Schematic Polymorphism in the Abella Proof Assistant
π₯ Gopalan Nadathur, Yuting Wang
π PDF
π Augmenting Source Code Lines with Sample Variable Values
π₯ MatΓΊΕ‘ SulΓr, Jaroslav PorubΓ€n
π PDF
π Neural Code Comprehension: A Learnable Representation of Code Semantics
π₯ Tal Ben-Nun, Alice Shoshana Jakobovits, Torsten Hoefler
π PDF
π A Theory of Reversibility for Erlang
π₯ Ivan Lanese, Naoki Nishida, AdriΓ‘n Palacios, GermΓ‘n Vidal
π PDF
π Reasoning about Polymorphic Manifest Contracts
π₯ Taro Sekiyama, Atsushi Igarashi
π PDF
π Dependently Typed Folds for Nested Data Types
π₯ Peng Fu, Peter Selinger
π PDF
π 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
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
π Strict Linearizability and Abstract Atomicity
π₯ Tangliu Wen
π PDF
π An Application of Computable Distributions to the Semantics of Probabilistic Programs
π₯ Daniel Huang, Greg Morrisett, Bas Spitters
π PDF
π Parallelization of XPath Queries using Modern XQuery Processors
π₯ Shigeyuki Sato, Wei Hao, Kiminori Matsuzaki
π PDF
π Schematic Polymorphism in the Abella Proof Assistant
π₯ Gopalan Nadathur, Yuting Wang
π PDF
π Augmenting Source Code Lines with Sample Variable Values
π₯ MatΓΊΕ‘ SulΓr, Jaroslav PorubΓ€n
π PDF
π Neural Code Comprehension: A Learnable Representation of Code Semantics
π₯ Tal Ben-Nun, Alice Shoshana Jakobovits, Torsten Hoefler
π PDF
π A Theory of Reversibility for Erlang
π₯ Ivan Lanese, Naoki Nishida, AdriΓ‘n Palacios, GermΓ‘n Vidal
π PDF
π Reasoning about Polymorphic Manifest Contracts
π₯ Taro Sekiyama, Atsushi Igarashi
π PDF
π Dependently Typed Folds for Nested Data Types
π₯ Peng Fu, Peter Selinger
π PDF
π 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
#ProgrammingLanguages
AI Python & arXiv Channel
5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages
π Treo: Textual Syntax for Reo Connectors
π₯ Kasper Dokter, Farhad Arbab
π PDF
π Verification of Shared-Reading Synchronisers
π₯ Afshin Amighi, Marieke Huisman, Stefan Blom
π PDF
π Finding models through graph saturation
π₯ Sebastiaan J. C. Joosten
π PDF
π Automated Detection of Serializability Violations under Weak Consistency
π₯ Kartik Nagar, Suresh Jagannathan
π PDF
π Proving Linearizability Using Reduction
π₯ Tangliu Wen
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
π Treo: Textual Syntax for Reo Connectors
π₯ Kasper Dokter, Farhad Arbab
π PDF
π Verification of Shared-Reading Synchronisers
π₯ Afshin Amighi, Marieke Huisman, Stefan Blom
π PDF
π Finding models through graph saturation
π₯ Sebastiaan J. C. Joosten
π PDF
π Automated Detection of Serializability Violations under Weak Consistency
π₯ Kartik Nagar, Suresh Jagannathan
π PDF
π Proving Linearizability Using Reduction
π₯ Tangliu Wen
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages
π Cimple: Instruction and Memory Level Parallelism
π₯ Vladimir Kiriansky, Haoran Xu, Martin Rinard, Saman Amarasinghe
π PDF
π Multi-Stage JavaScript
π₯ Anthony Savidis, Yannis Apostolidis, Yannis Lilis
π PDF
π A Purely Functional Computer Algebra System Embedded in Haskell
π₯ Hiromi Ishii
π PDF
π Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
π₯ FrΓ©dΓ©ric Blanqui, Giselle Reis
π PDF
π A Semantics for Hybrid Iteration
π₯ Sergey Goncharov, Julian Jakob, Renato Neves
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
π Cimple: Instruction and Memory Level Parallelism
π₯ Vladimir Kiriansky, Haoran Xu, Martin Rinard, Saman Amarasinghe
π PDF
π Multi-Stage JavaScript
π₯ Anthony Savidis, Yannis Apostolidis, Yannis Lilis
π PDF
π A Purely Functional Computer Algebra System Embedded in Haskell
π₯ Hiromi Ishii
π PDF
π Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
π₯ FrΓ©dΓ©ric Blanqui, Giselle Reis
π PDF
π A Semantics for Hybrid Iteration
π₯ Sergey Goncharov, Julian Jakob, Renato Neves
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages
π Datalog-based Scalable Semantic Diffing of Concurrent Programs
π₯ Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
π PDF
π Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
π₯ Robert Atkey, Sam Lindley
π PDF
π Competitive Parallelism: Getting Your Priorities Right
π₯ Stefan K. Muller, Umut A. Acar, Robert Harper
π PDF
π Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks
π₯ Martin Sulzmann, Kai Stadtmueller
π PDF
π A modelling language for the effective design of Java annotations
π₯ Irene CΓ³rdoba, Juan de Lara
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
π Datalog-based Scalable Semantic Diffing of Concurrent Programs
π₯ Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
π PDF
π Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
π₯ Robert Atkey, Sam Lindley
π PDF
π Competitive Parallelism: Getting Your Priorities Right
π₯ Stefan K. Muller, Umut A. Acar, Robert Harper
π PDF
π Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks
π₯ Martin Sulzmann, Kai Stadtmueller
π PDF
π A modelling language for the effective design of Java annotations
π₯ Irene CΓ³rdoba, Juan de Lara
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages
π Constructive Galois Connections
π₯ David Darais, David Van Horn
π PDF
π Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness
π₯ Patrick Rein, Stefan Ramson, Jens Lincke, Robert Hirschfeld, Tobias Pape
π PDF
π Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
π₯ Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
π PDF
π Data Race Detection on Compressed Traces
π₯ Dileep Kini, Umang Mathur, Mahesh Viswanathan
π PDF
π Analysis of Logarithmic Amortised Complexity
π₯ Martin Hofmann, Georg Moser
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
π Constructive Galois Connections
π₯ David Darais, David Van Horn
π PDF
π Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness
π₯ Patrick Rein, Stefan Ramson, Jens Lincke, Robert Hirschfeld, Tobias Pape
π PDF
π Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
π₯ Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
π PDF
π Data Race Detection on Compressed Traces
π₯ Dileep Kini, Umang Mathur, Mahesh Viswanathan
π PDF
π Analysis of Logarithmic Amortised Complexity
π₯ Martin Hofmann, Georg Moser
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π Making root cause analysis feasible for large code bases: a solution approach for a climate model
π₯ Daniel J. Milroy, Allison H. Baker, Dorit M. Hammerling, Youngsung Kim, Elizabeth R. Jessup, Thomas Hauser
π PDF
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Dynamic Type Inference for Gradual Hindley--Milner Typing
π₯ Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
π PDF
π Trace Abstraction Modulo Probability
π₯ Calvin Smith, Justin Hsu, Aws Albarghouthi
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π Making root cause analysis feasible for large code bases: a solution approach for a climate model
π₯ Daniel J. Milroy, Allison H. Baker, Dorit M. Hammerling, Youngsung Kim, Elizabeth R. Jessup, Thomas Hauser
π PDF
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Dynamic Type Inference for Gradual Hindley--Milner Typing
π₯ Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
π PDF
π Trace Abstraction Modulo Probability
π₯ Calvin Smith, Justin Hsu, Aws Albarghouthi
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel