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

21:0021: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
20:5920:59, 3 June 2012 diff hist +95 WG211/M11Schedule →Talks
20:5420: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

13:5613: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
13:5513:55, 31 May 2012 diff hist +66 WG211/M11Schedule →Talks
09:2609:26, 31 May 2012 diff hist +72 WG211/M11Schedule →Talks

10:3710:37, 30 May 2012 diff hist +20 WG211/M11Schedule →Talks
10:3710: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
10:3610: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
10:3510:35, 30 May 2012 diff hist +192 WG211/M11Schedule →Talks

10:2910:29, 28 May 2012 diff hist −29 WG211/M11Schedule →Attendees

18:1218:12, 25 May 2012 diff hist +15 WG211/M11Schedule →Attendees
14:1914:19, 25 May 2012 diff hist +15 WG211/M11Schedule →Attendees
14:0814:08, 25 May 2012 diff hist +25 WG211/M11Schedule →Attendees

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

08:3008:30, 7 May 2012 diff hist +82 WG211/M11Schedule →Talks

19:4219: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
19:4119:41, 2 May 2012 diff hist +121 WG211/M11Schedule →Talks
19:4019:40, 2 May 2012 diff hist +16 WG211/M11Schedule →Attendees
19:3519:35, 2 May 2012 diff hist +13 WG211/M11Schedule →Attendees
19:3419:34, 2 May 2012 diff hist +16 WG211/M11Schedule →Attendees

20:0420:04, 25 April 2012 diff hist +14 WG211/M11Schedule →Attendees

20:1320:13, 21 April 2012 diff hist +16 WG211/M11Schedule →Attendees
19:5419:54, 21 April 2012 diff hist +17 WG211/M11Schedule →Attendees

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

21:2221:22, 12 April 2012 diff hist +17 WG211/M11Schedule →Talks
21:1721:17, 12 April 2012 diff hist +28 WG211/M11Schedule →Attendees

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

22:4322:43, 6 March 2012 diff hist +82 WG211/M11Schedule →Venue and Travel
22:4222:42, 6 March 2012 diff hist +15 WG211/M11Schedule →Attendees
07:5907:59, 6 March 2012 diff hist +96 WG211/M11Schedule →Talks
07:5807:58, 6 March 2012 diff hist +13 WG211/M11Schedule →Attendees

21:2021:20, 26 February 2012 diff hist +14 WG211/M11Schedule →Attendees
21:0521:05, 26 February 2012 diff hist +17 WG211/M11Schedule →Attendees
19:5519:55, 26 February 2012 diff hist +32 WG211/M11Schedule →Attendees
19:5219: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
19:5119:51, 26 February 2012 diff hist +113 WG211/M11Schedule →Talks

20:2720:27, 21 February 2012 diff hist +18 WG211/M11Schedule →Attendees
20:2520: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
20:2520:25, 21 February 2012 diff hist +96 WG211/M11Schedule →Talks
09:4709:47, 21 February 2012 diff hist +26 WG211/M11Schedule →Attendees

12:5012:50, 20 February 2012 diff hist −2 WG211/M11Schedule →Venue and Travel
10:5610:56, 20 February 2012 diff hist +14 WG211/M11Schedule →Attendees

21:3921:39, 13 February 2012 diff hist +14 WG211/M11Schedule →Attendees
11:0811:08, 13 February 2012 diff hist +5 Main Page No edit summary

22:0722:07, 12 February 2012 diff hist +159 WG211/M11Schedule →IFIP Working Group 2.11, Eleventh Meeting
22:0122:01, 12 February 2012 diff hist +43 WG211/M11Schedule →Attendees

14:4514:45, 10 February 2012 diff hist +57 WG211/M11Schedule →Venue and Travel
14:4414: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