-
Bounded Expectations: Resource Analysis for Probabilistic Programs. Talk at PLDI 2018, Philadelphia, PA, USA, June 2018.
-
Quantitative Ananlysis for Reliable and Secure Software. Talk at National University of Singapore, Singapore, April 2018.
-
Quantitative Ananlysis for Reliable and Secure Software. Talk at UMass, MA, USA, March 2018.
-
Bounded Expectations: Resource Analysis for Probabilistic Programs - Tool Demonstration. Present at Dagtuhl Seminar 17291, Wadern, Germany, July 2017.
-
Verifying and Synthesizing Constant-Resource Implementations with Types. Talk at S&P Oakland 2017, San Jose, CA, USA, May 2017.
-
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. Talk at CAV 2016, Toronto, Ontario, Canada, July 2016.
-
Statistical Model Checking for SystemC Models. Talk at HASE 2016, Orlando, FL, USA, January 2016.
-
Translation Validation for Synchronous Data-flow Specification in the SIGNAL Compiler. Talk at FORTE-DisCoTec 2015, Grenoble, France, June 2015.
-
Translation Validation for Clock Transformations in a Synchronous Compiler. Talk at FASE-ETAPS 2015, London, UK, April 2015.
-
Case Study: Dependability Analysis of Embedded Control Systems using SystemC and Statistical Model Checking. Talk at INRIA Rennes, France, March 2015.
-
Precise Deadlock Detection for Polychronous Data-flow Specifications. Talk at ESLsyn-DAC 2014, San Francisco, CA, USA, June 2014.
-
Seminar: Compilation and Execution of Streaming Programs. St Germain au Mont d’Or, France, April 2014.
-
Formal Verification of Transformations on Clocks in Synchronous Data-flow Compilers. Talk at 19th Open International Workshop on Synchronous Programming 2012, Le Croisic, France, November 2012.
-
Formal Verification of Transformations on Clocks in Synchronous Data-flow Compilers. Invited Talk at Beihang University (BUAA), Beijing, China, October 2012.
-
Formal Verification of Compiler Transformations on Polychronous Equations. Talk at IFM 2012, Pisa, Italy, June 2012.
-
Formal Indistinguishability Extended to the Random Oracle Model. Talk at ESORICS 2009, Le Croisic, France, September 2009.
Hyperlexia
Research interests are in embedded safety-critical systems and embedded Linux, development and deploying ML models on embedded systems, programming languages, compilers, and language-based security using infrastructures LLVM, MLIR.