On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep

User contributions for Ups

From WG 2.11

Results for Ups talk block log uploads logs

A user with 582 edits. Account created on 19 December 2011.

Jump to navigation Jump to search

22:0022:00, 3 June 2012 diff hist +961 N WG211/M11Rhiger Created page with "'''A lexically scoped type system for multi-stage languages''' by Morten Rhiger Static type systems for multi-stage programming languages must guarantee that well-typed programs..." current
21:5921:59, 3 June 2012 diff hist +95 WG211/M11Schedule →Talks
21:5421:54, 3 June 2012 diff hist +1,187 N WG211/M11Puschel Created page with "'''Computer Generation of IP Cores''' by Markus Puschel IP cores are in hardware design the rough equivalent of libraries in software development: Reusable components that are o..." current

14:5614:56, 31 May 2012 diff hist +926 N WG211/M11Mosses Created page with "'''Component-based bisimilarity''' by Peter Mosses Given an SOS for the dynamic semantics of some programming language, various equational laws may be proved sound for strong bi..." current
14:5514:55, 31 May 2012 diff hist +66 WG211/M11Schedule →Talks
10:2610:26, 31 May 2012 diff hist +72 WG211/M11Schedule →Talks

11:3711:37, 30 May 2012 diff hist +20 WG211/M11Schedule →Talks
11:3711:37, 30 May 2012 diff hist +1,000 N WG211/M11Schaefer Created page with "''' Incremental model-based testing of software product lines''' Modern software systems increasingly exist in many different variants in order to adapt them to changing requir..." current
11:3611:36, 30 May 2012 diff hist +897 N WG211/M11Hedin Created page with "'''Parameterized reference attributes: examples and properties''' by Gorel Hedin Reference attribute grammars (RAGs) have proven useful for building practical extensible compile..." current
11:3511:35, 30 May 2012 diff hist +192 WG211/M11Schedule →Talks

11:2911:29, 28 May 2012 diff hist −29 WG211/M11Schedule →Attendees

19:1219:12, 25 May 2012 diff hist +15 WG211/M11Schedule →Attendees
15:1915:19, 25 May 2012 diff hist +15 WG211/M11Schedule →Attendees
15:0815:08, 25 May 2012 diff hist +25 WG211/M11Schedule →Attendees

23:2323:23, 8 May 2012 diff hist +34 WG211/M11Schedule →Attendees

09:3009:30, 7 May 2012 diff hist +82 WG211/M11Schedule →Talks

20:4220:42, 2 May 2012 diff hist +625 N WG211/M11ODonnell Created page with "'''Generating Debuggers and Fast Simulators from Functional Circuit Specifications''' by John O'Donnell Functional hardware specifications can be executed directly to simulate a..." current
20:4120:41, 2 May 2012 diff hist +121 WG211/M11Schedule →Talks
20:4020:40, 2 May 2012 diff hist +16 WG211/M11Schedule →Attendees
20:3520:35, 2 May 2012 diff hist +13 WG211/M11Schedule →Attendees
20:3420:34, 2 May 2012 diff hist +16 WG211/M11Schedule →Attendees

21:0421:04, 25 April 2012 diff hist +14 WG211/M11Schedule →Attendees

21:1321:13, 21 April 2012 diff hist +16 WG211/M11Schedule →Attendees
20:5420:54, 21 April 2012 diff hist +17 WG211/M11Schedule →Attendees

14:0714:07, 18 April 2012 diff hist +14 WG211/M11Schedule No edit summary

22:2222:22, 12 April 2012 diff hist +17 WG211/M11Schedule →Talks
22:1722:17, 12 April 2012 diff hist +28 WG211/M11Schedule →Attendees

22:1322:13, 19 March 2012 diff hist +64 WG211/M11Schedule →Talks
22:1322:13, 19 March 2012 diff hist +20 WG211/M11Schedule →Attendees

23:4323:43, 6 March 2012 diff hist +82 WG211/M11Schedule →Venue and Travel
23:4223:42, 6 March 2012 diff hist +15 WG211/M11Schedule →Attendees
08:5908:59, 6 March 2012 diff hist +96 WG211/M11Schedule →Talks
08:5808:58, 6 March 2012 diff hist +13 WG211/M11Schedule →Attendees

22:2022:20, 26 February 2012 diff hist +14 WG211/M11Schedule →Attendees
22:0522:05, 26 February 2012 diff hist +17 WG211/M11Schedule →Attendees
20:5520:55, 26 February 2012 diff hist +32 WG211/M11Schedule →Attendees
20:5220:52, 26 February 2012 diff hist +719 N WG211/M11Bodden Created page with "'''IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines''' by Eric Bodden We discuss an ongoing research project that will make it possible to automatically..." current
20:5120:51, 26 February 2012 diff hist +113 WG211/M11Schedule →Talks

21:2721:27, 21 February 2012 diff hist +18 WG211/M11Schedule →Attendees
21:2521:25, 21 February 2012 diff hist +766 N WG211/M11Glueck Created page with "'''Bootstrapping compiler generators from partial evaluators''' by Robert Glueck We show that bootstrapping of compiler generators from program specializers is a viable alterna..." current
21:2521:25, 21 February 2012 diff hist +96 WG211/M11Schedule →Talks
10:4710:47, 21 February 2012 diff hist +26 WG211/M11Schedule →Attendees

13:5013:50, 20 February 2012 diff hist −2 WG211/M11Schedule →Venue and Travel
11:5611:56, 20 February 2012 diff hist +14 WG211/M11Schedule →Attendees

22:3922:39, 13 February 2012 diff hist +14 WG211/M11Schedule →Attendees
12:0812:08, 13 February 2012 diff hist +5 Main Page No edit summary

23:0723:07, 12 February 2012 diff hist +159 WG211/M11Schedule →IFIP Working Group 2.11, Eleventh Meeting
23:0123:01, 12 February 2012 diff hist +43 WG211/M11Schedule →Attendees

15:4515:45, 10 February 2012 diff hist +57 WG211/M11Schedule →Venue and Travel
15:4415:44, 10 February 2012 diff hist +20 WG211/M11Schedule →Attendees

Retrieved from "http://mw.hh.se/wg211/index.php?title=Special:Contributions/Ups"

Navigation menu