Jun Inoue

21 papers A* 2A 1B 3C 3Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2024 B conf
Quantum Programming Without the Quantum Physics.
APLAS
Jun Inoue
2024 J jnl
Quantum Programming Without the Quantum Physics.
CoRR
Jun Inoue
2024 A* conf
Toward Individual Fairness Testing with Data Validity.
ASE
Takashi Kitamura, Sousuke Amasaki, Jun Inoue, Yoshinao Isobe, Takahisa Toda
2022 — conf
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.
ARCH@SAFECOMP
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
2022 C conf
Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors.
QRS
Jun Inoue, Hideaki Nishihara, Akira Mori
2021 — conf
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
ARCH@ADHS
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2018 C conf
Detecting Errors in a Humanoid Robot.
QRS
Jun Inoue, Fumio Kanehiro, Mitsuharu Morisawa, Akira Mori
2017 — conf
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning.
ICDM Workshops
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
2017 J jnl
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning.
CoRR
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
2017 B conf
Operational Semantics of Process Monitors.
RV
Jun Inoue, Yoriyuki Yamagata
2017 J jnl
Operational Semantics of Process Monitors.
CoRR
Jun Inoue, Yoriyuki Yamagata
2016 J jnl
Reasoning about multi-stage programs.
J. Funct. Program.
Jun Inoue, Walid Taha
2016 B conf
Runtime Monitoring for Concurrent Systems.
RV
Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
2016 C conf
Staging beyond terms: prospects and challenges.
PEPM
Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
2016 — conf
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers.
ML/OCAML
Timothy Bourke, Jun Inoue, Marc Pouzet
2015 — conf
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research.
IoT 360 (1)
Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
2013 J jnl
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs
CoRR
Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair F. Donaldson
2012 A conf
Reasoning about Multi-stage Programs.
ESOP
Jun Inoue, Walid Taha
2010 — conf
Mathematical equations as executable models of mechanical systems.
ICCPS
Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif R. Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron D. Ames, Raktim Bhattacharya
2010 A* conf
Mint: Java multi-stage programming using weak separability.
PLDI
Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha
2009 — conf
Implementing Haptic Feedback Environments from High-Level Descriptions.
ICESS
Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell