Latest Published Articles:
Operating Systems
#OperatingSystems
π LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
π₯ Julian Stecklina, Thomas Prescher
π PDF
π Blocking time under basic priority inheritance: Polynomial bound and exact computation
π₯ Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
π PDF
π Minimizing Event-Handling Latencies in Secure Virtual Machines
π₯ Janis Danisevskis, Michael Peter, Jan Nordholz
π PDF
π Datacenter RPCs can be General and Fast
π₯ Anuj Kalia, Michael Kaminsky, David G. Andersen
π PDF
π An Operating System Level Data Migration Scheme in Hybrid DRAM-NVM Memory Architecture
π₯ Reza Salkhordeh, Hossein Asadi
π PDF
π Mosaic: An Application-Transparent Hardware-Software Cooperative Memory Manager for GPUs
π₯ Rachata Ausavarungnirun, Joshua Landgraf, Vance Miller, Saugata Ghose, Jayneel Gandhi, Christopher J. Rossbach, Onur Mutlu
π PDF
π iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
π₯ Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu
π PDF
π Reactive NaN Repair for Applying Approximate Memory to Numerical Applications
π₯ Shinsuke Hamada, Soramichi Akiyama, Mitaro Namiki
π PDF
π The Secure Machine: Efficient Secure Execution On Untrusted Platforms
π₯ Ofir Shwartz, Yitzhak Birk
π PDF
π Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems
π₯ Jian-Jia Chen, Georg von der BrΓΌggen, Niklas Ueter
π PDF
π A Reliable and Practical Approach to Kernel Attack Surface Reduction of Commodity OS
π₯ Zhi Zhang, Yueqiang Cheng, Surya Nepal, Dongxi Liu, Qingni Shen, Fethi Rabhi
π PDF
π End-to-end Analysis and Design of a Drone Flight Controller
π₯ Zhuoqun Cheng, Richard West, Craig Einstein
π PDF
π Realizing Uncertainty-Aware Timing Stack in Embedded Operating System
π₯ Amr Alanwar, Fatima M. Anwar, Joao P Hespanha, Mani Srivastava
π PDF
π Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores
π₯ Diego Didona, Willy Zwaenepoel
π PDF
π Representation Learning for Resource Usage Prediction
π₯ Florian Schmidt, Mathias Niepert, Felipe Huici
π PDF
#OperatingSystems
AI Python & arXiv Channel
Operating Systems
#OperatingSystems
π LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
π₯ Julian Stecklina, Thomas Prescher
π PDF
π Blocking time under basic priority inheritance: Polynomial bound and exact computation
π₯ Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
π PDF
π Minimizing Event-Handling Latencies in Secure Virtual Machines
π₯ Janis Danisevskis, Michael Peter, Jan Nordholz
π PDF
π Datacenter RPCs can be General and Fast
π₯ Anuj Kalia, Michael Kaminsky, David G. Andersen
π PDF
π An Operating System Level Data Migration Scheme in Hybrid DRAM-NVM Memory Architecture
π₯ Reza Salkhordeh, Hossein Asadi
π PDF
π Mosaic: An Application-Transparent Hardware-Software Cooperative Memory Manager for GPUs
π₯ Rachata Ausavarungnirun, Joshua Landgraf, Vance Miller, Saugata Ghose, Jayneel Gandhi, Christopher J. Rossbach, Onur Mutlu
π PDF
π iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
π₯ Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu
π PDF
π Reactive NaN Repair for Applying Approximate Memory to Numerical Applications
π₯ Shinsuke Hamada, Soramichi Akiyama, Mitaro Namiki
π PDF
π The Secure Machine: Efficient Secure Execution On Untrusted Platforms
π₯ Ofir Shwartz, Yitzhak Birk
π PDF
π Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems
π₯ Jian-Jia Chen, Georg von der BrΓΌggen, Niklas Ueter
π PDF
π A Reliable and Practical Approach to Kernel Attack Surface Reduction of Commodity OS
π₯ Zhi Zhang, Yueqiang Cheng, Surya Nepal, Dongxi Liu, Qingni Shen, Fethi Rabhi
π PDF
π End-to-end Analysis and Design of a Drone Flight Controller
π₯ Zhuoqun Cheng, Richard West, Craig Einstein
π PDF
π Realizing Uncertainty-Aware Timing Stack in Embedded Operating System
π₯ Amr Alanwar, Fatima M. Anwar, Joao P Hespanha, Mani Srivastava
π PDF
π Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores
π₯ Diego Didona, Willy Zwaenepoel
π PDF
π Representation Learning for Resource Usage Prediction
π₯ Florian Schmidt, Mathias Niepert, Felipe Huici
π PDF
#OperatingSystems
AI Python & arXiv Channel
Latest Published Articles:
Performance
#Performance
π Optimising finite-difference methods for PDEs through parameterised time-tiling in Devito
π₯ Nicholas Sim
π PDF
π Forest Packing: Fast, Parallel Decision Forests
π₯ James Browne, Tyler Tomita, Disa Mhembere, Randal Burns, Joshua Vogelstein
π PDF
π A model-driven approach for a new generation of adaptive libraries
π₯ Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
π PDF
π Scalable load balancing in networked systems: A survey of recent advances
π₯ Mark van der Boor, Sem C. Borst, Johan S. H. van Leeuwaarden, Debankur Mukherjee
π PDF
π Fast Distributed Deep Learning via Worker-adaptive Batch Sizing
π₯ Chen Chen, Qizhen Weng, Wei Wang, Baochun Li, Bo Li
π PDF
π Improving rewards in overloaded real-time systems
π₯ Sathish Gopalakrishnan
π PDF
π Confidence Interval Estimators for MOS Values
π₯ Tobias Hossfeld, Poul E. Heegaard, Martin Varela, Lea Skorin-Kapov
π PDF
π Maximizing Service Reward for Queues with Deadlines
π₯ Li-on Raviv, Amir Leshem
π PDF
π Evaluating Impact of Human Errors on the Availability of Data Storage Systems
π₯ Mostafa Kishani, Reza Eftekhari, Hossein Asadi
π PDF
π Modeling Impact of Human Errors on the Data Unavailability and Data Loss of Storage Systems
π₯ Mostafa Kishani, Hossein Asadi
π PDF
π PAM: When Overloaded, Push Your Neighbor Aside!
π₯ Zili Meng, Jun Bi, Chen Sun, Shuhe Wang, Minhu Wang, Hongxin Hu
π PDF
π An infinite-server queueing model MMAPkGk in semi-Markov random environment with marked MAP arrival and subject to catastrophes
π₯ K. Kerobyan, R. Covington, R. Kerobyan, K. Enakoutsa
π PDF
π Infinite-server queueing model with MAPkGk Markov arrival streams, random volume of customers in random environment subject to catastrophe
π₯ Khanik Kerobyan, Ruben Kerobyan, Koffi Enakoutsa
π PDF
π DRESS: Dynamic RESource-reservation Scheme for Congested Data-intensive Computing Platforms
π₯ Ying Mao, Victoria Green, Jiayin Wang, Haoyi Xiong, Zhishan Guo
π PDF
π Performance Reproduction and Prediction of Selected Dynamic Loop Scheduling Experiments
π₯ Ali Mohammed, Ahmed Eleliemy, Florina M. Ciorba
π PDF
#Performance
AI Python & arXiv Channel
Performance
#Performance
π Optimising finite-difference methods for PDEs through parameterised time-tiling in Devito
π₯ Nicholas Sim
π PDF
π Forest Packing: Fast, Parallel Decision Forests
π₯ James Browne, Tyler Tomita, Disa Mhembere, Randal Burns, Joshua Vogelstein
π PDF
π A model-driven approach for a new generation of adaptive libraries
π₯ Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
π PDF
π Scalable load balancing in networked systems: A survey of recent advances
π₯ Mark van der Boor, Sem C. Borst, Johan S. H. van Leeuwaarden, Debankur Mukherjee
π PDF
π Fast Distributed Deep Learning via Worker-adaptive Batch Sizing
π₯ Chen Chen, Qizhen Weng, Wei Wang, Baochun Li, Bo Li
π PDF
π Improving rewards in overloaded real-time systems
π₯ Sathish Gopalakrishnan
π PDF
π Confidence Interval Estimators for MOS Values
π₯ Tobias Hossfeld, Poul E. Heegaard, Martin Varela, Lea Skorin-Kapov
π PDF
π Maximizing Service Reward for Queues with Deadlines
π₯ Li-on Raviv, Amir Leshem
π PDF
π Evaluating Impact of Human Errors on the Availability of Data Storage Systems
π₯ Mostafa Kishani, Reza Eftekhari, Hossein Asadi
π PDF
π Modeling Impact of Human Errors on the Data Unavailability and Data Loss of Storage Systems
π₯ Mostafa Kishani, Hossein Asadi
π PDF
π PAM: When Overloaded, Push Your Neighbor Aside!
π₯ Zili Meng, Jun Bi, Chen Sun, Shuhe Wang, Minhu Wang, Hongxin Hu
π PDF
π An infinite-server queueing model MMAPkGk in semi-Markov random environment with marked MAP arrival and subject to catastrophes
π₯ K. Kerobyan, R. Covington, R. Kerobyan, K. Enakoutsa
π PDF
π Infinite-server queueing model with MAPkGk Markov arrival streams, random volume of customers in random environment subject to catastrophe
π₯ Khanik Kerobyan, Ruben Kerobyan, Koffi Enakoutsa
π PDF
π DRESS: Dynamic RESource-reservation Scheme for Congested Data-intensive Computing Platforms
π₯ Ying Mao, Victoria Green, Jiayin Wang, Haoyi Xiong, Zhishan Guo
π PDF
π Performance Reproduction and Prediction of Selected Dynamic Loop Scheduling Experiments
π₯ Ali Mohammed, Ahmed Eleliemy, Florina M. Ciorba
π PDF
#Performance
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
Latest Published Articles:
Robotics
#Robotics
π Learning Instance Segmentation by Interaction
π₯ Deepak Pathak, Yide Shentu, Dian Chen, Pulkit Agrawal, Trevor Darrell, Sergey Levine, Jitendra Malik
π PDF
π Monocular Trail Detection and Tracking Aided by Visual SLAM for Small Unmanned Aerial Vehicles
π₯ AndrΓ© Silva, Ricardo MendonΓ§a, Pedro Santana
π PDF
π Beyond Basins of Attraction: Evaluating Robustness of Natural Dynamics
π₯ Steve Heim, Alexander SprΓΆwitz
π PDF
π Learning what is above and what is below: horizon approach to monocular obstacle detection
π₯ Guido de Croon, Christophe De Wagter
π PDF
π Sim-to-Real Reinforcement Learning for Deformable Object Manipulation
π₯ Jan Matas, Stephen James, Andrew J. Davison
π PDF
π A Look at Motion Planning for Autonomous Vehicles at an Intersection
π₯ Shravan K, Govind Aadithya R, Rahul Ramakrishnan, Vijay Arvindh, Sivanathan K
π PDF
π Learning Neural Parsers with Deterministic Differentiable Imitation Learning
π₯ Tanmay Shankar, Nicholas Rhinehart, Katharina Muelling, Kris M. Kitani
π PDF
π iCLAP: Shape Recognition by Combining Proprioception and Touch Sensing
π₯ Shan Luo, Wenxuan Mou, Kaspar Althoefer, Hongbin Liu
π PDF
π Fast, Anytime Motion Planning for Prehensile Manipulation in Clutter
π₯ Andrew Kimmel, Rahul Shome, Zakary Littlefield, Kostas Bekris
π PDF
π Motion planning in high-dimensional spaces
π₯ Luka Petrovic
π PDF
π Automatic Design of Task-specific Robotic Arms
π₯ Ruta Desai, Margarita Safonova, Katharina Muelling, Stelian Coros
π PDF
π Motion Planning for a Humanoid Mobile Manipulator System
π₯ Yan Wei, Wei Jiang, Ahmed Rahmani, Qiang Zhan
π PDF
π Multi-agent Gaussian Process Motion Planning via Probabilistic Inference
π₯ Luka PetroviΔ, Ivan MarkoviΔ, Marija Seder
π PDF
π ConFusion: Sensor Fusion for Complex Robotic Systems using Nonlinear Optimization
π₯ Timothy Sandy, Simon Kerscher, Jonas Buchli
π PDF
π Experiments in Fast, Autonomous, GPS-Denied Quadrotor Flight
π₯ Kartik Mohta, Ke Sun, Sikang Liu, Michael Watterson, Bernd Pfrommer, James Svacha, Yash Mulgaonkar, Camillo Jose Taylor, Vijay Kumar
π PDF
#Robotics
AI Python & arXiv Channel
Robotics
#Robotics
π Learning Instance Segmentation by Interaction
π₯ Deepak Pathak, Yide Shentu, Dian Chen, Pulkit Agrawal, Trevor Darrell, Sergey Levine, Jitendra Malik
π PDF
π Monocular Trail Detection and Tracking Aided by Visual SLAM for Small Unmanned Aerial Vehicles
π₯ AndrΓ© Silva, Ricardo MendonΓ§a, Pedro Santana
π PDF
π Beyond Basins of Attraction: Evaluating Robustness of Natural Dynamics
π₯ Steve Heim, Alexander SprΓΆwitz
π PDF
π Learning what is above and what is below: horizon approach to monocular obstacle detection
π₯ Guido de Croon, Christophe De Wagter
π PDF
π Sim-to-Real Reinforcement Learning for Deformable Object Manipulation
π₯ Jan Matas, Stephen James, Andrew J. Davison
π PDF
π A Look at Motion Planning for Autonomous Vehicles at an Intersection
π₯ Shravan K, Govind Aadithya R, Rahul Ramakrishnan, Vijay Arvindh, Sivanathan K
π PDF
π Learning Neural Parsers with Deterministic Differentiable Imitation Learning
π₯ Tanmay Shankar, Nicholas Rhinehart, Katharina Muelling, Kris M. Kitani
π PDF
π iCLAP: Shape Recognition by Combining Proprioception and Touch Sensing
π₯ Shan Luo, Wenxuan Mou, Kaspar Althoefer, Hongbin Liu
π PDF
π Fast, Anytime Motion Planning for Prehensile Manipulation in Clutter
π₯ Andrew Kimmel, Rahul Shome, Zakary Littlefield, Kostas Bekris
π PDF
π Motion planning in high-dimensional spaces
π₯ Luka Petrovic
π PDF
π Automatic Design of Task-specific Robotic Arms
π₯ Ruta Desai, Margarita Safonova, Katharina Muelling, Stelian Coros
π PDF
π Motion Planning for a Humanoid Mobile Manipulator System
π₯ Yan Wei, Wei Jiang, Ahmed Rahmani, Qiang Zhan
π PDF
π Multi-agent Gaussian Process Motion Planning via Probabilistic Inference
π₯ Luka PetroviΔ, Ivan MarkoviΔ, Marija Seder
π PDF
π ConFusion: Sensor Fusion for Complex Robotic Systems using Nonlinear Optimization
π₯ Timothy Sandy, Simon Kerscher, Jonas Buchli
π PDF
π Experiments in Fast, Autonomous, GPS-Denied Quadrotor Flight
π₯ Kartik Mohta, Ke Sun, Sikang Liu, Michael Watterson, Bernd Pfrommer, James Svacha, Yash Mulgaonkar, Camillo Jose Taylor, Vijay Kumar
π PDF
#Robotics
AI Python & arXiv Channel
Latest Published Articles:
Symbolic Computation
#SymbolicComputation
π Real root finding for equivariant semi-algebraic systems
π₯ Cordian Riener, Mohab Safey El Din
π PDF
π Effective Intersection Theory
π₯ Corey Harris, Martin Helmer
π PDF
π Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic
π₯ Alin Bostan, Xavier Caruso, Gilles Christol, Philippe Dumas
π PDF
π Counting points on genus-3 hyperelliptic curves with explicit real multiplication
π₯ Simon Abelard, Pierrick Gaudry, Pierre-Jean Spaenlehauer
π PDF
π A fast algorithm for solving linearly recurrent sequences
π₯ Seung Gyu Hyun, Stephen Melczer, Catherine St-Pierre
π PDF
π Efficient Differentiable Programming in a Functional Array-Processing Language
π₯ Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
π PDF
π In-depth comparison of the Berlekamp--Massey--Sakata and the Scalar-FGLM algorithms: the adaptive variants
π₯ JΓ©rΓ©my Berthomieu, Jean-Charles FaugΓ¨re
π PDF
π Monodromy Solver: Sequential and Parallel
π₯ Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars
π PDF
π Tritangents and Their Space Sextics
π₯ Turku Ozlum Celik, Avinash Kulkarni, Yue Ren, Mahsa Sayyary Namin
π PDF
π Towards Incremental Cylindrical Algebraic Decomposition in Maple
π₯ Alexander Imani Cowen-Rivers, Matthew England
π PDF
π A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
π₯ Manuel Kauers, Doron Zeilberger
π PDF
π On Affine Tropical F5 Algorithms
π₯ Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
π PDF
π Enumeration of Complex Golay Pairs via Programmatic SAT
π₯ Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh
π PDF
π Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors
π₯ MatΓas Bender, Jean-Charles FaugΓ¨re, Angelos Mantzaflaris, Elias Tsigaridas
π PDF
π Computing curves on real rational surfaces
π₯ Niels Lubbes
π PDF
#SymbolicComputation
AI Python & arXiv Channel
Symbolic Computation
#SymbolicComputation
π Real root finding for equivariant semi-algebraic systems
π₯ Cordian Riener, Mohab Safey El Din
π PDF
π Effective Intersection Theory
π₯ Corey Harris, Martin Helmer
π PDF
π Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic
π₯ Alin Bostan, Xavier Caruso, Gilles Christol, Philippe Dumas
π PDF
π Counting points on genus-3 hyperelliptic curves with explicit real multiplication
π₯ Simon Abelard, Pierrick Gaudry, Pierre-Jean Spaenlehauer
π PDF
π A fast algorithm for solving linearly recurrent sequences
π₯ Seung Gyu Hyun, Stephen Melczer, Catherine St-Pierre
π PDF
π Efficient Differentiable Programming in a Functional Array-Processing Language
π₯ Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
π PDF
π In-depth comparison of the Berlekamp--Massey--Sakata and the Scalar-FGLM algorithms: the adaptive variants
π₯ JΓ©rΓ©my Berthomieu, Jean-Charles FaugΓ¨re
π PDF
π Monodromy Solver: Sequential and Parallel
π₯ Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars
π PDF
π Tritangents and Their Space Sextics
π₯ Turku Ozlum Celik, Avinash Kulkarni, Yue Ren, Mahsa Sayyary Namin
π PDF
π Towards Incremental Cylindrical Algebraic Decomposition in Maple
π₯ Alexander Imani Cowen-Rivers, Matthew England
π PDF
π A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
π₯ Manuel Kauers, Doron Zeilberger
π PDF
π On Affine Tropical F5 Algorithms
π₯ Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
π PDF
π Enumeration of Complex Golay Pairs via Programmatic SAT
π₯ Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh
π PDF
π Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors
π₯ MatΓas Bender, Jean-Charles FaugΓ¨re, Angelos Mantzaflaris, Elias Tsigaridas
π PDF
π Computing curves on real rational surfaces
π₯ Niels Lubbes
π PDF
#SymbolicComputation
AI Python & arXiv Channel
Latest Published Articles:
Sound
#Sound
π Learning Transposition-Invariant Interval Features from Symbolic Music and Audio
π₯ Stefan Lattner, Maarten Grachten, Gerhard Widmer
π PDF
π Towards Automated Single Channel Source Separation using Neural Networks
π₯ Arpita Gang, Pravesh Biyani, Akshay Soni
π PDF
π Synthesizing Diverse, High-Quality Audio Textures
π₯ Joseph Antognini, Matt Hoffman, Ron J. Weiss
π PDF
π Quaternion Convolutional Neural Networks for End-to-End Automatic Speech Recognition
π₯ Titouan Parcollet, Ying Zhang, Mohamed Morchid, Chiheb Trabelsi, Georges LinarΓ¨s, Renato De Mori, Yoshua Bengio
π PDF
π A Simple Fusion of Deep and Shallow Learning for Acoustic Scene Classification
π₯ Eduardo Fonseca, Rong Gong, Xavier Serra
π PDF
π Speaker Adapted Beamforming for Multi-Channel Automatic Speech Recognition
π₯ Tobias Menne, Ralf SchlΓΌter, Hermann Ney
π PDF
π End-to-End Speech Recognition From the Raw Waveform
π₯ Neil Zeghidour, Nicolas Usunier, Gabriel Synnaeve, Ronan Collobert, Emmanuel Dupoux
π PDF
π Frequency domain variants of velvet noise and their application to speech processing and synthesis: with appendices
π₯ Hideki Kawahara, Ken-Ichi Sakakibara, Masanori Morise, Hideki Banno, Tomoki Toda, Toshio Irino
π PDF
π A Weighted Superposition of Functional Contours Model for Modelling Contextual Prominence of Elementary Prosodic Contours
π₯ Branislav Gerazov, GΓ©rard Bailly, Yi Xu
π PDF
π Towards an efficient deep learning model for musical onset detection
π₯ Rong Gong, Xavier Serra
π PDF
π Towards multi-instrument drum transcription
π₯ Richard Vogl, Gerhard Widmer, Peter Knees
π PDF
π Cover Song Synthesis by Analogy
π₯ Christopher J. Tralie
π PDF
π Extending Recurrent Neural Aligner for Streaming End-to-End Speech Recognition in Mandarin
π₯ Linhao Dong, Shiyu Zhou, Wei Chen, Bo Xu
π PDF
π A 5-Dimensional Tonnetz for Nearly Symmetric Hexachords
π₯ Vaibhav Mohanty
π PDF
π Monaural source enhancement maximizing source-to-distortion ratio via automatic differentiation
π₯ Hiroaki Nakajima, Yu Takahashi, Kazunobu Kondo, Yuji Hisaminato
π PDF
#Sound
AI Python & arXiv Channel
Sound
#Sound
π Learning Transposition-Invariant Interval Features from Symbolic Music and Audio
π₯ Stefan Lattner, Maarten Grachten, Gerhard Widmer
π PDF
π Towards Automated Single Channel Source Separation using Neural Networks
π₯ Arpita Gang, Pravesh Biyani, Akshay Soni
π PDF
π Synthesizing Diverse, High-Quality Audio Textures
π₯ Joseph Antognini, Matt Hoffman, Ron J. Weiss
π PDF
π Quaternion Convolutional Neural Networks for End-to-End Automatic Speech Recognition
π₯ Titouan Parcollet, Ying Zhang, Mohamed Morchid, Chiheb Trabelsi, Georges LinarΓ¨s, Renato De Mori, Yoshua Bengio
π PDF
π A Simple Fusion of Deep and Shallow Learning for Acoustic Scene Classification
π₯ Eduardo Fonseca, Rong Gong, Xavier Serra
π PDF
π Speaker Adapted Beamforming for Multi-Channel Automatic Speech Recognition
π₯ Tobias Menne, Ralf SchlΓΌter, Hermann Ney
π PDF
π End-to-End Speech Recognition From the Raw Waveform
π₯ Neil Zeghidour, Nicolas Usunier, Gabriel Synnaeve, Ronan Collobert, Emmanuel Dupoux
π PDF
π Frequency domain variants of velvet noise and their application to speech processing and synthesis: with appendices
π₯ Hideki Kawahara, Ken-Ichi Sakakibara, Masanori Morise, Hideki Banno, Tomoki Toda, Toshio Irino
π PDF
π A Weighted Superposition of Functional Contours Model for Modelling Contextual Prominence of Elementary Prosodic Contours
π₯ Branislav Gerazov, GΓ©rard Bailly, Yi Xu
π PDF
π Towards an efficient deep learning model for musical onset detection
π₯ Rong Gong, Xavier Serra
π PDF
π Towards multi-instrument drum transcription
π₯ Richard Vogl, Gerhard Widmer, Peter Knees
π PDF
π Cover Song Synthesis by Analogy
π₯ Christopher J. Tralie
π PDF
π Extending Recurrent Neural Aligner for Streaming End-to-End Speech Recognition in Mandarin
π₯ Linhao Dong, Shiyu Zhou, Wei Chen, Bo Xu
π PDF
π A 5-Dimensional Tonnetz for Nearly Symmetric Hexachords
π₯ Vaibhav Mohanty
π PDF
π Monaural source enhancement maximizing source-to-distortion ratio via automatic differentiation
π₯ Hiroaki Nakajima, Yu Takahashi, Kazunobu Kondo, Yuji Hisaminato
π PDF
#Sound
AI Python & arXiv Channel
Latest Published Articles:
Software Engineering
#SoftwareEngineering
π Examining key features and platforms of IoT
π₯ Rena Bakhshi, Mary Hester, Jeroen Schot
π PDF
π Proving Linearizability Using Reduction
π₯ Tangliu Wen
π PDF
π Awareness and Experience of Developers to Outdated and License-Violating Code on Stack Overflow: An Online Survey
π₯ Chaiyong Ragkhitwetsagul, Jens Krinke, Rocco Oliveto
π PDF
π Strict Linearizability and Abstract Atomicity
π₯ Tangliu Wen
π PDF
π Data-Driven Application Maintenance: Views from the Trenches
π₯ Janardan Misra, Shubhashis Sengupta, Divya Rawat, Milind Savagaonkar, Sanjay Podder
π PDF
π The Impact of IR-based Classifier Configuration on the Performance and the Effort of Method-Level Bug Localization
π₯ Chakkrit Tantithamthavorn, Surafel Lemma Abebe, Ahmed E. Hassan, Akinori Ihara, Kenichi Matsumoto
π PDF
π Combinatorial Testing for Deep Learning Systems
π₯ Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang
π PDF
π Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
π₯ Eun-Young Kang, Li Huang
π PDF
π Toxic Code Snippets on Stack Overflow
π₯ Chaiyong Ragkhitwetsagul, Jens Krinke, Matheus Paixao, Giuseppe Bianco, Rocco Oliveto
π PDF
π A Large-Scale Study on Source Code Reviewer Recommendation
π₯ Jakub Lipcak, Bruno Rossi
π PDF
π Augmenting Source Code Lines with Sample Variable Values
π₯ MatΓΊΕ‘ SulΓr, Jaroslav PorubΓ€n
π PDF
π NISQ circuit compilers: search space structure and heuristics
π₯ Alexandru Paler, Alwin Zulehner, Robert Wille
π PDF
π Blockchain in the Eyes of Developers
π₯ He Jiang, Dong Liu, Zhilei Ren, Tao Zhang
π PDF
π A model-driven approach for a new generation of adaptive libraries
π₯ Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
π PDF
π On Challenges of Cloud Monitoring
π₯ William Pourmajidi, John Steinbacher, Tony Erwin, Andriy Miranskyy
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π Examining key features and platforms of IoT
π₯ Rena Bakhshi, Mary Hester, Jeroen Schot
π PDF
π Proving Linearizability Using Reduction
π₯ Tangliu Wen
π PDF
π Awareness and Experience of Developers to Outdated and License-Violating Code on Stack Overflow: An Online Survey
π₯ Chaiyong Ragkhitwetsagul, Jens Krinke, Rocco Oliveto
π PDF
π Strict Linearizability and Abstract Atomicity
π₯ Tangliu Wen
π PDF
π Data-Driven Application Maintenance: Views from the Trenches
π₯ Janardan Misra, Shubhashis Sengupta, Divya Rawat, Milind Savagaonkar, Sanjay Podder
π PDF
π The Impact of IR-based Classifier Configuration on the Performance and the Effort of Method-Level Bug Localization
π₯ Chakkrit Tantithamthavorn, Surafel Lemma Abebe, Ahmed E. Hassan, Akinori Ihara, Kenichi Matsumoto
π PDF
π Combinatorial Testing for Deep Learning Systems
π₯ Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang
π PDF
π Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
π₯ Eun-Young Kang, Li Huang
π PDF
π Toxic Code Snippets on Stack Overflow
π₯ Chaiyong Ragkhitwetsagul, Jens Krinke, Matheus Paixao, Giuseppe Bianco, Rocco Oliveto
π PDF
π A Large-Scale Study on Source Code Reviewer Recommendation
π₯ Jakub Lipcak, Bruno Rossi
π PDF
π Augmenting Source Code Lines with Sample Variable Values
π₯ MatΓΊΕ‘ SulΓr, Jaroslav PorubΓ€n
π PDF
π NISQ circuit compilers: search space structure and heuristics
π₯ Alexandru Paler, Alwin Zulehner, Robert Wille
π PDF
π Blockchain in the Eyes of Developers
π₯ He Jiang, Dong Liu, Zhilei Ren, Tao Zhang
π PDF
π A model-driven approach for a new generation of adaptive libraries
π₯ Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
π PDF
π On Challenges of Cloud Monitoring
π₯ William Pourmajidi, John Steinbacher, Tony Erwin, Andriy Miranskyy
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks
π Online Petitioning Through Data Exploration and What We Found There: A Dataset of Petitions from Avaaz.org
π₯ Pablo AragΓ³n, Diego SΓ‘ez-Trumper, Miriam Redi, Scott A. Hale, VicenΓ§ GΓ³mez, Andreas Kaltenbrunner
π PDF
π Dynamic Network 3 -- 0 FIFA Rankings: Replacing an inaccurate, biased, and exploitable football ranking system
π₯ Sam Abernethy
π PDF
π Using Core-Periphery Structure to Predict High Centrality Nodes in Time-Varying Networks
π₯ Soumya Sarkar, Sandipan Sikdar, Animesh Mukherjee, Sanjukta Bhowmick
π PDF
π Learning Emoji Embeddings using Emoji Co-occurrence Network Graph
π₯ Anurag Illendula, Manish Reddy Yedulla
π PDF
π Mean Field Analysis of Personalized PageRank with Implications for Local Graph Clustering
π₯ Konstantin Avrachenkov, Arun Kadavankandy, Nelly Litvak
π PDF
π Extracting News Events from Microblogs
π₯ Γystein Repp, Heri Ramampiaro
π PDF
π A Survey on the Security of Pervasive Online Social Networks (POSNs)
π₯ Takshi Gupta, Gaurav Choudhary, Vishal Sharma
π PDF
π The Rise of Guardians: Fact-checking URL Recommendation to Combat Fake News
π₯ Nguyen Vo, Kyumin Lee
π PDF
π Weight Thresholding on Complex Networks
π₯ Xiaoran Yan, Lucas G. S. Jeub, Alessandro Flammini, Filippo Radicchi, Santo Fortunato
π PDF
π Average individuals tweet more often during extreme events: An ideal mechanism for social contagion
π₯ Meredith T. Niles, Benjamin F. Emery, Andrew J. Reagan, Peter Sheridan Dodds, Christopher M. Danforth
π PDF
π How to Maximize the Spread of Social Influence: A Survey
π₯ Giuseppe De Nittis, Nicola Gatti
π PDF
π Canonical Tensor Decomposition for Knowledge Base Completion
π₯ TimothΓ©e Lacroix, Nicolas Usunier, Guillaume Obozinski
π PDF
π Optimizing Leader Influence in Networks through Selection of Direct Followers
π₯ Van Sy Mai, Eyad H. Abed
π PDF
π Thermodynamics of the Minimum Description Length on Community Detection
π₯ Juan Ignacio Perotti, Claudio Juan Tessone, Aaron Clauset, Guido Caldarelli
π PDF
π "What's ur type?" Contextualized Classification of User Types in Marijuana-related Communications using Compositional Multiview Embedding
π₯ Ugur Kursuncu, Manas Gaur, Usha Lokala, Anurag Illendula, Krishnaprasad Thirunarayan, Raminta Daniulaityte, Amit Sheth, I. Budak Arpinar
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Social and Information Networks
#SocialandInformationNetworks
π Online Petitioning Through Data Exploration and What We Found There: A Dataset of Petitions from Avaaz.org
π₯ Pablo AragΓ³n, Diego SΓ‘ez-Trumper, Miriam Redi, Scott A. Hale, VicenΓ§ GΓ³mez, Andreas Kaltenbrunner
π PDF
π Dynamic Network 3 -- 0 FIFA Rankings: Replacing an inaccurate, biased, and exploitable football ranking system
π₯ Sam Abernethy
π PDF
π Using Core-Periphery Structure to Predict High Centrality Nodes in Time-Varying Networks
π₯ Soumya Sarkar, Sandipan Sikdar, Animesh Mukherjee, Sanjukta Bhowmick
π PDF
π Learning Emoji Embeddings using Emoji Co-occurrence Network Graph
π₯ Anurag Illendula, Manish Reddy Yedulla
π PDF
π Mean Field Analysis of Personalized PageRank with Implications for Local Graph Clustering
π₯ Konstantin Avrachenkov, Arun Kadavankandy, Nelly Litvak
π PDF
π Extracting News Events from Microblogs
π₯ Γystein Repp, Heri Ramampiaro
π PDF
π A Survey on the Security of Pervasive Online Social Networks (POSNs)
π₯ Takshi Gupta, Gaurav Choudhary, Vishal Sharma
π PDF
π The Rise of Guardians: Fact-checking URL Recommendation to Combat Fake News
π₯ Nguyen Vo, Kyumin Lee
π PDF
π Weight Thresholding on Complex Networks
π₯ Xiaoran Yan, Lucas G. S. Jeub, Alessandro Flammini, Filippo Radicchi, Santo Fortunato
π PDF
π Average individuals tweet more often during extreme events: An ideal mechanism for social contagion
π₯ Meredith T. Niles, Benjamin F. Emery, Andrew J. Reagan, Peter Sheridan Dodds, Christopher M. Danforth
π PDF
π How to Maximize the Spread of Social Influence: A Survey
π₯ Giuseppe De Nittis, Nicola Gatti
π PDF
π Canonical Tensor Decomposition for Knowledge Base Completion
π₯ TimothΓ©e Lacroix, Nicolas Usunier, Guillaume Obozinski
π PDF
π Optimizing Leader Influence in Networks through Selection of Direct Followers
π₯ Van Sy Mai, Eyad H. Abed
π PDF
π Thermodynamics of the Minimum Description Length on Community Detection
π₯ Juan Ignacio Perotti, Claudio Juan Tessone, Aaron Clauset, Guido Caldarelli
π PDF
π "What's ur type?" Contextualized Classification of User Types in Marijuana-related Communications using Compositional Multiview Embedding
π₯ Ugur Kursuncu, Manas Gaur, Usha Lokala, Anurag Illendula, Krishnaprasad Thirunarayan, Raminta Daniulaityte, Amit Sheth, I. Budak Arpinar
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Latest Published Articles:
Systems and Control
#SystemsandControl
π Stability of Kalman Filtering with a Random Measurement Equation: Application to Sensor Scheduling with Intermittent Observations
π₯ DamiΓ‘n Marelli, Tianju Sui, Eduardo Rohr, Minyue Fu
π PDF
π Expanding the Active Inference Landscape: More Intrinsic Motivations in the Perception-Action Loop
π₯ Martin Biehl, Christian Guckelsberger, Christoph Salge, SimΓ³n C. Smith, Daniel Polani
π PDF
π A Convex Formulation of the $H_\infty$-Optimal Controller Synthesis Problem for Multi-Delay Systems
π₯ Matthew M. Peet
π PDF
π Beyond the Waterbed Effect: Development of Robust Fractional Order Reset Control
π₯ Linda Chen, Niranjan Saikumar, S. Hassan HosseinNia
π PDF
π Large-Scale Demonstration of Precise Demand Response Provided by Residential Heating Systems
π₯ Fabian L. MΓΌller, Bernhard Jansen
π PDF
π Unlocking the Potential of Flexible Energy Resources to Help Balance the Power Grid
π₯ Fabian L. MΓΌller, Stefan Woerner, John Lygeros
π PDF
π Smallest Ellipsoid Containing $p$-Sum of Ellipsoids with Application to Reachability Analysis
π₯ Abhishek Halder
π PDF
π An Input-Output Approach to Structured Stochastic Uncertainty
π₯ Bassam Bamieh, Maurice Filo
π PDF
π Hybrid Coordination and Control for Multiagent Systems with Input Constraints
π₯ Kunal Garg, Dimitra Panagou
π PDF
π Unsupervised Imitation Learning
π₯ Sebastian Curi, Kfir Y. Levy, Andreas Krause
π PDF
π Stable Gaussian Process based Tracking Control of Euler-Lagrange Systems
π₯ Thomas Beckers, Dana KuliΔ, Sandra Hirche
π PDF
π ConFusion: Sensor Fusion for Complex Robotic Systems using Nonlinear Optimization
π₯ Timothy Sandy, Simon Kerscher, Jonas Buchli
π PDF
π Some remarks on the bias distribution analysis of discrete-time identification algorithms based on pseudo-linear regressions
π₯ Bernard Vau, Henri BourlΓ¨s
π PDF
π Online Absolute Ranking with Partial Information: A Bipartite Graph Matching Approach
π₯ Sinho Chewi, Forest Yang, Avishek Ghosh, Abhay Parekh, Kannan Ramchandran
π PDF
π Towards Manipulability of Interactive Lagrangian Systems
π₯ Hanlei Wang
π PDF
#SystemsandControl
AI Python & arXiv Channel
Systems and Control
#SystemsandControl
π Stability of Kalman Filtering with a Random Measurement Equation: Application to Sensor Scheduling with Intermittent Observations
π₯ DamiΓ‘n Marelli, Tianju Sui, Eduardo Rohr, Minyue Fu
π PDF
π Expanding the Active Inference Landscape: More Intrinsic Motivations in the Perception-Action Loop
π₯ Martin Biehl, Christian Guckelsberger, Christoph Salge, SimΓ³n C. Smith, Daniel Polani
π PDF
π A Convex Formulation of the $H_\infty$-Optimal Controller Synthesis Problem for Multi-Delay Systems
π₯ Matthew M. Peet
π PDF
π Beyond the Waterbed Effect: Development of Robust Fractional Order Reset Control
π₯ Linda Chen, Niranjan Saikumar, S. Hassan HosseinNia
π PDF
π Large-Scale Demonstration of Precise Demand Response Provided by Residential Heating Systems
π₯ Fabian L. MΓΌller, Bernhard Jansen
π PDF
π Unlocking the Potential of Flexible Energy Resources to Help Balance the Power Grid
π₯ Fabian L. MΓΌller, Stefan Woerner, John Lygeros
π PDF
π Smallest Ellipsoid Containing $p$-Sum of Ellipsoids with Application to Reachability Analysis
π₯ Abhishek Halder
π PDF
π An Input-Output Approach to Structured Stochastic Uncertainty
π₯ Bassam Bamieh, Maurice Filo
π PDF
π Hybrid Coordination and Control for Multiagent Systems with Input Constraints
π₯ Kunal Garg, Dimitra Panagou
π PDF
π Unsupervised Imitation Learning
π₯ Sebastian Curi, Kfir Y. Levy, Andreas Krause
π PDF
π Stable Gaussian Process based Tracking Control of Euler-Lagrange Systems
π₯ Thomas Beckers, Dana KuliΔ, Sandra Hirche
π PDF
π ConFusion: Sensor Fusion for Complex Robotic Systems using Nonlinear Optimization
π₯ Timothy Sandy, Simon Kerscher, Jonas Buchli
π PDF
π Some remarks on the bias distribution analysis of discrete-time identification algorithms based on pseudo-linear regressions
π₯ Bernard Vau, Henri BourlΓ¨s
π PDF
π Online Absolute Ranking with Partial Information: A Bipartite Graph Matching Approach
π₯ Sinho Chewi, Forest Yang, Avishek Ghosh, Abhay Parekh, Kannan Ramchandran
π PDF
π Towards Manipulability of Interactive Lagrangian Systems
π₯ Hanlei Wang
π PDF
#SystemsandControl
AI Python & arXiv Channel