BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Portugal
1 × Switzerland
1 × United Kingdom
3 × USA
Collaborated with:
I.Hasuo N.Kobayashi A.Igarashi H.Sekine R.Fukuda L.Wischik A.Yonezawa Akifumi Imanishi
Talks about:
program (3) analysi (3) system (3) type (3) base (3) nonstandard (2) calculus (2) approach (2) resourc (2) process (2)

Person: Kohei Suenaga

DBLP DBLP: Suenaga:Kohei

Contributed to:

POPL 20132013
CAV 20122012
OOPSLA 20122012
ICALP (2) 20112011
ESOP 20072007
VMCAI 20062006
LOPSTR 20052005
PEPM 20182018

Wrote 8 papers:

POPL-2013-SuenagaSH #modelling #standard
Hyperstream processing systems: nonstandard modeling of continuous-time signals (KS, HS, IH), pp. 417–430.
CAV-2012-HasuoS #hybrid #standard #static analysis
Exercises in Nonstandard Static Analysis of Hybrid Systems (IH, KS), pp. 462–478.
OOPSLA-2012-SuenagaFI #concurrent #type system
Type-based safe resource deallocation for shared-memory concurrency (KS, RF, AI), pp. 1–20.
ICALP-v2-2011-SuenagaH #hybrid #modelling #programming
Programming with Infinitesimals: A While-Language for Hybrid System Modeling (KS, IH), pp. 392–403.
ESOP-2007-SuenagaK #analysis #calculus #concurrent #type system
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts (KS, NK), pp. 490–504.
VMCAI-2006-KobayashiSW #analysis #resource management #π-calculus
Resource Usage Analysis for the pi-Calculus (NK, KS, LW), pp. 298–312.
LOPSTR-2005-SuenagaKY #approach #automation #generative #source code #type system
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives (KS, NK, AY), pp. 98–114.
PEPM-2018-ImanishiSI #approach #verification
A guess-and-assume approach to loop fusion for program verification (AI, KS, AI), pp. 2–14.

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.