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
🗒 Blocking time under basic priority inheritance: Polynomial bound and exact computation
👥 Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
🗒 Minimizing Event-Handling Latencies in Secure Virtual Machines
👥 Janis Danisevskis, Michael Peter, Jan Nordholz
🗒 Datacenter RPCs can be General and Fast
👥 Anuj Kalia, Michael Kaminsky, David G. Andersen
🗒 An Operating System Level Data Migration Scheme in Hybrid DRAM-NVM Memory Architecture
👥 Reza Salkhordeh, Hossein Asadi
🗒 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
🗒 iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
👥 Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu
🗒 Reactive NaN Repair for Applying Approximate Memory to Numerical Applications
👥 Shinsuke Hamada, Soramichi Akiyama, Mitaro Namiki
🗒 The Secure Machine: Efficient Secure Execution On Untrusted Platforms
👥 Ofir Shwartz, Yitzhak Birk
🗒 Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems
👥 Jian-Jia Chen, Georg von der Brüggen, Niklas Ueter
🗒 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
🗒 End-to-end Analysis and Design of a Drone Flight Controller
👥 Zhuoqun Cheng, Richard West, Craig Einstein
🗒 Realizing Uncertainty-Aware Timing Stack in Embedded Operating System
👥 Amr Alanwar, Fatima M. Anwar, Joao P Hespanha, Mani Srivastava
🗒 Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores
👥 Diego Didona, Willy Zwaenepoel
🗒 Representation Learning for Resource Usage Prediction
👥 Florian Schmidt, Mathias Niepert, Felipe Huici
#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
🗒 Forest Packing: Fast, Parallel Decision Forests
👥 James Browne, Tyler Tomita, Disa Mhembere, Randal Burns, Joshua Vogelstein
🗒 A model-driven approach for a new generation of adaptive libraries
👥 Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
🗒 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
🗒 Fast Distributed Deep Learning via Worker-adaptive Batch Sizing
👥 Chen Chen, Qizhen Weng, Wei Wang, Baochun Li, Bo Li
🗒 Improving rewards in overloaded real-time systems
👥 Sathish Gopalakrishnan
🗒 Confidence Interval Estimators for MOS Values
👥 Tobias Hossfeld, Poul E. Heegaard, Martin Varela, Lea Skorin-Kapov
🗒 Maximizing Service Reward for Queues with Deadlines
👥 Li-on Raviv, Amir Leshem
🗒 Evaluating Impact of Human Errors on the Availability of Data Storage Systems
👥 Mostafa Kishani, Reza Eftekhari, Hossein Asadi
🗒 Modeling Impact of Human Errors on the Data Unavailability and Data Loss of Storage Systems
👥 Mostafa Kishani, Hossein Asadi
🗒 PAM: When Overloaded, Push Your Neighbor Aside!
👥 Zili Meng, Jun Bi, Chen Sun, Shuhe Wang, Minhu Wang, Hongxin Hu
🗒 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
🗒 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
🗒 DRESS: Dynamic RESource-reservation Scheme for Congested Data-intensive Computing Platforms
👥 Ying Mao, Victoria Green, Jiayin Wang, Haoyi Xiong, Zhishan Guo
🗒 Performance Reproduction and Prediction of Selected Dynamic Loop Scheduling Experiments
👥 Ali Mohammed, Ahmed Eleliemy, Florina M. Ciorba
#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
🗒 An Application of Computable Distributions to the Semantics of Probabilistic Programs
👥 Daniel Huang, Greg Morrisett, Bas Spitters
🗒 Parallelization of XPath Queries using Modern XQuery Processors
👥 Shigeyuki Sato, Wei Hao, Kiminori Matsuzaki
🗒 Schematic Polymorphism in the Abella Proof Assistant
👥 Gopalan Nadathur, Yuting Wang
🗒 Augmenting Source Code Lines with Sample Variable Values
👥 Matúš Sulír, Jaroslav Porubän
🗒 Neural Code Comprehension: A Learnable Representation of Code Semantics
👥 Tal Ben-Nun, Alice Shoshana Jakobovits, Torsten Hoefler
🗒 A Theory of Reversibility for Erlang
👥 Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
🗒 Reasoning about Polymorphic Manifest Contracts
👥 Taro Sekiyama, Atsushi Igarashi
🗒 Dependently Typed Folds for Nested Data Types
👥 Peng Fu, Peter Selinger
🗒 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
#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
🗒 Monocular Trail Detection and Tracking Aided by Visual SLAM for Small Unmanned Aerial Vehicles
👥 André Silva, Ricardo Mendonça, Pedro Santana
🗒 Beyond Basins of Attraction: Evaluating Robustness of Natural Dynamics
👥 Steve Heim, Alexander Spröwitz
🗒 Learning what is above and what is below: horizon approach to monocular obstacle detection
👥 Guido de Croon, Christophe De Wagter
🗒 Sim-to-Real Reinforcement Learning for Deformable Object Manipulation
👥 Jan Matas, Stephen James, Andrew J. Davison
🗒 A Look at Motion Planning for Autonomous Vehicles at an Intersection
👥 Shravan K, Govind Aadithya R, Rahul Ramakrishnan, Vijay Arvindh, Sivanathan K
🗒 Learning Neural Parsers with Deterministic Differentiable Imitation Learning
👥 Tanmay Shankar, Nicholas Rhinehart, Katharina Muelling, Kris M. Kitani
🗒 iCLAP: Shape Recognition by Combining Proprioception and Touch Sensing
👥 Shan Luo, Wenxuan Mou, Kaspar Althoefer, Hongbin Liu
🗒 Fast, Anytime Motion Planning for Prehensile Manipulation in Clutter
👥 Andrew Kimmel, Rahul Shome, Zakary Littlefield, Kostas Bekris
🗒 Motion planning in high-dimensional spaces
👥 Luka Petrovic
🗒 Automatic Design of Task-specific Robotic Arms
👥 Ruta Desai, Margarita Safonova, Katharina Muelling, Stelian Coros
🗒 Motion Planning for a Humanoid Mobile Manipulator System
👥 Yan Wei, Wei Jiang, Ahmed Rahmani, Qiang Zhan
🗒 Multi-agent Gaussian Process Motion Planning via Probabilistic Inference
👥 Luka Petrović, Ivan Marković, Marija Seder
🗒 ConFusion: Sensor Fusion for Complex Robotic Systems using Nonlinear Optimization
👥 Timothy Sandy, Simon Kerscher, Jonas Buchli
🗒 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
#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
🗒 Effective Intersection Theory
👥 Corey Harris, Martin Helmer
🗒 Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic
👥 Alin Bostan, Xavier Caruso, Gilles Christol, Philippe Dumas
🗒 Counting points on genus-3 hyperelliptic curves with explicit real multiplication
👥 Simon Abelard, Pierrick Gaudry, Pierre-Jean Spaenlehauer
🗒 A fast algorithm for solving linearly recurrent sequences
👥 Seung Gyu Hyun, Stephen Melczer, Catherine St-Pierre
🗒 Efficient Differentiable Programming in a Functional Array-Processing Language
👥 Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
🗒 In-depth comparison of the Berlekamp--Massey--Sakata and the Scalar-FGLM algorithms: the adaptive variants
👥 Jérémy Berthomieu, Jean-Charles Faugère
🗒 Monodromy Solver: Sequential and Parallel
👥 Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars
🗒 Tritangents and Their Space Sextics
👥 Turku Ozlum Celik, Avinash Kulkarni, Yue Ren, Mahsa Sayyary Namin
🗒 Towards Incremental Cylindrical Algebraic Decomposition in Maple
👥 Alexander Imani Cowen-Rivers, Matthew England
🗒 A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
👥 Manuel Kauers, Doron Zeilberger
🗒 On Affine Tropical F5 Algorithms
👥 Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
🗒 Enumeration of Complex Golay Pairs via Programmatic SAT
👥 Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh
🗒 Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors
👥 Matías Bender, Jean-Charles Faugère, Angelos Mantzaflaris, Elias Tsigaridas
🗒 Computing curves on real rational surfaces
👥 Niels Lubbes
#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 trannoscription
👥 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
🗒 Towards Automated Single Channel Source Separation using Neural Networks
👥 Arpita Gang, Pravesh Biyani, Akshay Soni
🗒 Synthesizing Diverse, High-Quality Audio Textures
👥 Joseph Antognini, Matt Hoffman, Ron J. Weiss
🗒 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
🗒 A Simple Fusion of Deep and Shallow Learning for Acoustic Scene Classification
👥 Eduardo Fonseca, Rong Gong, Xavier Serra
🗒 Speaker Adapted Beamforming for Multi-Channel Automatic Speech Recognition
👥 Tobias Menne, Ralf Schlüter, Hermann Ney
🗒 End-to-End Speech Recognition From the Raw Waveform
👥 Neil Zeghidour, Nicolas Usunier, Gabriel Synnaeve, Ronan Collobert, Emmanuel Dupoux
🗒 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
🗒 A Weighted Superposition of Functional Contours Model for Modelling Contextual Prominence of Elementary Prosodic Contours
👥 Branislav Gerazov, Gérard Bailly, Yi Xu
🗒 Towards an efficient deep learning model for musical onset detection
👥 Rong Gong, Xavier Serra
🗒 Towards multi-instrument drum trannoscription
👥 Richard Vogl, Gerhard Widmer, Peter Knees
🗒 Cover Song Synthesis by Analogy
👥 Christopher J. Tralie
🗒 Extending Recurrent Neural Aligner for Streaming End-to-End Speech Recognition in Mandarin
👥 Linhao Dong, Shiyu Zhou, Wei Chen, Bo Xu
🗒 A 5-Dimensional Tonnetz for Nearly Symmetric Hexachords
👥 Vaibhav Mohanty
🗒 Monaural source enhancement maximizing source-to-distortion ratio via automatic differentiation
👥 Hiroaki Nakajima, Yu Takahashi, Kazunobu Kondo, Yuji Hisaminato
#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
🗒 Proving Linearizability Using Reduction
👥 Tangliu Wen
🗒 Awareness and Experience of Developers to Outdated and License-Violating Code on Stack Overflow: An Online Survey
👥 Chaiyong Ragkhitwetsagul, Jens Krinke, Rocco Oliveto
🗒 Strict Linearizability and Abstract Atomicity
👥 Tangliu Wen
🗒 Data-Driven Application Maintenance: Views from the Trenches
👥 Janardan Misra, Shubhashis Sengupta, Divya Rawat, Milind Savagaonkar, Sanjay Podder
🗒 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
🗒 Combinatorial Testing for Deep Learning Systems
👥 Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang
🗒 Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
👥 Eun-Young Kang, Li Huang
🗒 Toxic Code Snippets on Stack Overflow
👥 Chaiyong Ragkhitwetsagul, Jens Krinke, Matheus Paixao, Giuseppe Bianco, Rocco Oliveto
🗒 A Large-Scale Study on Source Code Reviewer Recommendation
👥 Jakub Lipcak, Bruno Rossi
🗒 Augmenting Source Code Lines with Sample Variable Values
👥 Matúš Sulír, Jaroslav Porubän
🗒 NISQ circuit compilers: search space structure and heuristics
👥 Alexandru Paler, Alwin Zulehner, Robert Wille
🗒 Blockchain in the Eyes of Developers
👥 He Jiang, Dong Liu, Zhilei Ren, Tao Zhang
🗒 A model-driven approach for a new generation of adaptive libraries
👥 Marco Cianfriglia, Flavio Vella, Cedric Nugteren, Anton Lokhmotov, Grigori Fursin
🗒 On Challenges of Cloud Monitoring
👥 William Pourmajidi, John Steinbacher, Tony Erwin, Andriy Miranskyy
#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 Denoscription 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
🗒 Dynamic Network 3 -- 0 FIFA Rankings: Replacing an inaccurate, biased, and exploitable football ranking system
👥 Sam Abernethy
🗒 Using Core-Periphery Structure to Predict High Centrality Nodes in Time-Varying Networks
👥 Soumya Sarkar, Sandipan Sikdar, Animesh Mukherjee, Sanjukta Bhowmick
🗒 Learning Emoji Embeddings using Emoji Co-occurrence Network Graph
👥 Anurag Illendula, Manish Reddy Yedulla
🗒 Mean Field Analysis of Personalized PageRank with Implications for Local Graph Clustering
👥 Konstantin Avrachenkov, Arun Kadavankandy, Nelly Litvak
🗒 Extracting News Events from Microblogs
👥 Øystein Repp, Heri Ramampiaro
🗒 A Survey on the Security of Pervasive Online Social Networks (POSNs)
👥 Takshi Gupta, Gaurav Choudhary, Vishal Sharma
🗒 The Rise of Guardians: Fact-checking URL Recommendation to Combat Fake News
👥 Nguyen Vo, Kyumin Lee
🗒 Weight Thresholding on Complex Networks
👥 Xiaoran Yan, Lucas G. S. Jeub, Alessandro Flammini, Filippo Radicchi, Santo Fortunato
🗒 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
🗒 How to Maximize the Spread of Social Influence: A Survey
👥 Giuseppe De Nittis, Nicola Gatti
🗒 Canonical Tensor Decomposition for Knowledge Base Completion
👥 Timothée Lacroix, Nicolas Usunier, Guillaume Obozinski
🗒 Optimizing Leader Influence in Networks through Selection of Direct Followers
👥 Van Sy Mai, Eyad H. Abed
🗒 Thermodynamics of the Minimum Denoscription Length on Community Detection
👥 Juan Ignacio Perotti, Claudio Juan Tessone, Aaron Clauset, Guido Caldarelli
🗒 "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
#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
🗒 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
🗒 A Convex Formulation of the $H_\infty$-Optimal Controller Synthesis Problem for Multi-Delay Systems
👥 Matthew M. Peet
🗒 Beyond the Waterbed Effect: Development of Robust Fractional Order Reset Control
👥 Linda Chen, Niranjan Saikumar, S. Hassan HosseinNia
🗒 Large-Scale Demonstration of Precise Demand Response Provided by Residential Heating Systems
👥 Fabian L. Müller, Bernhard Jansen
🗒 Unlocking the Potential of Flexible Energy Resources to Help Balance the Power Grid
👥 Fabian L. Müller, Stefan Woerner, John Lygeros
🗒 Smallest Ellipsoid Containing $p$-Sum of Ellipsoids with Application to Reachability Analysis
👥 Abhishek Halder
🗒 An Input-Output Approach to Structured Stochastic Uncertainty
👥 Bassam Bamieh, Maurice Filo
🗒 Hybrid Coordination and Control for Multiagent Systems with Input Constraints
👥 Kunal Garg, Dimitra Panagou
🗒 Unsupervised Imitation Learning
👥 Sebastian Curi, Kfir Y. Levy, Andreas Krause
🗒 Stable Gaussian Process based Tracking Control of Euler-Lagrange Systems
👥 Thomas Beckers, Dana Kulić, Sandra Hirche
🗒 ConFusion: Sensor Fusion for Complex Robotic Systems using Nonlinear Optimization
👥 Timothy Sandy, Simon Kerscher, Jonas Buchli
🗒 Some remarks on the bias distribution analysis of discrete-time identification algorithms based on pseudo-linear regressions
👥 Bernard Vau, Henri Bourlès
🗒 Online Absolute Ranking with Partial Information: A Bipartite Graph Matching Approach
👥 Sinho Chewi, Forest Yang, Avishek Ghosh, Abhay Parekh, Kannan Ramchandran
🗒 Towards Manipulability of Interactive Lagrangian Systems
👥 Hanlei Wang
#SystemsandControl
AI Python & arXiv Channel