Stem safer$ (all stems)

14 papers:

PLDI-2015-LuciaR #execution #programming

A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.

ICML-2015-FercoqGS

Mind the duality gap: safer rules for the Lasso (OF, AG, JS), pp. 333–342.

GPCE-2015-LopezCRC #programming

Safer SDN programming through Arbiter (ML, CJC, GDR, CC), pp. 65–74.

DATE-2012-BeaumontHN #architecture #execution #hardware #replication #security #using

SAFER PATH: Security architecture using fragmented execution and replication for protection against trojaned hardware (MRB, BDH, TN), pp. 1000–1005.

ISSTA-2012-ThiesB #java #named #refactoring #source code

RefaFlex: safer refactorings for reflective Java programs (AT, EB), pp. 1–11.

ICSE-2010-Soares #refactoring

Making program refactoring safer (GLS), pp. 521–522.

SEFM-2009-ColomboPS #java #monitoring #realtime #source code

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper) (CC, GJP, GS), pp. 33–37.

ECOOP-2009-GilS #question

Are We Ready for a Safer Construction Environment? (JYG, TS), pp. 495–519.

DATE-2008-Micheli #design

Designing Micro/Nano Systems for a Safer and Healthier Tomorrow (GDM), p. 1.

OOPSLA-2008-FerraraLF #dot-net

Safer unsafe code for .NET (PF, FL, MF), pp. 329–346.

PPoPP-2008-AgrawalLS #transaction

Safer open-nested transactions through ownership (KA, ITAL, JS), pp. 291–292.

HIMI-IIE-2007-KochHLP #agile #mobile #precise

Rapid and Precise Mobile Data Processing for Fire Brigades and Rescue Services (SAFeR/GÜTER/SHARE) (RK, RH, BSL, JP), pp. 1050–1059.

FME-2003-Chalin #effectiveness #ml

Improving JML: For a Safer and More Effective Language (PC), pp. 440–461.

HT-1997-Marshall #hypermedia

Looking Forward: Five Practices for Safer Hypertext (Keynote) (CCM), p. 241.