Walid Taha - RankMe

92 papers A* 4A 10B 6C 11Misc 7Journal 18Unranked 28

Year	Rank	Type	Title / Venue / Authors
2024	Misc	`conf`	Static Detection of Missing Validations in Solidity Smart Contracts. CSR Sundas Munir, Walid Taha, Mirza Sanam Iqbal Baig
2024	—	`conf`	Statically Checking Transaction Ordering Dependency in Ethereum Smart Contracts. BSCI Sundas Munir, Walid Taha
2023	Misc	`conf`	Practical Intent-driven Routing Configuration Synthesis. NSDI Sivaramakrishnan Ramanathan, Ying Zhang, Mohab Gawish, Yogesh Mundada, Zhaodong Wang, Sangki Yun, Eric Lippert, Walid Taha, Minlan Yu, Jelena Mirkovic
2023	J	`jnl`	Pre-deployment Analysis of Smart Contracts - A Survey. CoRR Sundas Munir, Walid Taha
2021	Misc	`conf`	Intelligent Techniques and Hybrid Systems Experiments Using the Acumen Modeling and Simulation Environment. AIAI Sotirios Tzamaras, Stavros P. Adam, Walid Taha
2020	—	`ed.`	Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers CyPhy/WESE Roger D. Chamberlain, Martin Edin Grimheden, Walid Taha
2020	J	`jnl`	Sound Over-Approximation of Probabilities. Acta Cybern. Eugenio Moggi, Walid Taha, Johan Thunberg
2019	—	`ed.`	Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers CyPhy Roger D. Chamberlain, Walid Taha, Martin Törngren
2019	—	`ed.`	Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers CyPhy/WESE Roger D. Chamberlain, Walid Taha, Martin Törngren
2019	—	`conf`	System Analysis and Robustness. ICTCS Eugenio Moggi, Amin Farjudian, Walid Taha
2018	—	`conf`	A Semantic Account of Rigorous Simulation. Principles of Modeling Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin
2018	—	`conf`	MicroITS: A Scaled-Down ITS Platform. CyPhy/WESE Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha
2018	J	`jnl`	Safe & robust reachability analysis of hybrid systems. Theor. Comput. Sci. Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
2018	—	`conf`	System Analysis and Robustness. Models, Mindsets, Meta Eugenio Moggi, Amin Farjudian, Walid Taha
2017	—	`conf`	Compile-Time Extensions to Hybrid ODEs. SNR@ETAPS Yingfu Zeng, Ferenc A. Bartha, Walid Taha
2017	C	`ed.`	Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings PADL Yuliya Lierler, Walid Taha
2017	J	`jnl`	Safe & Robust Reachability Analysis of Hybrid Systems. CoRR Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
2016	—	`conf`	Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation. CSE/EUC/DCABES Ayman Aljarbouh, Yingfu Zeng, Adam Duracz, Benoît Caillaud, Walid Taha
2016	J	`jnl`	Developing a first course on cyber-physical systems. SIGBED Rev. Walid Taha, Yingfu Zeng, Adam Duracz, Fei Xu, Kevin Atkinson, Paul Brauner, Robert Cartwright, Roland Philippsen
2016	—	`conf`	Flipping a first course on cyber-physical systems: an experience report. WESE Walid Taha, Lars-Göran Hedstrom, Fei Xu, Adam Duracz, Ferenc A. Bartha, Yingfu Zeng, Jennifer David, Gaurav Gunjan
2016	J	`jnl`	Reasoning about multi-stage programs. J. Funct. Program. Jun Inoue, Walid Taha
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
2015	—	`conf`	Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. HPCC/CSS/ICESS Adam Duracz, Henrik Eriksson, Ferenc A. Bartha, Fei Xu, Yingfu Zeng, Walid Taha
2015	J	`jnl`	Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). NII Shonan Meet. Rep. Daisuke Ishii, Kohei Suenaga, Walid Taha
2014	J	`jnl`	Conformance Testing of Cyber-Physical Systems: A Comparative Study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha
2014	—	`conf`	Developing A First Course on Cyber-Physical Systems. WESE Walid Taha, Robert Cartwright, Roland Philippsen, Yingfu Zeng
2014	—	`conf`	Function Interval Arithmetic. ICMS Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha
2014	—	`conf`	Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). HPCC/CSS/ICESS Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia Kilchenman O'Malley, Robert Cartwright
2014	J	`jnl`	Modeling Basic Aspects of Cyber-Physical Systems, Part II. CoRR Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia K. O'Malley, Robert Cartwright
2014	—	`ed.`	Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin, Germany, April 14-17, 2014 CyPhy Ralf Lämmel, Walid Taha
2013	—	`conf`	Enclosing the behavior of a hybrid system up to and beyond a Zeno point. CPSNA Michal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron D. Ames
2013	—	`conf`	Invited Talk: Enclosing Hybrid Behavior. EOOLT Walid Taha
2013	J	`jnl`	Modeling Basic Aspects of Cyber-Physical Systems CoRR Walid Taha, Roland Philippsen
2012	—	`conf`	A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). ICDCS Workshops Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
2012	A	`conf`	Reasoning about Multi-stage Programs. ESOP Jun Inoue, Walid Taha
2012	B	`conf`	Virtual Testing for Smart Buildings. Intelligent Environments Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah
2011	J	`jnl`	A core language for executable models of cyber physical systems: work in progress report. SIGBED Rev. Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
2011	—	`conf`	Accurate Programming: Thinking about programs in terms of properties DSL Walid Taha, Verónica Gaspes, Rex L. Page
2011	B	`conf`	Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration. TrustCom Chaitanya Belwal, Albert M. K. Cheng, Walid Taha
2011	J	`jnl`	Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. High. Order Symb. Comput. Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
2011	—	`conf`	The trouble with real numbers (Invited paper). GI-Jahrestagung Walid Taha, Robert Cartwright
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
2010	C	`conf`	Preliminary Results in Virtual Testing for Smart Buildings. MobiQuitous Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah
2010	J	`jnl`	Synthesizable High Level Hardware Descriptions. New Gener. Comput. Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary
2009	A	`conf`	Exploring the Design Space of Higher-Order Casts. ESOP Jeremy G. Siek, Ronald Garcia, 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
2009	—	`conf`	In Pursuit of Real Answers. ICESS Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
2009	—	`ed.`	International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. ICESS Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha
2009	C	`conf`	Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. PEPM Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
2008	C	`conf`	Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. PEPM Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary
2007	—	`conf`	A Gentle Introduction to Multi-stage Programming, Part II. GTTSE Walid Taha
2007	C	`conf`	Concoqtion: indexed types now! PEPM Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha
2007	Misc	`conf`	E-FRP with priorities. EMSOFT Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
2007	A	`conf`	Gradual Typing for Objects. ECOOP Jeremy G. Siek, Walid Taha
2007	J	`jnl`	Implicitly Heterogeneous Multi-Stage Programming. New Gener. Comput. Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha
2007	C	`conf`	The semantics of graphical languages. PEPM Stephan Ellner, Walid Taha
2006	A	`conf`	A Semantic Analysis of C++ Templates. ECOOP Jeremy G. Siek, Walid Taha
2006	C	`conf`	A monadic approach for avoiding code duplication when staging memoized functions. PEPM Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic
2006	J	`jnl`	Preface. Sci. Comput. Program. Christian Lengauer, Walid Taha
2005	B	`conf`	Implicitly Heterogeneous Multi-stage Programming. GPCE Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha
2004	Misc	`conf`	A methodology for generating verified combinatorial circuits. EMSOFT Oleg Kiselyov, Kedar N. Swadi, Walid Taha
2004	—	`conf`	Implementing DSLs in metaOCaml. OOPSLA Companion Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha
2004	A	`conf`	ML-Like Inference for Classifiers. ESOP Cristiano Calcagno, Eugenio Moggi, Walid Taha
2004	—	`conf`	Relating FFTW and Split-Radix. ICESS Oleg Kiselyov, Walid Taha
2004	—	`conf`	Resource-Aware Programming. ICESS Walid Taha
2003	J	`jnl`	"Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001. J. Funct. Program. Walid Taha
2003	—	`conf`	A Gentle Introduction to Multi-stage Programming. Domain-Specific Program Generation Walid Taha
2003	—	`conf`	DSL Implementation in MetaOCaml, Template Haskell, and C++. Domain-Specific Program Generation Krzysztof Czarnecki, John T. O'Donnell, Jörg Striegnitz, Walid Taha
2003	A*	`conf`	Environment classifiers. POPL Walid Taha, Michael Florentin Nielsen
2003	Misc	`conf`	Generating Heap-Bounded Programs in a Functional Setting. EMSOFT Walid Taha, Stephan Ellner, Hongwei Xi
2003	B	`conf`	Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. GPCE Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy
2003	J	`jnl`	Semantics, Applications, and Implementation of Program Generation. J. Funct. Program. Walid Taha
2003	B	`conf`	Staged Notational Definitions. GPCE Walid Taha, Patricia Johann
2002	C	`conf`	Event-Driven FRP. PADL Zhanyong Wan, Walid Taha, Paul Hudak
2002	B	`ed.`	Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings GPCE Don S. Batory, Charles Consel, Walid Taha
2002	A	`conf`	Tagless staged interpreters for typed languages. ICFP Emir Pasalic, Walid Taha, Tim Sheard
2002	C	`conf`	Towards a primitive higher order calculus of broadcasting systems. PPDP Karol Ostrovsky, K. V. S. Prasad, Walid Taha
2001	Misc	`conf`	Directions in Functional Programming for Real(-Time) Applications. EMSOFT Walid Taha, Paul Hudak, Zhanyong Wan
2001	A	`conf`	Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. ICFP Steven E. Ganz, Amr Sabry, Walid Taha
2001	A	`conf`	Real-Time FRP. ICFP Zhanyong Wan, Walid Taha, Paul Hudak
2001	—	`ed.`	Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings SAIG Walid Taha
2001	—	`conf`	Tag Elimination and Jones-Optimality. PADO Walid Taha, Henning Makholm, John Hughes
2000	C	`conf`	A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). PEPM Walid Taha
2000	A*	`conf`	Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. ICALP Cristiano Calcagno, Eugenio Moggi, Walid Taha
2000	J	`jnl`	MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. Walid Taha, Tim Sheard
2000	—	`ed.`	Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings SAIG Walid Taha
1999	A	`conf`	An Idealized MetaML: Simpler, and More Expressive. ESOP Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
1999	—	`—`	Multi-Stage Programming: Its Theory and Applications. Walid Taha
1998	A*	`conf`	Multi-Stage Programming: Axiomatization and Type Safety. ICALP Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
1997	C	`conf`	Multi-Stage Programming with Explicit Annotations. PEPM Walid Taha, Tim Sheard
1997	A	`conf`	Multi-Stage Programming. ICFP Walid Taha, Tim Sheard