Search For:

Displaying 1-12 out of 12 total
Specification and verification: the Spec# experience
Found in: Communications of the ACM
By Herman Venter, K. Rustan M. Leino, K. Rustan M. Leino, Manuel Fahndrich, Manuel Fahndrich, Mike Barnett, Mike Barnett, Peter Muller, Peter Muller, Wolfram Schulte, Wolfram Schulte
Issue Date:June 2011
pp. 81-91
Can a programming language really help programmers write better programs?
     
User-aware privacy control via extended static-information-flow analysis
Found in: 2012 27th IEEE/ACM International Conference on Automated Software Engineering (ASE)
By Xusheng Xiao,Nikolai Tillmann,Manuel Fahndrich,Jonathan De Halleux,Michal Moskal
Issue Date:September 2012
pp. 80-89
Applications in mobile-marketplaces may leak private user information without notification. Existing mobile platforms provide little information on how applications use private user data, making it difficult for experts to validate applications and for use...
 
Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop
Found in: Software Engineering Education and Training, Conference on
By Nikolai Tillmann,Michal Moskal,Jonathan de Halleux,Manuel Fahndrich,Tao Xie
Issue Date:April 2012
pp. 87-89
We are experiencing a technology shift: powerful and easy-to-use touchscreen-based mobile devices such as smartphones and tablets are becoming more prevalent than traditional PCs and laptops. Many mobile devices are going to be the first and, in less devel...
 
Righting Software
Found in: IEEE Software
By James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jon Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
Issue Date:May 2004
pp. 92-100
Correctness tools can improve software development by supplementing human shortcomings, detecting programming errors such as null-pointer dereferences, API usage errors, and failing to close file descriptors. Microsoft Research has developed two generation...
 
It's alive! continuous feedback in UI programming
Found in: Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation (PLDI '13)
By Jun Kato, Manuel Fahndrich, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Sean McDirmid, Sebastian Burckhardt
Issue Date:June 2013
pp. 95-104
Live programming allows programmers to edit the code of a running program and immediately see the effect of the code changes. This tightening of the traditional edit-compile-run cycle reduces the cognitive gap between program code and execution, improving ...
     
TouchDevelop: app development on mobile devices
Found in: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering (FSE '12)
By Jonathan de Halleux, Manuel Fahndrich, Michal Moskal, Nikolai Tillmann, Sebastian Burckhardt
Issue Date:November 2012
pp. 1-2
Mobile devices are becoming the prevalent computing platform for most people. TouchDevelop is a new mobile development environment that enables anyone with a Windows Phone to create new apps directly on the smartphone, without a PC or a traditional keyboar...
     
User-aware privacy control via extended static-information-flow analysis
Found in: Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012)
By Jonathan De Halleux, Manuel Fahndrich, Michal Moskal, Nikolai Tillmann, Xusheng Xiao
Issue Date:September 2012
pp. 80-89
Applications in mobile-marketplaces may leak private user information without notification. Existing mobile platforms provide little information on how applications use private user data, making it difficult for experts to validate applications and for use...
     
The future of teaching programming is on mobile devices
Found in: Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education (ITiCSE '12)
By Arjmand Samuel, Jonathan de Halleux, Judith Bishop, Manuel Fahndrich, Michal Moskal, Nikolai Tillmann, Tao Xie
Issue Date:July 2012
pp. 156-161
From paper to computers, the way that we have been writing down thoughts and performing symbolic computations has been constantly evolving. Teaching methods closely follow this trend, leveraging existing technology to make teaching more effective and prepa...
     
Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only)
Found in: Proceedings of the 43rd ACM technical symposium on Computer Science Education (SIGCSE '12)
By Jonathan de Halleux, Manuel Fahndrich, MichaB Moskal, Nikolai Tillmann, Tao Xie
Issue Date:February 2012
pp. 663-663
We are experiencing a technology shift: Powerful and easy-to-use touchscreen-based mobile devices like smartphones and tablets are becoming more prevalent than traditional PCs and laptops. We propose that computer programming, and thus teaching of programm...
     
SPUR: a trace-based JIT compiler for CIL
Found in: Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA '10)
By Florian Brandner, Francesco Logozzo, Herman Venter, Manuel Fahndrich, Michael Bebenita, Nikolai Tillmann, Wolfram Schulte
Issue Date:October 2010
pp. 708-725
Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code specialized to these traces. Prior work has established this strate...
     
Establishing object invariants with delayed types
Found in: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (OOPSLA '07)
By Manuel Fahndrich
Issue Date:October 2007
pp. 132-135
Mainstream object-oriented languages such as C# and Java provide an initialization model for objects that does not guarantee programmer controlled initialization of fields. Instead, all fields are initialized to default values (0 for scalars and null for n...
     
Adoption and focus: practical linear types for imperative programming
Found in: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (PLDI '02)
By Manuel Fahndrich, Robert DeLine
Issue Date:June 2002
pp. 329-338
A type system with linearity is useful for checking software protocols andresource management at compile time. Linearity provides powerful reasoning about state changes, but at the price of restrictions on aliasing. The hard division between linear and non...
     
 1