mp.binaervarianz.de

thread-safe.org

thread-safe.org - Automatic and precise thread safety checking - Download

http://thread-safe.org/download

You can download the source code of the checker, build it, and use it on your computer. To build and run our implementation, which is called ConTeGe. You'll need the following:. Scala version 2.9.1 (or higher). JDK version 1.6 (or higher). The implementation comes as an Eclipse project. We've tested it with Eclipse 3.7.1 and the Scala IDE 2.0.2 (which ships Scala 2.9.2). Is the version of ConTeGe described in our PLDI'12 paper. Download this version to compare to the approach described in the paper.

issta2016.cispa.saarland

Organization | ISSTA'16

http://issta2016.cispa.saarland/organizers

National University of Singapore. University of Buenos Aires, Argentina. CISPA, Saarland University. IBM TJ Watson Research Center. Fraunhofer SIT and TU Darmstadt. IMDEA Software Institute, Madrid, Spain. University of California Santa Barbara, USA. Samsung Electronics, USA. Sheffield University, UK. IMDEA Software Institute, Spain. Saarland University, Germany. Singapore Management University, Singapore. University of Oxford, UK. Microsoft Research, India. Carnegie Mellon University, USA. University of...

threadsafe.org

thread-safe.org - Automatic and precise thread safety checking - Examples

http://threadsafe.org/examples

A Simple Data Race. The following class has a data race for field. And therefore is not thread-safe. The check in method. May succeed, but another thread may concurrently call. As a result, the call to. Package tso.examples; import java.util.Random; public class SimpleDataRace { private Object f = new Object(); public void toggle() { if (f = null) f = new Object(); else f = null; } public int testAndUse() { if (f! See the checker's output for this example. While another thread that concurrently executes.

binaervarianz.de

binaervarianz.de - about us

http://binaervarianz.de/aboutus.php

Who stands behind binaervarianz? Feel free to join! Daniel Adam daniel at binaervarianz.de. Mario Mlynek mario at binaervarianz.de. Matsch at binaervarianz.de. Michael at binaervarianz.de. Michael Rossberg mick at binaervarianz.de. Ulf Wetzker ulf at binaervarianz.de. Stefan Aschenbach stefan at binaervarianz.de. Kilian Förster kifo at binaervarianz.de. Andreas Meitzner eisbaer at binaervarianz.de. Walter Enzenhofer office at bildlauf.at.

sigsoft.org

ACM SIGSOFT - PhD Dissertations

http://www.sigsoft.org/dissertations.php

PhD Dissertations in the Area of Software Engineering. This list is provided as a resource for PhD candidates, researchers, scientists, and engineers who are actively pursuing advanced research in Software Engineering. PhD graduates are invited to submit information about their dissertations by using this form. The information they provide will be evaluated by our committee before being added to the list below. Narrowing the Gap between Verification and Systematic Testing. And NULL and NULL). Abstract.

thread-safe.org

thread-safe.org - Automatic and precise thread safety checking - Examples

http://thread-safe.org/examples

A Simple Data Race. The following class has a data race for field. And therefore is not thread-safe. The check in method. May succeed, but another thread may concurrently call. As a result, the call to. Package tso.examples; import java.util.Random; public class SimpleDataRace { private Object f = new Object(); public void toggle() { if (f = null) f = new Object(); else f = null; } public int testAndUse() { if (f! See the checker's output for this example. While another thread that concurrently executes.

threadsafe.org

thread-safe.org - Automatic and precise thread safety checking - Download

http://threadsafe.org/download

You can download the source code of the checker, build it, and use it on your computer. To build and run our implementation, which is called ConTeGe. You'll need the following:. Scala version 2.9.1 (or higher). JDK version 1.6 (or higher). The implementation comes as an Eclipse project. We've tested it with Eclipse 3.7.1 and the Scala IDE 2.0.2 (which ships Scala 2.9.2). Is the version of ConTeGe described in our PLDI'12 paper. Download this version to compare to the approach described in the paper.