SIGOPS ANNOUNCE monthly posting (01/01/2014)


  1. Announcements:
    * WODET20142014-01-10
    * CF 20142014-01-11
    WMNC 20142014-01-15
    * eEnergy 20142014-01-15
    * WACAS 20142014-01-17
    * ASPLOS-WACI2014-01-17
    * SEC 20142014-01-20
    * DEBS 20142014-01-24
    * PaPEC 20142014-01-27
    * IEEE Software Special Issue on PL2014-02-01
    * DAIS 20142014-02-01
    * FORTE 20142014-02-01
    * SFMA 20142014-02-03
    * ASAP 20142014-02-07
    * MSST 20142014-03-04
    * MASCOTS 20142014-03-07

  2. (*= new this month)

  3. Special Announcements:
    NSF XPS Webinar (01/10), PRObE, EuroSys jobs page, Berkeley programmer job opening

  4. About SIGOPS Announce mailing list
    How to unsubscribe, subscribe, and submit requests for announcements.




Title: Fifth Workshop on Determinism and Correctness in Parallel Programming
Submission Deadline:2014-01-10
Dates:March, 1-2, 2014
Location:Salt Lake City, Utah
WoDet is an across-the-stack forum to discuss safety properties for parallel and concurrent programs. The workshop will be a full day event with invited talks and technical sessions for short peer-reviewed papers discussing ideas, positions, or preliminary research results. PROGRAM COMMITTEE: Eddie Aftandilian, Google; Emery Berger, UMass Amherst; Joe Devietti*, UPenn; Jakob Eriksson, University of Illinois at Chicago; Shan Lu, University of Wisconsin-Madison; Brandon Lucia*, MSR; Santosh Nagarakatte, Rutgers; Mark Oskin, University of Washington; Michael Scott, University of Rochester; Serdar Taşiran, Koc University; Martin Vechev, ETH Zurich; Eran Yahav, Technion. (* organizers)


CF 2014

Title:ACM International Conference on Computing Frontiers 2014
Abstract Deadline:2014-01-11
Submission Deadline:2014-01-18
Dates:May, 20-22, 2014
Location:Cagliari, Italy
Computing Frontiers represents an engaged, collaborative community of researchers who are excited about transformational technologies in the field of computing. Boundaries between the state-of-the-art and revolutionary innovation constitute the computing frontiers that must be pushed forward to advance science, engineering, and information technology. Before revolutionary materials, devices, and systems enter the mainstream, early research must be performed using far-reaching projections of the future state of technologies. Computing Frontiers is a gathering for people to share and discuss such work, focusing on a wide spectrum of advanced technologies and radically new solutions relevant to the development of the whole spectrum of computer systems, from embedded to high-performance computing.

WMNC 2014

Title:WMNC 2014 - 7th IFIP Wireless and Mobile Networking Conference
Submission Deadline:2014-01-15
Dates:May, 20-22, 2014
Location:Vilamoura, Algarve, Portugal
The 7th IFIP Wireless and Mobile Networking Conference (WMNC 2014) is sponsored by IFIP TC6. WMNC 2014 combines PWC (Personal Wireless Communications conference), MWCN (Mobile and Wireless Communication Networks conference), and WSAN (Wireless Sensors and Actor Networks conference) into one event. It will be held from 20th to 22nd of May 2014 in Vilamoura, Algarve, Portugal. WMNC 2014 provides a forum for discussion between researchers, practitioners and students interested in new developments in mobile and wireless networks, services, applications and mobile computing.


eEnergy 2014

Title:5th International Conference on Future Energy Systems
Submission Deadline:2014-01-15
Dates:une, 11-13, 2014:
Location:Cambridge, UK
ACM e-Energy aims to be the premier venue for researchers working in the broad areas of computing and communication for smart energy systems (including the smart grid), and in energy-efficient computing and communication systems. We solicit high-quality papers in the area of computing and communication for the Smart Grid and energy-efficient computing and communications. We welcome submissions describing theoretical advances as well as system design, implementation and experimentation.


WACAS 2014

Title:Workshop on Approximate Computing Across the System Stack (WACAS) 2014
Submission Deadline:2014-01-17
Dates:March, 02, 2014
Location:Salt Lake City, UT
Making approximate computing successful requires cooperation among all layers of the stack, from algorithms to programming languages to OSes to architecture to circuits, as well as system components like storage and networks. This workshop aims to bring together an interdisciplinary group of researchers to present and discuss thoughts and ideas on how to effectively exploit approximate computing. The organizers are aiming for a mix of invited talks, debate, panels and peer-reviewed papers. The workshop will be co-located with ASPLOS'14.



Title:ASPLOS 2014 Wild and Crazy Ideas Session
Submission Deadline:2014-01-17
Dates:March, 1-5, 2014
Location:Salt Lake City, UT
Keeping with the decade-long ASPLOS tradition of holding "Wild and Crazy Ideas" sessions, ASPLOS 2014 is looking for forward looking, visionary, inspiring, far out and just plain amazing ideas for its next WACI session. What we are aiming for is a session full of creativity presented in an exciting way. Submission instructions: You can submit either a 2-page abstract or a 6-minute video/narrated slide deck. Please email a file or a link to Submission deadline is January 17th, 2014.


SEC 2014

Title:29th IFIP TC-11 SEC 2014 International Conference ICT Systems Security and Privacy Protection
Submission Deadline:2014-01-20
Dates:June, 2-4, 2014
Location:Marrakech, Morocco
This conference is the flagship event of the International Federation for Information Processing (IFIP) Technical Committee 11 on Security and Privacy Protection in Information Processing Systems (TC-11, Previous SEC conferences were held in: Auckland (New Zealand) 2013, Heraklion (Greece) 2012, Lucerne (Switzerland) 2011, Brisbane (Australia) 2010.


DEBS 2014

Title:8th ACM International Conference on Distributed Event Based Systems
Abstract Deadline:2014-01-24
Submission Deadline:2014-02-01
Dates:May 26th-29th 2014
Location:IIT Bombay, Mumbai, India
The scope of DEBS conference covers all topics relevant to event-based computing ranging from those discussed in related disciplines (e.g., software systems, distributed systems, data management, dependability, knowledge management, networking, programming languages, security and software engineering), to domain-specific topics of event-based computing (e.g., real-time analytics, mobile computing, social networking, pervasive, green computing and ubiquitous computing, sensors networks, user interfaces, big data processing, spatio-temporal processing, Cloud computing, the internet of things, peer-to-peer computing, embedded systems and stream processing), and enterprise-related topics (e.g., complex event detection, enterprise application integration, real-time enterprises and web services).


PaPEC 2014

Title:W. on Principles and Practice of Eventual Consistency
Submission Deadline:2014-01-27
Dates:13 April 2014
Location:Amsterdam, the Netherlands
Eventual Consistency (EC) techniques improve responsiveness, availability, and latency, and are crucial for scalability. However, EC is hard to get correct, because of conflicts and divergence; metadata growth and system-wide invariants are problematic. This workshop aims to advance our understanding of EC. It brings together theoreticians and practitioners from many areas (systems, distributed algorithms, concurrency, fault tolerance, databases, verification) in both academia and industry. Topics include: design principles and patterns; EC techniques; consistency/scalability trade-offs and layering; analysis and verification; maintaining high-level invariants, etc. We solicit ≤2-page proposals for contributed talks. Details on the web site.


IEEE Software Special Issue on PL

Title:IEEE Software - Special Issue on "New Directions in Programming Languages"
Submission Deadline:2014-02-01
In this special edition of IEEE Software, "What's New in Programming Languages?", we are looking for contributions describing how modern programming languages cope with the challenges posed by varied requirements from different programmer groups, combined with the rapid evolution of hardware platforms. Articles should have a practical orientation and be written in a style accessible to practitioners. Overly complex, purely research-oriented or theoretical treatments are not appropriate. Articles should be novel. IEEE Software does not republish material published previously in other venues, including other periodicals and formal conference/workshop proceedings, whether previous publication was in print or in electronic form.


DAIS 2014

Title:14th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2014)
Abstract Deadline:2014-02-01
Submission Deadline:2014-02-07
Dates:June, 3-6, 2014
Location:Berlin, Germany
The DAIS 2014 conference, part of the IFIP Distributed Computing Techniques (DisCoTec) series of federated conferences, is one of the leading international venues to discuss all aspects of distributed applications and systems, throughout their lifecycle. This includes the design, architecture, implementation and operation of distributed computing systems, their supporting middleware, appropriate software engineering methods and tools, as well as experimental studies and practical reports. Following the success of past conferences in this series, the 14th International DAIS conference will provide a forum for researchers and industry practitioners, to discuss and learn about new technologies, concepts and experiences in distributed computing.


FORTE 2014

Title:34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Abstract Deadline:2014-02-01
Submission Deadline:2014-02-07
Dates:June 3-6 2014
Location:Berlin, Germany
FORTE 2014 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. FORTE 2014 is the heir to the original FORTE series, FMOODS series and joint FMOODS/FORTE conference series as part of the DisCoTec 2014 event.


SFMA 2014

Title:4th Workshop on Systems for Future Multicore Architectures (SFMA'14)
Submission Deadline:2014-02-03
Dates:April, 13, 2014
Location:Amsterdam, The Netherlands
Future multi-core architectures will present a variety of challenges for system developers, such as non-cache-coherent memory, heterogeneous processing cores and the exploitation of novel architectural features. SFMA '14 is a forum for researchers in the operating systems, language runtime and virtual machine communities to present and discuss their experiences with the new generation of highly-parallel hardware. SFMA '14 is co-located with EuroSys '14 and takes place April 13, 2014 in Amsterdam, The Netherlands.


ASAP 2014

Title:25th IEEE International Conference on Application-specific Systems, Architectures and Processors
Abstract Deadline:2014-02-07
Submission Deadline:2014-02-14
Dates:June 18-20 2014
Location:Zurich, Switzerland
The ASAP 2014 conference will be organized by IBM Research - Zurich and the Swiss Federal Institute of Technology Zurich (ETH). The conference will cover the theory and practice of application-specific systems, architectures and processors. The 2014 conference will build upon traditional strengths in areas such as computer arithmetic, cryptography, compression, signal and image processing, network processing, reconfigurable computing, and all types of hardware accelerators.


MSST 2014

Title:30th International Conference on Massive Storage Systems and Technologies
Abstract Deadline:2014-03-04
Submission Deadline:2014-03-09
Dates:June 2-6, 2014
Location:Santa Clara University
The conference offers a full week dedicated to storage technology. As on previous occasions, the conference will include a two-day research track of peer-reviewed papers. We encourage the submission of research papers on the implementation, design, and analysis of file and storage systems. Specific areas are listed in the call for papers at the conference website.



Title:IEEE 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2014)
Abstract Deadline:2014-03-07
Submission Deadline:2014-03-14
Dates:September, 9-11, 2014
Location:Paris, France
The MASCOTS conference encourages papers describing results both of theoretic and practical significance. Papers presenting new performance evaluation methods or those applying existing methods to provide new insights into design trade-offs for computer and networked systems are particularly encouraged.


Title:NSF XPS Webinar (01/10), PRObE, EuroSys jobs page, Berkeley programmer job opening
NSF Exploiting Parallelism and Scalability (XPS) program Webinar

January 10, 2014 1:30 PM  to 
January 10, 2014 2:30 PM
NSF Room 1105

The Exploiting Parallelism and Scalability (XPS) program 
( aims to support 
groundbreaking research leading to a new era of parallel computing. 
Achieving the needed breakthroughs will require a collaborative effort among 
researchers representing all areas-- from services and applications down to the
micro-architecture-- and will be built on new concepts, theories, and 
foundational principles. New approaches to achieve scalable performance and 
usability need new abstract models and algorithms, new programming models and 
languages, new hardware architectures, compilers, operating systems and 
run-time systems, and must exploit domain and application-specific knowledge. 
Research is also needed on energy efficiency, communication efficiency, and on 
enabling the division of effort between edge devices and clouds.

The webinar will cover the objectives of the XPS program, award types, and 
submission requirements.  It will conclude with a question and answer session.

The Webinar will be held from 1:30pm to 2:30pm EST on Friday January 10, 2014. 
Questions about the solicitation can be submitted in advance to

Please register at 
by 11:59pm EST on Thursday January 9, 2014.

After your registration is accepted, you will receive an email with a URL to 
join the meeting. Please be sure to join a few minutes before the start of the 
webinar. This system does not establish a voice connection on your computer; 
instead, your acceptance message will have a toll-free phone number that you 
will be prompted to call after joining. Please note that this registration is a
manual process; therefore, do not expect an immediate acceptance. In the event 
the number of requests exceeds the capacity, some requests may have to be 

The webinar will be archived for later viewing and linked to the XPS program 
web page at . 
The archived version will be available within a few days after the webinar.

Please register by 11:59pm EDT on Thursday January 9, 2014.  
We cannot guarantee acceptance after this time.

This event is part of Webinars/Webcasts.

Meeting Type

Tracy Kimbrel, (703) 292-8910,
NSF Related Organizations
Directorate for Computer & Information Science & Engineering 

Call for Proposals: Availability of 1000 Nodes for Systems Research

NSF's PRObE ( operates four clusters to support
systems research at scale.  The largest is Kodiak
(, which is 1000 nodes
(two core x86, 8GB DRAM, two 1TB disks, 1GE and 8Gbps IB) donated by
Los Alamos National Laboratory.

Today Kodiak is hosting researchers from Georgia Tech, Carnegie Mellon
and Los Alamos.  Princeton researchers have published results from
Kodiak at the most recent NSDI (Wyatt Lloyd, "Stronger Semantics for
Low-Latency Geo-Replicated Storage", NSDI 2013).  On PRObE staging
clusters are researchers from U Central Florida, UT Austin, Georgia
Tech and Carnegie Mellon.

PRObE resources are intended for (infrastructure) systems researchers
committed to public release of their research results, typically
publishing in distributed systems (eg. OSDI or SOSP), cloud computing
(e.g. SOCC), supercomputing (e.g. SC or HPDC), storage (e.g. FAST), or
networking (e.g. NSDI).

PRObE resources are managed by Emulab ( a cluster
manager for allocating physical nodes that has been in use for systems
research for over a decade (Brian White, "An Experimental Environment
for Distributed Systems and Networks," OSDI 2002).  Users start by
porting and demonstrating their code on a 100-node staging cluster
such as Denali built from the same equipment donation from Los Alamos.
With demonstrated success on a staging cluster, and a compelling
research goal, Kodiak can be requested and allocated, possibly
exclusively, for hours to days.

To start using PRObE resources:
- visit to learn about the resources
- visit to request a PRObE-specific Emulab
- have a research leader or faculty member get an account and define a
  project on
- use Portal to get onto Denali, to allocate a single node experiment,
  login into that node to customize and resave the OS image for your
  project, then launch a multi-node experiment to demonstrate your
  system at less than 100 node scale
- use to request a large allocation
  on Kodiak (this is a HotCRP paper review web site, where your paper
  is a short justification for your research, your preparedness for
  using Kodiak, and your credientials and appropriateness for using
  NSF resources)
- PRObE managers will review, approve and schedule your use of large
  allocations of Kodiak time

In a matter of weeks another style of large PRObE resource will come
online.  Susitna is 34 nodes of 64 core x86 processors, for a total of
more than 2000 x86 cores.  Susitna also has NVidia donated K20 GPU
coprocessors with 2496 cuda cores each, for a total of 84,864 cuda
cores.  With 128 GB DRAM, a hard disk and an SSD each, Susitna nodes
are interconnected by 40Gbps ethernet, 40 Gbps infiniband and 1Gbps

NSF PRObE resources will be available for at least the next two years.

All uses of PRObE resources are obligated to publish their results,
either in conferences or one their web sites, and acknowledge NSF
PRObE resources used in these publications.

See also our PRObE introduction article in the June 2013 USENIX
;login: vol 38, no 3, 2013

The EuroSys jobs page: A resource for the whole systems community

If you are searching for a position in the Systems area, take a look
at New announcements are posted every day, in
several categories: internships, PhD grants and doctoral programs,
post-docs and permanent positions.

If you want to advertise for systems people, go to, and click on the appropriate "Advertise" link.
YOu will be asked to fill in a small form, with a 10-word description
of the job offer, the URL of your lab and the URL of a more detailed

The EuroSys jobs page gets around 10,000 hits a month.

UC Berkeley is looking for a great programmer
Dear academic & professional colleagues:

If you have an MS-or-better student finishing up this semester who's 
looking to stay in academia for a bit but doesn't want to jump right 
into a PhD, or a great programmer who's been around the block a 
couple of times and is looking to do something in the Bay Area for 
a few years, the ASPIRE project at UC Berkeley (agile co-design of 
hardware and software for high performance and energy efficiency) 
is looking for a full time programmer.

Technically, someone who knows something about languages and language
 engineering and has great software engineering practices; socially, 
someone who's interesting to be around and (ideally) even has some 
experience in an academic or R&D setting.

Nominally a career position, solid salary, great benefits and work 
with fun people - not just the Berkeley crowd but the many, many 
companies we have close relationships with (Intel, Google, Nokia, 
NVidia, Oracle, many others), and the chance to work with truly 
great students in a variety of settings.

for more details and/or email Armando Fox <> 
if any questions!


The SIGOPS-ANNOUNCE mailing list is intended to provide a low-volume channel that provides operating systems researchers and practitioners with information about upcoming events or other important announcements. In general, a message containing a group of such announcements will be sent about once per month with the subject line "SIGOPS-ANNOUNCE monthly posting". On rare occasions, announcements of particular interest or urgency will be sent out with a different subject line, starting with "SIGOPS-ANNOUNCE supplemental posting" (for readers who wish to use mail filtering programs.) Finally, this mailing list is made available for use by publicity chairs of SIGOPS-sponsored conferences and the SIGOPS officers.

To subscribe, send a message to
LISTSERV@ACM.ORG with the following command (paste it!) in the body of the message:

To unsubscribe, send a message to LISTSERV@ACM.ORG with the following command in the body of the message:

To contact the owner of the list or to report a problem with the list, email SIGOPS-ANNOUNCE-request@ACM.ORG.

To request that an announcement be included in these mailings, go to

Shan Lu, SIGOPS Information Director