Rajarshi Ray

According to our database1, Rajarshi Ray authored at least 19 papers between 2009 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Simultaneous Solving of Batched Linear Programs on a GPU.
CoRR, 2018

ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data.
IEEE Trans. Software Eng., 2017

Exact Synthesis of Reversible Logic Circuits using Model Checking.
CoRR, 2017

ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016
An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes.
CoRR, 2016

Solving Batched Linear Programs on GPU and Multicore CPU.
CoRR, 2016

Parallel Reachability Analysis for Hybrid Systems.
CoRR, 2016

Parallel reachability analysis for hybrid systems.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2015
Parallel state space exploration of linear systems with inputs using XSpeed.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

XSpeed: Accelerating Reachability Analysis on Multi-core Processors.
Proceedings of the Hardware and Software: Verification and Testing, 2015

2014
ASAC: automatic sensitivity analysis for approximate computing.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

2013
Accelerating sparse matrix-vector multiplication on GPUs using bit-representation-optimized schemes.
Proceedings of the International Conference for High Performance Computing, 2013

2012
Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support. (Reachability Analysis of Hybrid Systems using Support Functions).
PhD thesis, 2012

Flowpipe-Guard Intersection for Reachability Computations with Support Functions.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009
Design Principles for an Extendable Verification Tool for Hybrid Systems.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009


  Loading...