activities.tex

\myfirstcvitem{Conference Founder}{%
\begin{itemize}
\item[]
Co-Founder, First International Workshop on Embedded Software (EMSOFT), Tahoe City, California,
October 2001 (T.~Henzinger, UC Berkeley, Co-Founder).
\end{itemize}
}

\myfirstcvitem{Award Founder}{%
\begin{itemize}
\item[]
Co-Founder, ACM SIGBED Paul Caspi Memorial Dissertation Award, 2013 (X.S.~Hu, University of Notre Dame, S.~Tripakis, UC Berkeley, Co-Founders).
\end{itemize}
}

\mycvitem{Member of Editorial Boards}{%
\begin{itemize}
\item[]
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2016--2018;
Open Access Journal on Advances in Software Engineering (ASE), 2012--2016;
ACM Transactions on Design Automation of Electronic Systems (TODAES), 2011--2014.
\end{itemize}
}

\mycvitem{Guest Editor}{%
\begin{itemize}
\item[]
Co-Editor, Special Issue on ``Probabilistic Embedded Computing'', ACM Transactions on Embedded Computing Systems, 2013
(V.~Mooney, Georgia Institute of Technology, Co-Editor);
Co-Editor, Special Issue on ``ESWEEK 2007 Best Papers'', Journal of Design Automation for Embedded Systems, 2009
(R.~Wilhelm, Saarland University, Co-Editor).
\end{itemize}
}

\mycvitem{Professional Societies}{%
\begin{itemize}
\item[]
Distinguished Speaker, Association for Computing Machinery (ACM), 2017--2020;
Chair, ACM Special Interest Group on Embedded Systems (SIGBED), 2011--2013;
Treasurer, European Chapter of the ACM Special Interest Group on Operating Systems (SIGOPS), 2011--2017;
Vice-Chair, ACM Special Interest Group on Embedded Systems (SIGBED), 2009--2011.
\end{itemize}
}

\mycvitem{Steering Committee Chair}{%
\begin{itemize}
\item[]
ACM SIGPLAN International Symposium on Memory Management (ISMM), 2018;
Chair, ACM/IEEE International Conference on Embedded Software (EMSOFT), 2013--2017 (W. Yi, Uppsala, Vice-Chair).
\end{itemize}
}

\mycvitem{Member of Conference Steering Committees}{%
\begin{itemize}
\item[]
ACM/IEEE International Conference on Embedded Software (EMSOFT), since 2013;
Embedded Systems Week (ESWEEK), since 2013;
ACM SIGPLAN International Symposium on Memory Management (ISMM), 2018--2020;
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2009--2014.
\end{itemize}
}

\mycvitem{General Chair}{%
\begin{itemize}
\item[]
General Chair, ACM SIGPLAN International Symposium on Memory Management (ISMM), 2017;
General Chair, European Systems Conference (EuroSys), 2011;
General Chair, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2009;
General Co-Chair, Embedded Systems Week (ESWEEK), 2008 (N.~Dutt, UC Irvine, General Co-Chair).
\end{itemize}
}

\mycvitem{Organizing Committee Chair}{%
\begin{itemize}
\item[]
Embedded Systems Week (ESWEEK), 2007.
\end{itemize}
}

\mycvitem{Workshop Co-Chair}{%
\begin{itemize}
\item[]
Cyber-Physical Systems Week (CPSWEEK), 2016
(A.~Sokolova, University of Salzburg, Co-Chair).
\end{itemize}
}

\mycvitem{Summer School Organizer}{%
\begin{itemize}
\item[]
Co-Organizer, Summer School on Embedded Systems (EmSys), Salzburg, Austria, June 2003
(W.~Pree, University of Salzburg, Co-Organizer).
\end{itemize}
}

\mycvitem{Special Session Organizer}{%
\begin{itemize}
\item[]
Special Session on ``Probabilistic Embedded Computing'', Design Automation Conference (DAC), 2012;
Special Session on ``Virtualization in Embedded Systems'', Design Automation Conference (DAC), 2011.
\end{itemize}
}

\mycvitem{Program Committee Chair}{%
\begin{itemize}
\item[]
PC Chair, International Conference on Managed Programming Languages and Runtimes (MPLR), 2024;
Track Chair, ``Embedded Systems Software'', International Conference on Computer-Aided Design (ICCAD), 2012;
Subcommittee Chair, ``Embedded Software and Tools'', Design Automation Conference (DAC), 2011;
Topic Chair, ``Model-Based Design for Embedded Systems'', Design Automation and Test in Europe (DATE), 2011
(R.~Majumdar, Max-Planck-Institute for Software Systems, Topic Co-Chair);
Track Chair, ``Design and Verification of Embedded Real-Time Systems'', IEEE International Real-Time Systems Symposium (RTSS), 2010;
Topic Co-Chair, ``Model-Based Design for Embedded Systems'', Design Automation and Test in Europe (DATE), 2010
(A.~Benveniste, INRIA Rennes, Topic Co-Chair);
PC Co-Chair, ACM/IEEE International Conference on Embedded Software (EMSOFT), 2007
(R.~Wilhelm, Saarland University, PC Co-Chair).
\end{itemize}
}

\mylongcvitem{Member of Conference Program Committees}{%
\begin{itemize}
\item[]
European Systems Conference (EuroSys), 2027;
ACM SIGPLAN International Symposium on Memory Management (ISMM), 2026;
European Systems Conference (EuroSys), 2026;
International Conference on Real-Time Networks and Systems (RTNS), 2025;
ACM/SIGAPP Symposium on Applied Computing (SAC), 2025, Track on ``Cyber-Physical Systems'';
ACM SIGPLAN International Symposium on Memory Management (ISMM), 2024;
ACM/SIGAPP Symposium on Applied Computing (SAC), 2024, Track on ``Cyber-Physical Systems'';
ACM/SIGAPP Symposium on Applied Computing (SAC), 2023, Track on ``Cyber-Physical Systems'';
International Conference on Code Quality (ICCQ), 2023;
ACM SIGPLAN International Symposium on Memory Management (ISMM), 2022;
ACM/SIGAPP Symposium on Applied Computing (SAC), 2022, Track on ``Cyber-Physical Systems'';
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2021;
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2020, Track on ``Embedded Systems Software'';
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2018, Track on ``Embedded Systems Software'';
CSI Symposium on Real-Time and Embedded Systems and Technologies (RTEST), 2018;
European Systems Conference (EuroSys), 2018;
ACM/IEEE International Conference on Embedded Software (EMSOFT), 2017;
European Systems Conference (EuroSys), 2017;
ACM SIGPLAN International Symposium on Memory Management (ISMM), 2016;
CSI Symposium on Real-Time and Embedded Systems and Technologies (RTEST), 2015;
European Systems Conference (EuroSys), 2015;
IEEE International Real-Time Systems Symposium (RTSS), 2014, Track on ``Design and Verification of Embedded Real-Time Systems'';
ACM/IEEE International Conference on Embedded Software (EMSOFT), 2014;
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014, Track on ``Hardware/Software Co-Design'';
ACM/IEEE International Conference on Embedded Software (EMSOFT), 2013;
ACM International Conference on Computing Frontiers, 2013, Track on ``Probabilistic Computing'';
Design Automation and Test in Europe (DATE), 2013, Track on ``Model-Based Design and Verification for Embedded Systems'';
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2012;
ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2012;
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2011, Track on ``Embedded Systems Software'';
IEEE International Real-Time Systems Symposium (RTSS), 2011, Track on ``Design and Verification of Embedded Real-Time Systems'';
ACM/IEEE International Conference on Embedded Software (EMSOFT), 2011;
IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2011;
ACM/IEEE International Conference on Embedded Software (EMSOFT), 2010;
ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2010;
ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2010;
International Conference on Hybrid Systems: Computation and Control (HSCC), 2010;
European Systems Conference (EuroSys), 2010;
IEEE International Real-Time Systems Symposium (RTSS), 2009, Track on ``Design and Verification of Embedded Real-Time Systems'';
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2009;
IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC), 2009, Track on ``Embedded Systems and Hardware-Software Codesign'';
ACM/IEEE International Conference on Embedded Software (EMSOFT), 2009;
Design Automation and Test in Europe (DATE), 2009, Track on ``Model-Based Design for Embedded Systems'';
ACM/IEEE International Conference on Embedded Software (EMSOFT), 2008;
IEEE Conference on Automation Science and Engineering (IEEE-CASE), 2008, Track on ``Hybrid and Discrete Event
Systems'';
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2008;
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2008, Track on ``Real-Time and Embedded Applications / Benchmarks'';
Design Automation and Test in Europe (DATE), 2008, Track on ``Model-Based Design for Embedded Systems'';
ACM/IEEE International Conference on Embedded Software (EMSOFT), 2007;
Conference on Coordination Models and Languages (Coordination), 2007;
Design Automation and Test in Europe (DATE), 2007, Track on ``Model-Based Design for Embedded Systems'';
European Systems Conference (EuroSys), 2007;
International Conference on Software and Data Technologies (ICSOFT), 2006;
Joint Modular Languages Conference (JMLC), 2006;
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2006;
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2006, Track on ``Development, Verification, and Debug Tools for Real-Time and Embedded Systems'';
European Systems Conference (EuroSys), 2006;
ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2005;
ACM International Conference on Embedded Software (EMSOFT), 2005;
ACM/USENIX Conference on Virtual Execution Environments (VEE), 2005;
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2005;
Joint Modular Languages Conference (JMLC), 2003.
\end{itemize}
}

\mycvitem{Member of External Review Committee}{%
\begin{itemize}
\item[]
Symposium on Principles of Programming Languages (POPL), 2016;
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2010.
\end{itemize}
}

\mycvitem{Member of Workshop Program Committees}{%
\begin{itemize}
\item[]
Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs), 2020;
Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs), 2019;
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), 2015;
Workshop on Exploiting Concurrency Efficiently and Correctly (EC2), 2014;
Workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS), 2012;
Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2012;
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), 2011;
Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2011;
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), 2010;
Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2009;
Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2008;
Workshop on Automatic Program Generation for Embedded Systems (APGES), 2007;
Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), 2005.
\end{itemize}
}

\mycvitem{Member of PhD Committees}{%
\begin{itemize}
\item[]
Jad Hamza, \emph{Algorithmic Verification of Concurrent and Distributed Data Structures}, Universit{\'e} Paris Diderot, Paris, France, 2015 (A.~Bouajjani and C.~Enea, Universit{\'e} Paris Diderot, Advisors);
Christos Sofronis, \emph{Embedded Code Generation from High-Level Heterogeneous Components}, Universit{\'e} Joseph Fourier, Grenoble, France, 2006 (P.~Caspi and S.~Tripakis, Verimag, Advisors);
Claudiu Farcas, \emph{Towards Portable Real-Time Software Components}, University of Salzburg, Salzburg, Austria, 2006 (W.~Pree, University of Salzburg, Advisor).
\end{itemize}
}

\mycvitem{Member of PhD Award Committees}{%
\begin{itemize}
\item[]
EAPLS Best PhD Dissertation Award;
Heinz Zemanek Doctoral Dissertation Award;
ACM SIGBED Paul Caspi Memorial Dissertation Award.
\end{itemize}
}

\mycvitem{Proposal Reviewer and Panelist}{%
\begin{itemize}
\item[]
Swiss National Science Foundation (SNSF), 2018--2019;
Portuguese Foundation for Science and Technology (FCT), 2013;
National Science Foundation (NSF), 2009.
\end{itemize}
}

\mycvitem{Journal Reviewer}{%
\begin{itemize}
\item[]
Real-Time Systems;
IEEE Transactions on Computers;
ACM Transactions on Programming Languages and Systems;
ACM Transactions on Embedded Computing Systems;
Journal of Systems Architecture;
Journal of Applied Logic;
Journal of Logic and Computation;
Science of Computer Programming;
ETRI Journal;
IEEE Computer Magazine;
IEEE Control Systems Magazine;
IEEE Transactions on Software Engineering;
IEEE Transactions on Robotics and Automation;
International Journal of Foundations of Computer Science;
IEEE Transactions on Vehicular Technology.
\end{itemize}
}

\mycvitem{Conference Reviewer}{%
\begin{itemize}
\item[]
International Symposium on Distributed Autonomous Robotic Systems (DARS), 2012;
ACM Symposium on Principles of Programming Languages (POPL), 2008;
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2005;
International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA), 2004;
IEEE International Real-Time Systems Symposium (RTSS), 2003;
ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2003;
ACM Conference on Programming Language Design and Implementation (PLDI), 2003;
International Workshop on Embedded Software (EMSOFT), 2002;
International Workshop on Computer Science Logic (CSL), 1999;
International Conference on Automated Deduction (CADE), 1999;
International Conference on Rewriting Techniques and Applications (RTA), 1998;
International Workshop on Computer Science Logic (CSL), 1997;
International Conference on Automated Deduction (CADE), 1997;
International Conference on Rewriting Techniques and Applications (RTA), 1997.
\end{itemize}
}