BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
1 × Portugal
1 × Spain
2 × France
2 × Italy
2 × USA
2 × United Kingdom
Collaborated with:
N.Kobayashi T.Terauchi R.Sato T.Kuwahara K.Hashimoto N.Tabuchi
Talks about:
higher (6) order (6) program (5) function (3) predic (3) verif (3) refin (3) infer (3) type (3) abstract (2)

Person: Hiroshi Unno

DBLP DBLP: Unno:Hiroshi

Contributed to:

CAV 20152015
ESOP 20152015
SAS 20152015
TACAS 20152015
ESOP 20142014
PEPM 20132013
POPL 20132013
PLDI 20112011
POPL 20102010
PPDP 20092009
FLOPS 20082008

Wrote 11 papers:

CAV-2015-KuwaharaSU0 #abstraction #functional #higher-order #source code #termination
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs (TK, RS, HU, NK), pp. 287–303.
ESOP-2015-TerauchiU #approach #refinement
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement (TT, HU), pp. 610–633.
SAS-2015-HashimotoU #constraints #optimisation #refinement #type inference
Refinement Type Inference via Horn Constraint Optimization (KH, HU), pp. 199–216.
TACAS-2015-UnnoT #horn clause #recursion
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling (HU, TT), pp. 149–163.
ESOP-2014-KuwaharaTU0 #automation #functional #higher-order #source code #termination #verification
Automatic Termination Verification for Higher-Order Functional Programs (TK, TT, HU, NK), pp. 392–411.
PEPM-2013-SatoUK #higher-order #model checking #scalability #source code #towards
Towards a scalable software model checker for higher-order programs (RS, HU, NK), pp. 53–62.
POPL-2013-UnnoTK #automation #functional #higher-order #source code #verification
Automating relatively complete verification of higher-order functional programs (HU, TT, NK), pp. 75–86.
PLDI-2011-KobayashiSU #abstraction #higher-order #model checking
Predicate abstraction and CEGAR for higher-order model checking (NK, RS, HU), pp. 222–233.
POPL-2010-KobayashiTU #higher-order #multi #recursion #transducer #verification
Higher-order multi-parameter tree transducers and recursion schemes for program verification (NK, NT, HU), pp. 495–508.
PPDP-2009-UnnoK #dependent type #type inference
Dependent type inference with interpolants (HU, NK), pp. 277–288.
FLOPS-2008-UnnoK #dependent type #on-demand #refinement
On-Demand Refinement of Dependent Types (HU, NK), pp. 81–96.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.