Failopen unit for mcafee secure gateway appliances. This technique was used in the implementation of a highly flexible finite element method framework, resulting in two orders of magnitude speedup in performance via substitution. Department of future technologies contact information. John freeman, jaakko jarvi, mat marcus, sean parent, and jacob n. Runtime polymorphic generic programmingmixing objects. It is designed to allow the construction of as wide a variety. Some software programs that are licensed or sublicensed to the user under the gnu general public license gpl or other similar free.
Jaakko jarvi is currently a researcher post doc at the turku centre for computer science in turku, finland. Turku region with its 320,000 people, former capital and a major urban area in finland, is located in. The successful candidate will be appointed to a position of university teacher advancement after appointment from a university teacher to lecturer the position will teach, advise theses, and contribute to the. View john freemans profile on linkedin, the worlds largest professional community. It is commonplace to find applications with dependencies between values manipulated by user interface elements, conditionally enabled controls, and script recordability and playback against different documents. User interfaces for modern applications must support a rich set of interactive features. Overview i about software libraries i generic programming as a paradigm for constructing reusable libraries i research agenda for generic programming and. Peter pirkelbauer, damian dechev, and bjarne stroustrup.
Pdf pyparadigma python library to build screens in a. Generic programming and firstclass libraries jaakko j. Siek, jeremiah willcock oopsla 03 proceedings of the 18th annual acm sigplan conference on objectoriented programing, systems, languages, and applications, 2003. Csce622 generic programming fall 2015 course essentials. See the complete profile on linkedin and discover jaakko s connections and jobs at similar companies. Andrew lumsdaine jaakko jarvi, douglas gregor, jeremiah willcock and jeremy g. John freeman staff software engineer ripple linkedin. Johan jarvi software engineer ambrose building pty ltd. Thirdly, i would like to express my profound gratitude to texas instruments inc. Jaakko jarvi technical support engineer kinly linkedin.
This document contains important information about this release. Generating safe template languages proceedings of the. Bold condensed all words from the interface, including options, menus, buttons, and dialog. A significant fraction of the application programming effort is devoted to implementing such. Sle 2011 international conference on software language engineering. We strongly recommend that you read the entire document. See the complete profile on linkedin and discover jaakkos connections and jobs at similar companies.
Staff at department of informatics university of bergen. Mcafee quarantine manager consolidates the quarantine and antispam management functionality of multiple mcafee products. Instead, the focus should be on organizing the teams work, putting into use the practical software engineering techniques discussed during lectures and modern software engineering support tools. Ronald garcia, jaakko jarvi, andrew lumsdaine, jeremy g.
Jaakko jarvi is currently a researcher post doc in the open systems lab at indiana university. Software the multiselectjs is a javascript library for implementing multiselection with a mouse, etc. In workshop on next generation software at ipdps 2004, santa fe, new mexico, april 2004. While it is nice if a project team produces some interesting software, this is not the main goal. Headquartered in the hunter, jarvie engineering pty ltd is a wholly owned, australian private company that also has a service centre in mackay, queensland. View jaakko jarvis profile on linkedin, the worlds largest professional community. As an established leader in hydraulic and pneumatic cylinder manufacturing and repairing, jarvie has an enviable track record in servicing underground and opencut coal mining clients. In proceedings of the 21st annual acm sigplan conference on objectoriented programming systems, languages, and applications oopsla 2006, pages 2910, new york, ny, usa, 2006. I am not the first person to make this observation, however, these ideas often tend to be buried in academic research papers like adding axioms to cardelliwegner subtyping by anthony j h simons, dont get me wrong i love these types of papers, they give me hope and inspiration that software engineering will someday become a first class. I used to list those as publications, but maintaining two entries for each and deciding which were publications quality became tedious. Whats new in this release using this guide getting. Computational science and engineering humanities informatics security. The university of turku is strengthening its research and education in open rank permanent teaching faculty position, invites applications for a permanent teaching faculty position. University teacher or university lecturer in software engineering.
Jaakko koponen lead engineer valmet automation inc. Jaakko jarvi, andrew lumsdaine, jeremy siek, and jeremiah willcock. Juuso, editors, proceedings of the toolmet 96 tool environments and development methods for intelligent systems, university of oulu, control engineering laboratory, report series, 1996. Generative and componentbased software engineering. Generic programming and highperformance libraries springerlink. A mechanism to interface static data structures with the generic programming algorithms of the stl is provided. Perhaps the most exciting recent work in the area of type erasure is the poly library by jaakko jarvi, mat marcus, and sean parent. Jaakko jarvi, andrew lumsdaine, douglas gregor, mayuresh kulkarni, david musser, and sibylle schupp.
Generative programming and component engineering, proceedings of the ninth international. The unit is intended for use with a secure gateway appliance that is operating in. Properties of constraint systems of property models. I provided support for all kinds of network related hardware and software products mainly hpe equipment but also compatibility related to third party products. An analysis of constrained polymorphism for generic programming. Towards automatic reverse engineering of software security configuration, rui wang, xiaofeng wang, kehuan zhang, zhuowei li jul 2008, 12 pages pages. D gregor, j jarvi, j siek, b stroustrup, g dos reis, a lumsdaine. I am familiar with agile methods with many years scrum master experience. View jaakko kyros profile on linkedin, the worlds largest professional community. Failopen unit for mcafee secure gateway appliances product guide.
Proceedings of the workshop of the midwest society for programming languages and systems, jaakko jarvi, andrew lumsdaine and david s. Software defined networking sdn programs are written with respect to assumptions on software and hardware. Using this guide getting product information overview mcafee quarantine manager consolidates. I will discuss the relationship between their work and mine later. Douglas gregor, jaakko jarvi, jeremy siek, bjarne stroustrup, gabriel dos reis, and andrew lumsdaine.
View jaakko koponens profile on linkedin, the worlds largest professional community. Current design of the ipr library a specific interface class. Proceedings of the acm sigplan 2006 conference on programming language design and implementation, new york, ny, usa, june 2006. A significant fraction of the application programming effort is devoted to implementing. Jon peter jarvi, known by his family as jp, died the day after his 45th birthday on a busy mexican highway that emptied into the border crossing at tecate.
Jaakko jarvi ict specialist, solution designer, project. Further, research contributions in the areas of software engineering or. Jarvis engineering, consulting electrical engineering services to education, commercial, industrial, health care and residential for the lower mainland and fraser valley of bc. I also have expertise on mobile device management technologies. I am a social person who likes to mix project, process and change management with designing and implementing robust solutions. Psychopy is a software library written in python, using opengl to generate very precise visual stimuli on standard personal computers. On one hand, for engineering reasons, developers want to write web applications using a single highlevel language, abstracting over the target platforms differences and reducing code complexity. If you are thinking of a research career in programming languages, or in such areas of software engineering as reusable software libraries, generic or generative programming etc. Magne haveraaens research works university of bergen, bergen. In kei davis and jorg striegnitz, editors, multiparadigm programming in objectoriented languages workshop mpool at oopsla, anaheim, ca, october 2003. We also show how fortran, over the last few decades, has changed to become a language wellsuited for stateoftheart software development. Basic collaborative software coding practices design for portability, performance, testability specification and documentation basic software developemnt tools and their use subjectspecific topics related to the team projects many topics in this class will overlap with those of a standard software engineering course.
A comparative study of language support for generic. The nesumed project case studies of computational intelligence in medicine. University teacher or university lecturer in software. List of computer science publications by jaakko jarvi. Gpce 07 proceedings of the 6th international conference on generative programming and component engineering pages 7382 salzburg, austria october 01 03, 2007. Faculty at department of informatics university of bergen. But on the other hand, for performance reasons, they want to keep control on the way their code is. However, formatting rules can vary widely between applications and fields of interest or study. Hes the author of the tuple library and coauthor of the lambda library.
394 271 592 1408 897 1183 953 703 199 1390 695 1500 766 534 101 1038 1441 903 378 1241 196 1387 1057 581 306 470 624 977 143 59 1352 184 1392 714 1121 1076 1275 1462 1126 459 727