Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daisuke Ishii
conf.researchr.org general profile
PLDI 2015 profile
POPL 2025 profile
Registered user since Tue 30 Jun 2020
Name:
Daisuke Ishii
Affiliation:
Tokyo Institute of Technology
Personal website:
http://www.dsksh.com
Contributions
2025
VMCAI
Author of A Real-Blasting Extension of Cvc5 for Reasoning about Floating-Point Arithmetic within the VMCAI 2025-track
2015
X10
Author of Scalable Parallel Numerical Constraint Solver Using Global Load Balancing within the X10-track
Share
x
Mon 27 Oct 08:26