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: Suenaga:Kohei
Contributed to:
2013
2012
2012
2011
2007
2006
2005
2018Wrote 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.