Robert A. van Engelen     Follow @vEngelenRobert on Twitter

Professor of Computer Science and Scientific Computing

Ph.D. 1998 Leiden University, the Netherlands.
MS. 1994 Utrecht University, the Netherlands.
Senior member of the ACM, member of IEEE, and founder of Genivia Inc.

[My Picture]
  Address:
Computer Science Department     30°26'46"N 84°17'59"W
Florida State University
168 James J. Love Building
Tallahassee, FL32306-4530

Office: 168LOV

Phone: (850) 645 0309; Fax: (850) 644 0058

E-mail: engelen at cs dot fsu dot edu


After taking a sabbatical "break" to work on industrial projects and startups (see my bio), I continue to work on program analysis and synthesis methods, compiler design and implementation, Web services protocols and security, high-performance computing, and machine learning (Bayesian methods).

Current projects include the RE/flex lexical analyzer generator and the documentation, SJOT schema design, AOT in ART, and Bayesian learning algorithms on GPU.

Obtained over $7.5 million in grant funding ($3.9 million for research) from the NSF, US Department of Energy, and the state of Florida, published over 70 technical papers in peer-reviewed venues, graduated 27 MS/PhD students with successful careers in academia and industry.

Also founded a tech company that has been in business since 2003 offering compiler products for implementation and validation of large-scale XML protocols. The company customers include most of the Fortune 500 and all of the top 15 technology companies.

Member of several OASIS technical committees for open standards, such as XLIFF Object Model and Other Serializations and Cyber Threat Intelligence.

Supporting K-12 Computer Science: I am pleased to share the Florida K12 Computer Science Standards proposed by the FLDOE and developed by the Framers and Writers committees in which I chaired the 9-12 grade standards effort, bringing together teams of by academics, K-12 teachers, and industry representatives. See the final K-12 CS standards under the Science standards.

Associate Editor of IEEE Transactions on Services Computing. I encourage you to submit your most recent research on service computing. TSC covers but is not limited to the following topics: Mathematical foundation of Services Computing, Service-Oriented Architecture (SOA), Service creation, development, and management, Linkage between IT services and business services, Web services security and privacy, Web services agreement and contract, Web services discovery and negotiation, Web services management, Web services collaboration, Quality of Service for Web services, Web services modeling and performance management, Solution frameworks for building service-oriented applications, Composite Web service creation and enabling infrastructures, Business and scientific applications using Web services and SOA, Business process integration and management using Web services, Standards and specifications of Services Computing, Utility models and solution architectures, Resource acquisition models in Utility Computing, Mathematical foundation of business process modeling, integration and management, Business process modeling, integration, and collaboration.

I am looking for motivated students to join my research projects. If you wish to join, expect to study, understand, and be quizzed on the following materials that summarize some of our fundamental research contributions published in top tier and second tier venues:

Bayesian network approximation and probabilistic inference algorithms

Compiler analysis, nonlinear induction variables, recurrences and array dependence testing (our research contributions are incorporated in GCC 4.x by the GCC development community) High-performance computing and scientific computing Web services and WS protocols, Grid/Cloud computing, and security (our gSOAP toolkit is used world-wide and has exceeded one million downloads) Automatic programming, problem-solving environments

 

Funding

 
State Expanding North Florida's IT Career Pathways
(current), Co-PI, SUS Board of Governors Targeted Educational Attainment (TEAm) Grant Program, $3M
 
NSF Broadening Participation in Computer Science
(completed), Co-PI, NSF grant, DUE-1259462, $602,569.00
 
NSF Collaborative Research: Flow-Sensitive Program Analysis for Speculative Parallelization
(completed), PI, NSF grant, CCF-0702435, $550,000.00 ($300,000.00 to FSU)
 
NSF CRI: Acquisition of an Infiniband Cluster with SMP Nodes
(completed), Co-PI, NSF grant CNS-0551555, $100,000.00
 
NSF Morphbank: Web Image Database Technology for Comparative Morphology and Biodiversity Research
(completed), Co-PI, NSF grant BDI-0446224, $2,249,530.00
 
DOE Early Career Principal Investigator Award: Creating a new Generation of Software Development Environments, Compilers, and Algorithms for High Performance Computing, Networking, and Data Management
(completed), PI, Department of Energy grant DE-FG02-02ER25543, $269,330.00
 
NSF Collaborative Research: Branch Elimination by Condition Merging
(completed) Co-PI, NSF grant CCR-0208892, $180,000.00 (to FSU)
 
NSF Improving Symbolic Analysis of Restructuring Compilers
(completed), PI, NSF grant CCR-0105422, $260,000.00
 
NSF Automatic Validation of Code Improving Transformations and Related Applications
(completed), Co-PI, NSF grant CCR-9904943, $300,000.00
 

 

Publications

Note: I served as department chair from 2011 to 2014 while taking additional administrative service duties, followed by a two year leave to work on proprietary projects. This publication list provides an overview of past conference publications followed by journal articles.

Conference and Workshop Publications (Refereed)

  1. A. Wang, G. Tyson, D. Whalley, R. van Engelen, and Z. Zhang, A Journey toward Obtaining Our First NSF S-STEM (Scholarship) Grant, in proceedings of the 2014 ACM Special Interest Group on Computer Science Education (SIGCSE) Technical Symposium, 2014.
  2. M. Frank, K. Amin, O. Okoli, S. Jung, R. van Engelen, C. Shih, Expanding and Improving the Integration of Multidisciplinary Projects in a Capstone Senior Design Course: Experience Gained and Future Plans, in the proceedings of the ASEE conference, 2014.
  3. Haohai Yu and Robert van Engelen, A Parallel Irregular Wavefront Algorithm for Importance Sampling of Probabilistic Networks on GPU, in the proceedings of the IEEE International Conference on High-Performance Computing and Communications (HPCC), 2011.
  4. Haohai Yu and Robert van Engelen, Measuring the Hardness of Stochastic Sampling on Bayesian Networks with Deterministic Causalities: the k-Test, in the proceedings of Uncertainty in Artificial Intelligence (UAI), 2011.
  5. Haohai Yu and Robert van Engelen, Importance Sampling on Bayesian Networks with Deterministic Causalities, in the proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 2011, pages 146-157.
  6. Robert van Engelen, Automatically Generating High-Performance Parallel Code for Atmospheric Simulation Models: Challenges and Solutions for Auto-Programming Tools, in the proceedings of the joint ASCM/MACIS conference (Math-for-Industry Lecture Note Series Vol. 22.), 2009, pages 395-398.
  7. Michael P. Frank, Uwe Meyer-Baese, Irinel Chiorescu, Liviu Oniciuc, Robert van Engelen, Space-Efficient Quantum Computer Simulator and Applications in Computational Physics, in the proceedings of the ACM SouthEast Regional Conference, 2009.
  8. Wei Zhang and Robert van Engelen, An Adaptive XML Parser for Developing High-Performance Web Services, in the proceedings of the IEEE e-Science Conference workshop on Advances in High-Performance E-Science Middleware and Applications (AHEMA), 2008.
  9. Robert van Engelen and Wei Zhang, An Overview and Evaluation of Web Services Security Performance Optimizations, in the proceedings of the IEEE International Conference on Web Services (ICWS), 2008, pages 137-144.
  10. Wei Zhang and Robert van Engelen, High-Performance XML Parsing and Validation with Permutation Phrase Grammar Parsers, in the proceedings of the IEEE International Conference on Web Services (ICWS), 2008, pages 286-294.
  11. Haohai Yu and Robert A. van Engelen, Refractor Importance Sampling, in the proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI), 2008.
  12. Subhajit Datta and Robert A. van Engelen, An Examination of the Effects of Offshore and Outsourced Development on the Delegation of Responsibilities to Software Components, in the proceedings of the Second International Conference on Software Engineering Approaches For Offshore and Outsourced Development (SEAFOOD), 2008.
  13. Robert A. van Engelen and Wei Zhang, Identifying Opportunities for Web Services Security Performance Optimizations, in the proceedings of the IEEE Congress on Services (SERVICES), 2008.
  14. Yixin Shou and Robert A. van Engelen, Automatic SIMD Vectorization of Chains of Recurrences, in the proceedings of the ACM International Conference on Supercomputing (ICS), 2008, pages 245-255.
  15. A. Meyer-Baese, R. van Engelen, and S. Cappendijk, Robust stability analysis of the heat shock response in E. coli, in the proceedings of SPIE Vol. 6979 Independent Component Analysis, Wavelets, Unsupervised Nano-Biomimetic Sensors, and Neural Networks VI, Harold H. Szu; F. Jack Agee, Editors, 2008.
  16. S. Datta and R. van Engelen, COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems, in the proceedings of the ETAPS Fundamental Approaches to Software Engineering Conference (FASE), 2008, volume 4961 of LNCS Springer Verlag, pages 332-346.
  17. M. Cafaro, D. Lezzi, S. Fiore, G. Aloisio, and R. van Engelen, The GSI plug-in for gSOAP: building cross-grid interoperable secure grid services, in the proceedings of the International Conference on Parallel Processing and Applied Mathematics (PPAM) 2007, workshop on Models, Algorithms and Methodologies for Grid-enabled Computing Environment (MAMGCE), Springer Verlag LNCS Volume 4967, pages 894-901, 2008.
  18. G. Miller, S. Cappendijk, and R. van Engelen, Strategies in Song Stereotyping for the Zebra Finch, in the proceedings of the Annual Biotechnology and Bioinformatics Symposium (BIOT), 2007.
  19. Y. Shou, R. van Engelen, and J. Birch, Flow-Sensitive Loop-Variant Variable Classification in Linear Time, in the proceedings of the International Workshop on Languages and Compilers for Parallel Computing (LCPC), 2007.
  20. S. Datta, R. van Engelen, D. Gaitros, and N. Jammigumpula, Experiences with Tracking the Effects of Changing Requirements on Morphbank: A Web-based Bioinformatics Application, in the proceedings of the ACM SouthEast Conference, 2007, pages 413-418.
  21. M. Head, M. Govindaraju, R. van Engelen, and W. Zhang, Benchmarking XML Processors for Applications in Grid Web Services, in the proceedings of IEEE/ACM Supercomputing (SC) 2006.
  22. J. Birch, R. van Engelen, K. A. Gallivan, and Y. Shou, An Empirical Evaluation of Chains of Recurrences for Array Dependence Testing, in the proceedings of to the IEEE/ACM International Conference on Parallel Architectures and Compilation Techniques (PACT), 2006, pages 295-304.
  23. Robert van Engelen, Madhusudhan Govindaraju, and Wei Zhang, Exploring Remote Object Coherence in XML Web Services, in the proceedings of IEEE International Conference on Web Services (ICWS), 2006, pages 249-256.
  24. Wei Zhang and Robert van Engelen, A Table-Driven XML Streaming Methodology for High-Performance Web Services, in the proceedings of IEEE International Conference on Web Services (ICWS), 2006, pages 197-206, (best student paper award).
  25. Yixin Shou, Robert van Engelen, Johnnie Birch, and Kyle Gallivan, Toward Efficient Flow-Sensitive Induction Variable Analysis and Dependence Testing for Loop Optimization, in the proceedings of the ACM SouthEast conference, 2006, pages 1-6 (best paper award).
  26. Wei Zhang and Robert van Engelen, TDX: a High-Performance Table-Driven XML Parser, in the proceedings of the ACM SouthEast conference, 2006, pages 726-731.
  27. Robert van Engelen, Wei Zhang, and Madhusudhan Govindaraju, Toward Remote Object Coherence with Compiled Object Serialization for Distributed Computing with XML Web Services, in the proceedings of the workshop on Compilers for Parallel Computing (CPC), 2006, pages 441-455.
  28. Subhajit Datta and Robert van Engelen, Effects of Changing Requirements: A Tracking Mechanism for the Analysis Workflow, in the proceedings of the ACM Symposium on Applied Computing, 2006, pages 1739-1744.
  29. Michael R. Head, Madhusudhan Govindaraju, Aleksander Slominski, Pu Liu, Nayef Abu-Ghazaleh, Robert van Engelen, Kenneth Chiu, Michael J. Lewis, Benchmark Suite for SOAP-based Communication in Grid Web Services, in the proceedings of IEEE/ACM Supercomputing (SC), 2005.
  30. Giovanni Aloisio, Massimo Cafaro, Italo Epicoco, Daniele Lezzi, and Robert van Engelen, The GSI plug-in for gSOAP: Enhanced Security, Performance, and Reliability, in the International Conference on Information Technology (ITCC), 2005, IEEE Press, Volume I, pages 304-309.
  31. Robert van Engelen, Johnnie Birch, Yixin Shou, Burt Walsh, and Kyle Gallivan, A Unified Framework for Nonlinear Dependence Testing and Symbolic Analysis, in the proceedings of the ACM International Conference on Supercomputing (ICS), 2004, pages 106-115.
  32. M. Govindaraju, A. Slominski, K. Chiu, P. Liu, R. van Engelen, and M. Lewis, Toward Characterizing the Performance of SOAP Toolkits, in the proceedings of the 5th IEEE/ACM International Workshop on Grid Computing, pages 365-372, Pittsburgh, USA, 2004.
  33. Robert van Engelen, Constructing Finite State Automata for High Performance XML Web Services, in the proceedings of the International Symposium on Web Services (ISWS), 2004, pages 975-981.
  34. Johnnie Birch, Robert van Engelen, and Kyle Gallivan, Value Range Analysis of Conditionally Updated Variables and Pointers, in the proceedings of Compilers for Parallel Computing (CPC), 2004, pages 265-276.
  35. Robert van Engelen, Code Generation Techniques for Developing Web Services for Embedded Devices, in the proceedings of the 9th ACM Symposium on Applied Computing SAC, Nicosia, Cyprus, 2004, pages 854-861.
  36. Robert van Engelen, Johnnie Birch, and Kyle Gallivan, Array Data Dependence Testing with the Chains of Recurrences Algebra, in the proceedings of the IEEE International Workshop on Innovative Architectures for Future Generation High-Performance Processors and Systems (IWIA), January 2004, pages 70-81. See also Technical Report TR-041201.
  37. Giovanni Aloisio, Massimo Cafaro, Daniele Lezzi, and Robert van Engelen, Secure Web Services with Globus GSI and gSOAP, in the proceedings of the EUROPAR conference, 2003.
  38. William Kreahling, David Whalley, Mark Bailey, Xin Yuan, Gang-Ryung Uh, Robert van Engelen, Branch Elimination via Multi-Variable Condition Merging, in the proceedings of EUROPAR 2003.
  39. Yaohang Li, Michael Mascagni, and Robert van Engelen, GCIMCA: A Globus and SPRNG Implementation of a Grid-Computing Infrastructure for Monte Carlo Applications, in the proceedings of the PDPTA 2003 conference, 2003.
  40. Robert A. van Engelen, Pushing the SOAP Envelope with Web Services for Scientific Computing, in the proceedings of the International Conference on Web Services (ICWS), 2003, pages 346-354.
  41. Robert A. van Engelen, Kyle Gallivan, and Burt Walsh, Tight Timing Estimation With the Newton-Gregory Formulae, in the proceedings of CPC 2003, January 8-10, 2003, Amsterdam, Netherlands, pages 321-330.
  42. Burt Walsh, Robert van Engelen, Kyle Gallivan, Johnnie Birch, and Yixin Shou, Parametric Intra-Task Dynamic Voltage Scheduling, in the proceedings of the PACT Workshop on Compilers and Operating Systems for Low Power (COLP), 2003.
  43. Robert A. van Engelen, David Whalley, and Xin Yuan, Validation of Code-Improving Transformations for Embedded Systems, in the proceedings of the 8th ACM Symposium on Applied Computing SAC 2003, March 9-12, 2003, Melbourne Florida, pages 684-691.
  44. Wankang Zhao, Baosheng Cai, David Whalley, Mark Bailey, Robert van Engelen, Xin Yuan, Jason Hiser, Jack Davidson, Kyle Gallivan, and Douglas Jones, VISTA: A System for Interactive Code Improvement, in the proceedings of the LCTES conference, 2002.
  45. P. van der Mark, R. van Engelen, K. Gallivan, and W. Dewar, A Case Study for Automatic Code Generation on a Coupled Ocean-Atmosphere Model, in the proceedings of the 2002 International Conference on Computational Science, April 21-24, 2002, Amsterdam, the Netherlands.
  46. Robert A. van Engelen and Kyle Gallivan, The gSOAP Toolkit for Web Services and Peer-To-Peer Computing Networks, in the proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid), 2002, pages 128-135.
  47. Robert A. van Engelen and Kyle A. Gallivan, Tight Non-Linear Loop Timing Estimation, in the proceedings of the 2002 International Workshop on Innovative Architectures for Future Generation High-Performance Processors and Systems (IWIA), January 2002, Maui, Hawaii, pages 21-26
  48. L. Kohout, A. Strotmann, and R. van Engelen, Knowledge Engineering Methods for Climate Models, in the proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference.
  49. A. Qasem, D. Whalley, X. Yuan, and R. van Engelen, Using a Swap Instruction to Coalesce Loads and Stores in Proceedings of the European Conference on Parallel Computing, August 2001
  50. Robert A. van Engelen and Kyle A. Gallivan, An Efficient Algorithm for Pointer-to-Array Access Conversion for Compiling and Optimizing DSP Applications, in the proceedings of the 2001 International Workshop on Innovative Architectures for Future Generation High-Performance Processors and Systems (IWIA 2001), 18-19 January 2001, Maui, Hawaii, pages 80-89.
  51. Robert A. van Engelen, Efficient Symbolic Analysis for Optimizing Compilers, in the proceedings of the International Conference on Compiler Construction, ETAPS 2001, LNCS 2027, pages 118-132
  52. Robert A. van Engelen, K. Gallivan, G. Gupta, and G. Cybenko, XML-RPC Agents for Distributed Scientific Computing in the proceedings of the IMACS conference, Lausanne, Switzerland, August 2000.
  53. Robert A. van Engelen, D. Whalley, and X. Yuan, Automatic Validation of Code-Improving Transformations in ACM SIGPLAN LCTES'00 Workshop, 2000.
  54. Christopher Healy, Robert van Engelen, and David Whalley, A General Approach for Tight Timing Predictions of Non-Rectangular Loops, in WIP proceedings of the 5th IEEE Real-Time Technology and Application Symposium, June 2-4, 1999, Vencouver, BC, Canada, pages 11-14.
  55. Ilja Heitlager and Robert van Engelen, Optimization of Function Evaluations in Loops Using Chains of Recurrences, in the proceedings of the 4th Annual Conference of the Advanced School for Computing and Imaging, 1998, Lommel, Belgium.
  56. Robert van Engelen, Lex Wolters, and Gerard Cats, The Ctadel Application Driver for Numerical Weather Forecast Systems, proceedings of the 15th IMACS World Congress (session: Problem Solving Environments for Scientific Computing), (ed. A. Sydow), vol. 4, Wissenshaft & Technik Verlag, Berlin, Germany, 1997, pages 571-576.
  57. Robert van Engelen, Lex Wolters, and Gerard Cats, PDE-Oriented Language Compilation and Optimization with Ctadel for Parallel Computing, proceedings of the HIPS'97 Second International Workshop, April 1-5, 1997, Geneva, Switzerland, IEEE Computer Society Press, pages 105-109.
  58. Robert A. van Engelen, Ilja Heitlager, Lex Wolters, and Gerard Cats, Incorporating Application Dependent Information in an Automatic Code Generating Environment, proceedings of the 11th ACM International Conference on Supercomputing (ICS), July 7-11, 1997, Vienna, Austria, pages 180-187.
  59. Lex Wolters, Robert A. van Engelen, and Gerard Cats, Automatic Code Generation: Ctadel, proceedings of the 17th EWGLAM and SRNWP meeting, LAM Newsletter, Number 25, May 1996, pp. 137-143.
  60. Robert A. van Engelen, Lex Wolters, and Gerard Cats, Multi-Platform Code Generation for the HIRLAM Dyn Routine with Ctadel, proceedings of the HIRLAM workshop on Variational Data Assimilation, February 1996, De Bilt, the Netherlands, pages 115-122.
  61. Robert A. van Engelen, Lex Wolters, and Gerard Cats, Automatic Code Generation for High Performance Computing in Environmental Modeling, proceedings of the 1996 EUROSIM International Conference on HPCN Challenges in Telecomp and Telecom: Parallel Simulation of Complex Systems and Large-Scale Applications, June 10-12, 1996, Delft, the Netherlands, pages 421-428.
  62. Robert A. van Engelen, Lex Wolters, and Gerard Cats, The Ctadel Code Generation Tool for PDE-based Scientific Applications, proceedings of the Second Annual Conference of the Advanced School for Computing and Imaging, June 5-7 1996, Lommel, Belgium, pages 120-125.
  63. Robert A. van Engelen, Lex Wolters, and Gerard Cats, Ctadel: A Generator of Multi-Platform High Performance Codes for PDE-based Scientific Applications, proceedings of the 10th ACM International Conference on Supercomputing (ICS), May 25-28 1996, Philadelphia, USA, ACM Press, pages 86-93.
  64. Robert A. van Engelen and Lex Wolters, A Comparison of Parallel Programming Paradigms and Data Distributions for a Limited Area Numerical Weather Forecast Routine, proceedings of the 9th ACM International Conference on Supercomputing (ICS), July 3-7 1995, Barcelona, Spain, pages 357-364.
  65. Robert A. van Engelen and Lex Wolters, Parallelization of a Finite Difference Application: a Comparison of Parallel Programming Paradigms and Data Distributions, proceedings of the First Annual Conference of the Advanced School for Computing and Imaging, May 16-18 1995, Heijen, the Netherlands, pages 28-36.
  66. Lex Wolters, Robert A. van Engelen, Gerard Cats, Nils Gustaffson, and Tomas Wilhelmsson, A Data-Parallel HIRLAM Forecast Model, in Geerd-R. Hoffmann and Norbert Kreitz (eds.), Coming of Age, proceedings of the Sixth ECMWF Workshop on the Use of Parallel Processors in Meteorology, World Scientific Publ., 1995, pages 49-62; also Technical Report 94-47, Department of Computer Science, Leiden University, November 1994.

Journal Publications (Refereed)

  1. S. Cappendijk, P. Yount, G. Miller, and R. van Engelen, Automatic Data Analysis of Real-Time Song and Locomotor Activity in Zebra Finches, in the International Journal of Bioinformatics Research and Applications, 2011.
  2. Haohai Yu and Robert van Engelen, Arc Refractor Methods for Adaptive Importance Sampling on Large Bayesian Networks Under Evidential Reasoning, in the International Journal of Approximate Reasoning, Volume 51 Issue 7, September 2010.
  3. Robert A. van Engelen, A Framework for Service-Oriented Computing with C and C++ Web Service Components, ACM Transactions on Internet Technology, Volume 8, Issue 3, Article 12, May 2008.
  4. Robert A. van Engelen, Kyle Gallivan, and Burt Walsh, Parametric Timing Estimation With the Newton-Gregory Formulae, Journal of Concurrency and Computation: Practice and Experience, Volume 18, Number 10, September 2006, pages 1434-1464.
  5. Prasad Kulkarni, Wankang Zhao, David Whalley, Xin Yuan, Robert van Engelen, Kyle Gallivan, Jason Hiser, Jack Davidson, Baosheng Cai, Mark Bailey, Hwashin Moon, Kyunghwan Cho, Yunheung Paek, and Douglas Jones, VISTA: VPO Interactive System for Tuning Applications, ACM Transactions on Embedded Computing Systems, November 2006, Volume 5, Number 3, pages 816-863.
  6. W. Kreahling, D. Whalley, M. Bailey, X. Yuan, G-R. Uh, and R. van Engelen, Branch Elimination by Condition Merging, Journal of Software Practice and Experience, 2004.
  7. Yaohang Li, Michael Mascagni, Robert van Engelen, and Qin Cai, A Grid Workflow-Based Monte Carlo Simulation Environment, in the Journal of Neural, Parallel, and Scientific Computations, 2004, pages 439-454.
  8. Robert A. van Engelen, David Whalley, and Xin Yuan, Automatic Validation of Code-Improving Transformations on Low-Level Program Representations, in the Science of Computer Programming Journal, 2004, Volume 52, pages 257-280.
  9. Robert van Engelen, Gunjan Gupta, and Saurabh Pant, Developing Web Services for C and C++, in IEEE Internet Computing Journal, March, 2003, pages 53-61.
  10. Robert A. van Engelen, ATMOL: A Domain-Specific Language for Atmospheric Modeling, in the Journal of Computing and Information Technology, 2002, pages 289-304.
  11. C. Healy, M. Sjodin, V. Rustagi, D. Whalley, and R. van Engelen, Supporting Timing Analysis by Automatic Bounding of Loop Iterations, in Real-Time Systems journal, Special Issue by P. Puschner and A. Burns on Worst-Case Execution-Time Analysis, 2000, pages 121-148.
  12. Robert van Engelen, Lex Wolters, and Gerard Cats, Tomorrow's Weather Forecast: Automatic Code Generation for Atmospheric Modeling, IEEE Journal of Computational Science and Engineering, Vol. 4, No. 3, July/September 1997, pages 22-31.
  13. Robert A. van Engelen, Approximating Bayesian Belief Networks by Arc Removal, in IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 19, no. 8, August 1997, pages 916-920. (See also Technical Report TR-95-15)

Technical Reports, Manuals, Book Chapters, and Abstracts

  1. Yixin Shou, Robert van Engelen, and Johnnie Birch, Flow-Sensitive Loop-Variant Variable Classification in Linear Time, Technical Report TR-071005, Department of Computer Science, Florida State University, October 2007.
  2. Madhusudhan Govindaraju, Michael Lewis, Kenneth Chiu, Robert van Engelen, Sam Lang, Keith Jackson, Web Services Performance Aspects (abstract) in the proceedings of GlobusWORLD conference, Boston, February 2005.
  3. Robert van Engelen, gSOAP and Web Services, C/C++ Users Journal, Vol. 23, No. 2, February 2005, pages 67-13.
  4. Robert van Engelen, The CR# Algebra and its Application in Loop Analysis and Optimization, Technical Report TR-041223, Department of Computer Science, Florida State University, December 2004.
  5. Robert van Engelen, Johnnie Birch, Yixin Shou, and Kyle Gallivan, Array Data Dependence Testing with the Chains of Recurrences Algebra, Technical Report TR-041201, Department of Computer Science, Florida State University, December 2004.
  6. Robert van Engelen, gSOAP User Guide, 2003
  7. Robert van Engelen, D. Whalley, and X. Yuan, Automatic Validation of Code-Improving Transformations Technical Report TR-000601, Department of Computer Science, Florida State University, 2000.
  8. Robert van Engelen, Symbolic Evaluation of Chains of Recurrences for Loop Optimization Technical Report TR-000102, Department of Computer Science, Florida State University, 2000.
  9. Robert van Engelen, Lex Wolters, and Gerard Cats, The Ctadel Application Driver Chapter 26 in the book ``Enabling Technologies for Computational Science: Frameworks, Middleware and Environments'', E.N. Houstis, J.R. Rice, E. Gallopoulos, and R. Bramley (eds), March 2000
  10. Robert A. van Engelen, Ctadel: A Generator of Efficient Numerical Codes, Ph.D. Dissertation, Leiden University, the Netherlands, 1998.
  11. Robert van Engelen and Lex Wolters, A High-Level Language and Interpreter for the Use of Mathematical Vector Notation in PDE-Problem Specifications, Technical Report 97-05, Department of Computer Science, Leiden University, October 1997.
  12. Ilja Heitlager, Robert van Engelen, and Lex Wolters, The Construction of Flux-Limiting Advection Algorithms through Program Generation, Technical Report 98-04, Department of Computer Science, Leiden University, February 1998.
  13. Robert A. van Engelen, Approximating Bayesian Belief Networks by Arc Removal, Technical Report TR-96-15, Department of Computer Science, Leiden University, the Netherlands, June 1996.
  14. Robert A. van Engelen, Lex Wolters, and Gerard Cats, Ctadel: A Generator of Efficient Code for PDE-based Scientific Applications, Technical Report 95-26, Department of Computer Science, Leiden University, September 1995.
  15. Robert A. van Engelen, Approximations in Bayesian Belief Networks, INF/SCR-94-19, Department of Computer Science, Utrecht University, the Netherlands, July 1994.
  16. Robert A. van Engelen and Davar Rezania, PLEXUS DATABASE: A Statistical Tool for Neurosurgeons, Report INF/VER-94-02, Department of Computer Science, Utrecht University, the Netherlands, February 1994.

 

A Selection of Current and Past Professional Activities

Editorial Boards
Associate Editor IEEE Transactions on Services Computing, 2013-present
Industry Standards Technical Committees
OASIS Cyber Threat Intelligence (CTI) Technical Committee, 2016-present
OASIS XLIFF Object Model and Other Serializations (XLIFF OMOS) Technical Committee, 2016-present
Conferences 2017
IEEE International Conference on Tools with AI (ICTAI 2017), Technical Program Committee
IEEE International Congress on Internet of Things (ICIOT 2017), Technical Program Committee
IEEE International Conference on Cognitive Computing (ICCC 2017), Technical Program Committee
IEEE International Conference on Services Computing (SCC 2017), Technical Program Committee
IEEE International Conference on Cloud Computing (CLOUD 2017), Technical Program Committee
International Conference on Cloud Computing and Services Science (CLOSER 2017), Technical Program Committee
IEEE International Conference on Big Data (BigData Congress 2017), Technical Program Committee
Conferences 2016
IEEE International Conference on Tools with AI (ICTAI 2016), Technical Program Committee
IEEE International Conference on Big Data (BigData Congress 2016), Technical Program Committee
IEEE International Conference on Services Computing (SCC 2016), Technical Program Committee
IEEE International Conference on Big Data Computing Services and Applications (BigDataService 2016), Technical Program Committee
International Conference on Cloud Computing and Services Science (CLOSER 2016), Technical Program Committee
Conferences 2015
IEEE International Conference on Services Computing (SCC 2015), Technical Program Committee
IEEE International Conference on Cloud Computing (CLOUD 2015), Technical Program Committee
IEEE International Conference on Big Data (BigData Congress 2015), Technical Program Committee
International Conference on Big Data Computing and Service (IEEE BigDataService 2015), Technical Program Committee
International Conference on Cloud Computing and Services Science (CLOSER 2015), Technical Program Committee
Conferences 2014
IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2014), Technical Program Committee
IEEE International Conference on Big Data (BigData 2014), Technical Program Committee
IEEE International Conference on Embedded Computing (EmbeddedCom 2014), Program Committee
IEEE International Conference on Embedded Software and Systems (ICESS 2014), Program Committee
IEEE International Conference on Cloud Computing (CLOUD 2014), Technical Program Committee
IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2014), Technical Program Committee
IEEE International Conference on Services Computing (SCC 2014), Technical Program Committee
International Conference on Cloud Computing and Services Science (CLOSER 2014), Technical Program Committee
Conferences 2013
IEEE International Conference on Big Data and Distributed Systems (BDDS 2013), Technical Program Committee
IEEE International Conference on Big Data (BigData 2013), Technical Program Committee
IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2013), Technical Program Committee
IEEE International Conference on Services Computing (SCC 2013), Program Committee
IEEE International Conference on Cloud Computing (CLOUD 2013), Program Committee
ACM International Conference on Supercomputing (ICS 2013), Program Committee
IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2013), Technical Program Committee
IEEE International Conference on Embedded Software and Systems (ICESS 2013), Program Committee
International Conference on Cloud Computing and Services Science (CLOSER 2013), Program Committee
Conferences 2012
IEEE International Conference on Services Computing (SCC 2012), Program Committee
IEEE International Conference on Cloud Computing (CLOUD 2012), Program Committee
IEEE International Conference on High Performance Computing and Communications (HPCC 2012), Program Committee
International Conference on Cloud Computing and Services Science (CLOSER 2012), Program Committee
IEEE International Conference on Embedded Software and Systems IEEE (ICESS 2012), Technical Program Committee
IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2012), Technical Program Committee
IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012), Technical Program Committee
IEEE International Conference on Computational Intelligence and Software Engineering (CiSE 2012), Technical Program Committee
Conferences 2011
IEEE International Conference on Embedded Software and Systems IEEE (ICESS 2011), Technical Program Committee
IEEE International Conference on Utility and Cloud Computing (UCC 2011), Technical Program Committee
IEEE International Conference on High Performance Computing and Communications (HPCC 2011), Program Committee
IEEE International Conference on Services Computing (SCC 2011)., Program Committee
International Conference on Cloud Computing and Services Science (CLOSER 2011), Program Committee
IEEE International Conference on Cloud Computing (CLOUD 2011), Program Committee
IEEE International Parallel & Distributed Processing Symposium (IPDPS 2011), Program Committee
Conferences 2010
IEEE International Conference on Computational Science and Engineering 2010, Program Committee
IEEE High Performance Computing and Communications (HPCC 2010), Program Committee
International Workshop on Compilers, Languages, and Architectures for Web Services (CLAWS), part of the ICPP 2010 conference, Workshop Chair
The First International Conference on Cloud Computing, GRIDs, and Virtualization, Program Committee
IEEE International Conference on Embedded Software and Systems (ICESS-10), Program Committee
IEEE International Conference on Services Computing (SCC), Program Committee (SCC Research Track)
IEEE International Conference on Cloud Computing, Program Committee
ACM International Conference on Supercomputing (ICS), Program Committee
IET International Conference on Frontier Computing (FC'10), Program Committee
Conferences 2009
IEEE International Conference on Service-Oriented Computing and Applications (SOCA'09), Program Committee
IEEE International Conference on Cloud Computing (CLOUD-II), Program Committee
IEEE High Performance Computing and Communications (HPCC), Vice Chair
IEEE International Conference on Computational Science and Engineering (IEEE CSE), Program Committee
International Conference on Information Systems, Technology and Management (ICISTM), Program Committee
Conferences 2008
ACM International Conference on Supercomputing (ICS), Area Chair of the Algorithms Track and Program Committee
International Workshop on Advances in High-Performance e-Science Middleware and Applications (AHEMA), jointly held with the IEEE International Conference on eScience, Chair
IEEE International Conference on Services Computing (SCC), Program Committee
Conferences 2007
IEEE International Conference on Services Computing (SCC), Program Committee
IEEE International Conference on Web Services (ICWS), Program Committee
IEEE High-Performance Distributed Computing (HPDC) Symposium, Program Committee
Conferences 2006
International Conference on Parallel Processing Workshop on High Performance Scientific and Engineering Computing (ICPP-HEPSEC), Program Committee
ACM Symposium on Applied Computing (SAC) track on Distributed Systems and Grid Computing, Track organizer.
Conferences 2005
ACM Symposium on Applied Computing (SAC) track on Distributed Systems and Grid Computing, Track organizer.
Conferences 2004
ACM Symposium on Applied Computing (SAC) track on Parallel and Distributed Systems, Track organizer.
Conferences 2003
ACM International Conference on Supercomputing (ICS) 2003 Registration Chair and Program Committee member.
ACM Symposium on Applied Computing (SAC) 2003 track on Parallel and Distributed Systems and Networks.
Conferences 2000
IMACS Applications of Computer Algebra (ACA) 2000 Conference Special Session on Problem Solving Environments, co-organizer.
Conferences 1999
IMACS Applications of Computer Algebra (ACA) 1999 Conference Special Session on Problem Solving Environments, co-organizer.
Conferences 1997
GNARP 1997 ASCI Research School Workshop, the Netherlands, co-organizer.
Conferences 1996
GNARP 1996 ASCI Research School Workshop, the Netherlands, co-organizer.
Grant Review Panels
National Science Foundation.
Swedish National Research Foundation.
Israel Science Foundation.
Conference and Journal Review
ACM Transactions on Programming Languages and Systems, IEEE Transactions on Pattern Analysis and Machine Intelligence, IEEE Transactions on Services Computing, IEEE Transactions on Systems, Man, and Cybernetics, Parallel Computing Journal, Journal of Intelligent Systems, Journal of Mathematical and Computer Modelling, Design Automation for Embedded Systems Journal, ACM ICS conference, ACM SAC symposium, LCTES conference, IEEE ICWS conference, IEEE SSC conference, CLOSER conference, SPDP conference, and other.
Other
ACM SouthEast Regional Programming Contest Coach for 2000, 2001, 2002, 2003, 2004, and 2005.

 

Selection of Talks with Presentation Materials

  1. Automatic Programming, 2011
  2. Automatically Generating High-Performance Parallel Code for Atmospheric Simulation Models: Challenges and Solutions for Auto-Programming Tools, MACIS conference, December 15, 2009.
  3. Research Seminar on Formal Methods for Program Analysis and Generation, 2009
  4. Research Seminar on Projects and Research Topics, 2008
  5. CPC 2006 paper presentation
  6. ACM SAC 2003 embedded systems presentation.
  7. CPC 2003 paper presentation
  8. Colloquium presentation at Argonne National Laboratories on gSOAP and OGSA efforts, October 7, 2002.
  9. ETAPS CC 2001 paper presentation.
  10. Research Seminar presentation.
  11. XML-RPC Agents for Distributed Scientific Computing IMACS 2000, August 21-25, 2000, Lausanne, Switzerland.
  12. A Computer Algebra System for the Generation of Efficient Numerical Codes for PDEs IMACS ACA'99, June 24, 1999, El Escorial, Spain.
  13. Colloqium talk Ctadel: A System for the Generation of Efficient Numerical Codes for PDEs, University of New Mexico, February 11 and February 12, 1999.
  14. Distance Learning Workshop by FSU on the use of Math on the Web, October 8, 1999, Tallahassee.

 

Students

2012
Heidy Khlaaf, Temporal Property Verification, Honors Thesis, 2012
Wei Zhang, Efficient XML Stream Processing and Searching, Ph.D., 2012
2011
Haohai Yu, Acceleration Methods for Bayesian Network Sampling, Ph.D., 2011
Rohit Mahale, Service-Oriented File System Implementation with FUSE, MS Project, 2011
2009
Yixin Shou, A unified compiler framework for program analysis, optimization, and automatic vectorization with Chains of Recurrences, Ph.D., 2009
Subhajit Datta, Metrics and Techniques to Guide Software Development, Ph.D., 2009
2007
Mahesh Erande, A Reference Implementation of Web Service Dynamic Discovery with gSOAP, MS Project, 2007
Johnnie Birch, Methods for Linear and Nonlinear Array Data Dependence Analysis with the Chains of Recurrences Algebra, Ph.D., 2007
2006
Subhajit Datta, A Mechanism for Tracking the Effects of Requirement Changes in Enterprise Software Systems, MS Thesis, 2006
Gabriel Logan, A Simple Morphbank Annotation Tool, MS Project, 2006
Jason Simmons, Morphbank Annotation Tools, MS Project, 2006
2004
Arthi Gokarn, Internet Computing with Matlab, MS Thesis, 2004
Kiran Kaja, WSDL Importer, MS Project, 2004
Smita Kulkarni, Distributed File Access with Web Services, MS Project, 2004.
2003
Rohith Gowda, A Telecom Billing Application, MS Project, 2003.
Misha Taylor, Developing a Bioinformatics Utility Belt to Eliminate Search Redundancy from the Ever-Growing Databases, MS Thesis, 2003.
Chengyun Wang, Bayesian Belief Network Simulation, MS Project, 2003.
2002
Johnnie Birch, Using the Chains of Recurrences Algebra for Data Dependence Testing and Induction Variable Substitution, MS Thesis, 2002.
Yi Huang, SSL and SSL Proxy Support for SOAP/XML Web Services, MS Project, 2002.
Darui Xu, A Java Implementation of the Simple Object Access Protocol, MS Project, 2002.
Wei Yu, Intrusion Detection Based on Static Analysis of Program Behavior, MS Project, 2002.
2001
Cui Chi, EC Eval: A Java Application for Engineering Educational Outcomes Evaluation [project doc], MS Project, 2001.
Dongmei Gao, A Java Implementation of the Simple Object Access Protocol, MS Project, 2001.
Saurabh Pant, An Automated Simple Object Access Protocol RPC Stub Generator for C++, MS Project, 2001.
Damon Snyder, On-line Intrusion Detection Using Sequences of System Calls, MS Thesis, 2001.
Yilei Wang, A Java Enterprise Application: Online Real-Time Classroom, MS Project, 2001.
Yunwei Wang, Peer-to-Peer Computing with the Simple Object Access Protocol, MS Project, 2001.
2000
Gunjan Gupta, A Simple Object Access Protocol (SOAP) stub compiler for C, MS Project, 2000.

 

Teaching

Note: this list does not include directed independent studies, project hours, thesis hours, and dissertation hours.
2017
COP5621 Compiler Construction (Spring 2017).
ISC5318/CIS5930 High-Performance Computing (Spring 2017).
CIS4930 CS/YC Startup (Spring 2017).
2016
COP4020 Programming Languages (Fall 2016, 33 students).
2013
COP5621 Compiler Construction (Fall 2013, 20 students).
2012
ISC5318/CIS5930-3 High-Performance Computing (Fall 2012, 32 students).
COT5315 Programming Language Foundations (Spring 2012, 16 students).
2011
COP5621 Compiler Construction (Fall 2011, 20 students).
COP4020 Programming Languages (Spring 2011, 46 students).
2010
ISC5318/CIS5930-1 High-Performance Computing (Fall 2010, 25 students).
COP4020 Programming Languages (Spring 2010, 40 students).
2009
COP5621 Compiler Construction (Fall 2009, 30 students).
ISC5319/CIS5930-1 Advanced Topics in High-Performance Computing (HPC-II) (Spring 2009, 6 students)
2008
ISC5318/CIS5930-1 High-Performance Computing I (Fall 2008, 7 students).
ISC5939-1 Advanced Topics in High-Performance Parallel Computing (Seminar) (Spring 2008, 6 students).
2007
ISC5935-1/CIS5930-13 High-Performance Computing I (Fall 2007, 19 students).
COP5621 Compiler Construction (Spring 2007, 19 students).
2006
COP4610 Principles of Operating Systems (Spring 2006, 22 students).
CIS5930-04 Internet Computing (Fall 2006, 18 students).
COP4020 Programming Languages (Fall 2006, 34 students).
2005
COP5621 Compiler Construction (Spring 2005, 14 students).
COP5622 Advanced Topics in Compilation (Fall 2005, 5 students)
2004
COT5315 Programming Language Foundations (Spring 2004, 15 students).
COP4020 Programming Languages (Fall 2004, 75 students).
CGS5426 Programming Languages (Fall 2004, 3 students).
CIS6935-06 Special Topics (Fall 2004, 4 students)
2003
COP5025 Programming Language Foundations (Spring 2003, 24 students).
BSC5936 Bioinformatics (Fall 2003, 12 students).
COP4020 Programming Languages (Fall 2003, 50 students).
CGS5426 Programming Languages (Fall 2002).
2002
BSC5936 Bioinformatics (Spring 2002, 24 students).
COP5025 Programming Language Foundations (Spring 2002, 40 students).
CIS6935 Advanced Seminar on Compilers (Summer 2002, 5 students).
COP4020 Programming Languages (Fall 2002, 61 students).
CGS5426 Programming Languages (Fall 2002, 6 students).
CIS6935 Advanced Seminar on Compilers (Fall 2002, 5 students).
2001
COP5025 Programming Language Foundations (Spring 2001, 67 students).
COP4020 Programming Languages (Fall 2001, 48 students).
CGS5426 Programming Languages (Fall 2001, 14 students).
2000
COP5025 Programming Language Foundations (Spring 2000, 55 students).
COP4020 Programming Languages (Fall 2000, 68 students).
CGS5426 Programming Languages (Fall 2000, 11 students).
1999
COP5025 Programming Language Foundations (Spring 1999, 24 students).
COP4020 Programming Languages (Fall 1999, 105 students).
CGS5426 Programming Languages (Fall 1999, 15 students).
CIS5935 Introduction to Research Seminar (Fall 1999, 40 students).
1998
COT5300 Parsing and Theory of Compilation (Fall 1998, 28 students).
CIS4930 Parsing and Theory of Compilation (undergraduate elective, Fall 1998, 8 students).